Term Consistency Checking of Ontology Model Based on Description Logics

Abstract

Formalized ontology model and its semantic consistency checking has become one of the highlights in knowledge engineering research. This paper constructs an ontology model based on description logics. The term consistency checking of this model is divided into four types: term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking. Then the proof that the four types of checking can be resolved into subsumption checking of term extension is provided in this paper. Moreover, the ontology term consistency algorithm using inference of description logics is proposed and tested by examples.