Identity Conditions for Ontological Analysis

  • Nwe Ni Tun
  • Satoshi Tojo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4092)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford Science Publications (1997)Google Scholar
  2. 2.
    Welty, C., Guarino, N.: Supporting ontological analysis of taxonomic relationships. Data & Knowledge Engineering 39, 51–74 (2001)zbMATHCrossRefGoogle Scholar
  3. 3.
    Welty, C., Guarino, N.: Identity and Subsumption. LADSEB-CNR Internal Report (2001)Google Scholar
  4. 4.
    Welty, C., Guarino, N.: Identity, Unity and Individuality: Towards a Formal Toolkit for Ontological Analysis. In: Proceedings of ECAI 2000 (2000)Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Lowe, E.J.: What is a Criterion of Identity. The Philosophical Quarterly 39, 1–21 (1989)CrossRefMathSciNetGoogle Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Tun, N.N., Tojo, S.: IC-based Ontology Expansion in Devouring Accessibility. In: Australian Ontology Workshop (AOW 2005), vol. 58, pp. 99–106 (2005)Google Scholar
  11. 11.
    Gruber, T.: Towards Principles for the Design of Ontologies used for Knowledge Sharing. Journal of Human-Computers Studies 43(5,6), 907–928 (1995)CrossRefGoogle Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    Tamaa, V., Capon, T.J.M.B.: Attribute Meta-properties for Knowledge Sharing. In: Proceedings of KR 2003 (2003)Google Scholar
  14. 14.
    Quine, W.V.O.: Ontological Relativity and Other Essays. Columbia University Press (1969)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Nwe Ni Tun
    • 1
  • Satoshi Tojo
    • 1
  1. 1.Japan Advanced Institute of Science and TechnologyNomi, Ishikawa

Personalised recommendations