Linear Reduction Reasoning with Inconsistent Ontology
With the development of Semantic Web technologies, ontology inconsistencies is an important focus in ontology engineering. This paper presents a linear reduction non-classical reasoning model, in which syntactic selection functions are used to handle concept relevance. A linear reduction reasoning algorithm is given and verified the effectiveness by simulation experiments at the end.
inconsistent ontology non-classical reasoning linear reduction reasoning selection function
Dongmei Li Youfang Lin Houkuan Huang Xuan Tian
School of Computer and Information Technology Beijing Jiaotong University Beijing, China School of I School of Computer and Information Technology Beijing Jiaotong University Beijing, China School of Information and Technology Beijing Forestry University Beijing, China
国际会议
昆明、丽江
英文
795-798
2011-04-15(万方平台首次上网日期,不代表论文的发表时间)