Abstract
Guarino and Welty have developed the notion of identity condition (IC) as a subsumption constraint of ontological analysis, that is, IC must be inherited or carried among sorts. In practical cases, a sort is often regarded to carry more than one identity condition via inheritance. Thus, we provided the idea of multiple ICs in [8]. Here, we extend our idea in order-sorted logic because this logic is one of the most promising ways to treat a sort ontology. For this purpose, we reconsider the definition of identity and rigidity in terms of order-sorted language and possible world semantics. Then, we propose an inheritance mechanism of identity conditions in order to solve subsumption inconsistency among sorts. We present a practical example of knowledge management to illustrate the advantages of our formalism.
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
Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford Science Publications (1997)
Landman, F.: Structures for Semantics. Kluwer Academic Publishers, Dordrecht (1991)
Kaneiwa, K., Tojo, S.: Event, property, and hierarchy in order-sorted logic. In: Proceedings of International Conference on Logic Programming (1999)
Kaneiwa, K., Tojo, S.: An order-sorted resolution with implicit negative sorts. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol. 2237, p. 300. Springer, Heidelberg (2001)
Kaneiwa, K., Mizoguchi, R.: Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. In: Proceedings of KR (2004)
Schmidt-Schauss, M.: Computational Aspects of Order-Sorted Logic with Term Declarations. Springer, Heidelberg (1989)
Beierle, C., Hedtstuck, U., Pletat, U., Schmitt, P.H., Siekmann, J.: An Order-Sorted Logic for Knowledge Representation Systems. Artificial Intelligence 55, 149–191 (1992)
Tun, N.N., Tojo, S.: Consistency Maintenance in Ontological Knowledge Updating. In: Proceedings of The 2004 IEEE International Conference on Information Reuse and Integration, IEEE IRI (2004)
Welty, C., Guarino, N.: Supporting ontological analysis of taxonomic relationships. Data & Knowledge Engineering 39, 51–74 (2001)
Welty, C., Guarino, N.: Identity and Subsumption. LADSEB-CNR Internal Report (2001)
Kaplan, A.N.: Towards a Consistent Logical Framework for Ontological Analysis. In: Proceedings of International Conference on Formal Ontology in Information Systems, pp. 244–255. ACM Press, New York (2001)
Carrara, M., Giaretta, P.: Identity Criteria and Sortal Concepts. In: Proceedings of the International Conference on Formal Ontology in Information Systems, pp. 234–243. ACM Press, New York (2001)
Abecker, A., Elst, A.V.: Ontologies for Knowledge Management. In: International Handbooks on Information Systems: Handbook on Ontologies, pp. 435–454. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tun, N.N., Tojo, S. (2004). Inheritance of Multiple Identity Conditions in Order-Sorted Logic. In: Webb, G.I., Yu, X. (eds) AI 2004: Advances in Artificial Intelligence. AI 2004. Lecture Notes in Computer Science(), vol 3339. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30549-1_121
Download citation
DOI: https://doi.org/10.1007/978-3-540-30549-1_121
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24059-4
Online ISBN: 978-3-540-30549-1
eBook Packages: Computer ScienceComputer Science (R0)