Linear Reduction Reasoning with Inconsistent Ontology
Dongmei Li, Youfang Lin, Houkuan Huang, Xuan Tian · 2011
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.