Consistency Checking of the SHOIQ(D)-Based Ontology
Jigui Sun · Computer Engineering and Science · 2009
SHOIQ(D) is a language of knowledge presentation with powerful expressive capabilities to describe Ontology. Consistency checking is a key inference problem of Ontology reasoning,in which other inferences can also be reduced. Tableau calculus and its optimization technologies are studied in this paper.Rebound and the Boolean constraint propagation optimation are brought into SHOIQ(D) to increase the reasoning efficiency.Finally,the reasoner of consistency checking is implemented by using the algorithm of SHOIQ(D) -based ontology.