Abstract
The role of ontologies is to provide a well-defined structure of domain knowledge that acts as the heart of any system of knowledge representation on that domain for the purposes of reasoning, knowledge sharing, and integration. Thus, it is essential to clarify the structure of knowledge in ontologies. In this paper, we discuss how ontology developers can define the identity conditions of classes explicitly, and can utilize them to develop structured taxonomies with adequate consistency. The background of this paper is OntoClean which is a domain independent methodology for ontology modeling using some philosophical notions. We exemplify the classification of sorts with necessary conceptual constraints. Then, we provide an explicit, simplified, and practical ontological analysis system regarding our subsumption constraints.
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)
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)
Welty, C., Guarino, N.: Identity, Unity and Individuality: Towards a Formal Toolkit for Ontological Analysis. In: Proceedings of ECAI 2000 (2000)
Guarino, N., Welty, C.A.: A Formal Ontology of Properties. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS, vol. 1937, pp. 97–112. Springer, Heidelberg (2000)
Lowe, E.J.: What is a Criterion of Identity. The Philosophical Quarterly 39, 1–21 (1989)
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)
Fernández-López, M., Gómez-Pérez, A., Pazos-Sierra, A., Pazos-Sierra, J.: Building a Chemical Ontology using METHONTOLOGY and the Ontology Design Environment. IEEE Intelligent Systems and their Applications, 37–46 (1999)
Guarino, N., Carrara, M., Giaretta, P.: An Ontology of Meta-level Categories. In: Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, pp. 270–280. Morgan Kaufmann, San Francisco (2001)
Tun, N.N., Tojo, S.: IC-based Ontology Expansion in Devouring Accessibility. In: Australian Ontology Workshop (AOW 2005), vol. 58, pp. 99–106 (2005)
Gruber, T.: Towards Principles for the Design of Ontologies used for Knowledge Sharing. Journal of Human-Computers Studies 43(5,6), 907–928 (1995)
Tamaa, V., Capon, T.J.M.B.: An Enriched Knowledge Model for Formal Ontological Analysis. In: Proceedings of the international conference on formal ontology and information systems (FOIS 2001). ACM Press, New York (2001)
Tamaa, V., Capon, T.J.M.B.: Attribute Meta-properties for Knowledge Sharing. In: Proceedings of KR 2003 (2003)
Quine, W.V.O.: Ontological Relativity and Other Essays. Columbia University Press (1969)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tun, N.N., Tojo, S. (2006). Identity Conditions for Ontological Analysis. In: Lang, J., Lin, F., Wang, J. (eds) Knowledge Science, Engineering and Management. KSEM 2006. Lecture Notes in Computer Science(), vol 4092. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11811220_35
Download citation
DOI: https://doi.org/10.1007/11811220_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37033-8
Online ISBN: 978-3-540-37035-2
eBook Packages: Computer ScienceComputer Science (R0)