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.
This research work is supported by the Natural Science Fund of China ( # 70501022).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anderson, C.A.: Alonzo Church’s contributions to philosophy and intensional logic, Bull. Symbolic Logic 4(2), 129–171 (1998)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D. (eds.): The Description Logic Handbook - Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
Baclawski, K., Kokar, M., Smith, J.: Consistency Checking of RM-ODP Specifications. International Conference on Enterprise Information Systems, Setúbal, Portugal (2001)
Baclawski, K., Kokar, M., et al.: Consistency Checking of Semantic Web Ontologies. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 454–459. Springer, Heidelberg (2002)
Weitl, F., Freitag, B.: Checking semantic integrity constraints on integrated web documents. In: Wang, S., Tanaka, K., Zhou, S., Ling, T.-W., Guan, J., Yang, D.-q., Grandi, F., Mangina, E.E., Song, I.-Y., Mayr, H.C. (eds.) Conceptual Modeling for Advanced Application Domains. LNCS, vol. 3289, pp. 198–209. Springer, Heidelberg (2004)
Staab, S., Studer, R.: Handbooks on Ontologies. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yu, C., Luo, Y. (2007). Term Consistency Checking of Ontology Model Based on Description Logics. In: Zhang, Z., Siekmann, J. (eds) Knowledge Science, Engineering and Management. KSEM 2007. Lecture Notes in Computer Science(), vol 4798. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76719-0_48
Download citation
DOI: https://doi.org/10.1007/978-3-540-76719-0_48
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76718-3
Online ISBN: 978-3-540-76719-0
eBook Packages: Computer ScienceComputer Science (R0)