Consistency Check for Domain Ontology
LI Zong-yong · Jisuanji gongcheng · 2009
This paper focuses on the concepts’ consistency in the domain ontology. It presents the formal definition of the domain ontology, describes the set of axioms in the domain ontology, analyzes nowaday consistency check method about concepts, and converts OWL ontology into UML description, and develops the UML description. It provides a consistency check method based on graph, which is laconic and easy to handle, and conquers the disadvantage of high formalization and complexity of the old check mechanism.