Extended ontology model and ontology checking based on description logics

Authors:
Yu Changrui;Wang Hongwei;Luo Yan
Affiliations:
School of Management, Shanghai Jiao Tong University, Shanghai, China;School of Economic and Management, Tongji University, Shanghai, China;School of Management, Shanghai Jiao Tong University, Shanghai, China
Venue:
FSKD'06 Proceedings of the Third international conference on Fuzzy Systems and Knowledge Discovery
Year:
2006

Citing 4
Cited 0

Tableau Algorithms for Description Logics

TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Ontology formal model and ontology checking recently are still under hot discussion. In this paper, an extended ontology model is constructed using Description Logics. Based on the extended model, the issue on ontology checking is studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.