Abstract
Current ontologies’ upper-level taxonomic structure is often quite complicated and hard to understand. In this paper I show how the theoretical tools of so-called Formal Ontology, and especially the theory of identity, can help to formulate cleaner, more general, more rigorous, and more understandable upper-level ontologies. I focus in particular on some examples of multiple generalization, proposing a way of simplifying the domain structure by splitting some concepts according to different identity conditions, or by excluding them because of their limited organizational role.
Keywords
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
Bateman, J. A. 1995, On the Relationship Between Ontology Construction and Natural Language: a Socio-Semiotic View. International Journal of Human-Computer Studies, 43: 929–944.
Bateman, J. A., Kasper, R. T., Moore, J. D., and Whitney, R. A. 1990, A General Organization of Knowledge for Natural Language Processing: the PENMAN upper model. USC/Information Sciences Institute, Marina del Rey, CA.
Brachman, R. 1983, What IS-A Is and Isn’t: An Analysis of Taxonomic Links in Semantic Networks. IEEE Computer, 16(10): 30–36.
Casati, R. and Varzi, A. 1999, Parts and Places. The Structure of Spatial Representation. MIT Press, Cambridge, MA.
Fine, K. 1995, Ontological Dependence. Proceedings of the Aristotelian Society, 95: 269–90.
Guarino, N. 1992, Concepts, Attributes and Arbitrary Relations: Some Linguistic and Ontological Criteria for Structuring Knowledge Bases. Data & Knowledge Engineering, 8(2): 249–261.
Guarino, N. 1995, Formal Ontology, Conceptual Analysis and Knowledge Representation. International Journal of Human and Computer Studies, 43(5/6): 625–640.
Guarino, N., Carrara, M., and Giaretta, P. 1994, An Ontology of Meta-Level Categories. In D. J., E. Sandewall and P. Torasso (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR94). Morgan Kaufmann, San Mateo, CA: 270–280.
Knight, K. and Luk, S. 1994, Building a Large Knowledge Base for Machine Translation. In Proceedings of American Association of Artificial Intelligence Conference (AAAI-94). Seattle, WA: 773–778.
Lowe, E. J. 1989, Kinds of Being. A Study of Individuation, Identity and the Logic of Sortal Terms. Basil Blackwell, Oxford.
Mahesh, K. 1996, Ontology Development for Machine Translation: Ideology and Methodology. New Mexico State University, Computing Research Laboratory MCCS-96–292.
Miller, G. A. 1995, WORDNET: A Lexical Database for English. Communications of ACM, 2(11): 39–41.
Noonan, H. 1993, Introduction. In H. Noonan (ed.) Idenity. Dartmouth, Aldershot: xi–xx.
Pustejovsky, J. 1995, The Generative Lexicon. MIT Press, Cambridge, MA.
Pustejovsky, J. 1998, Formal Ontology and Lexical Semantics. In N. Guarino (ed.) Formal Ontology in Information Systems. IOS Press, Amsterdam: 327–336.
Simons, P. 1987, Parts: a Study in Ontology. Clarendon Press, Oxford.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guarino, N. (1999). The Role of Identity Conditions in Ontology Design. In: Freksa, C., Mark, D.M. (eds) Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science. COSIT 1999. Lecture Notes in Computer Science, vol 1661. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48384-5_15
Download citation
DOI: https://doi.org/10.1007/3-540-48384-5_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66365-2
Online ISBN: 978-3-540-48384-7
eBook Packages: Springer Book Archive