Term consistency checking of ontology model based on description logics

Authors:
Changrui Yu;Yan Luo
Affiliations:
School of Information Management and Engineering, Shanghai University of Finance and Economics, Shanghai, China;Institute of System Engineering, Shanghai Jiao Tong University, Shanghai, China
Venue:
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Year:
2007

Citing 4
Cited 0

Consistency Checking of Semantic Web Ontologies

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Consistency Checking of RM-ODP Specifications

WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Handbook on Ontologies

Handbook on Ontologies

Quantified Score

Hi-index	0.00

Visualization

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.