Abstract
The intuitive simplicity of the so-called is-a (or subsumption) relationship has led to widespread ontological misuse. Where previous work has focused largely on the semantics of the relationship itself, we concentrate here on the ontological nature of its arguments, in order to tell whether a single is-a link is ontologically well-founded. For this purpose, we introduce some techniques based on the philosophical notions of identity, unity, and essence, which have been adapted to the needs of taxonomy design. We demonstrate the effectiveness of these techniques by taking real examples of poorly structured taxonomies and revealing cases of invalid generalization.
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
Akiba, K. (2000). Identity is simple. American Philosophical Quarterly, 37, 389–404.
Brachman, R. (1983). What IS-A is and isn’t: An analysis of taxonomic links in semantic networks. IEEE Computer, 16(10), 30–36.
Carrara, M., & Giaretta, P. (2001). Identity criteria and sortal concepts. In B. Smith & C. Welty (Eds.), Proceedings of 2nd International Conference on Formal Ontology in Information Systems (FOIS2001), 234–243.
Casati, R., & Varzi, A. C. (1994). Holes and Other Superficialities. Cambridge, MA: MIT Press, 1994.
Davidson, D. (1980). The individuation of events. In Essays on Actions and Events, 163–180. Oxford: Clarendon Press.
Gangemi, A., Guarino, N., Masolo, C., & Oltramari, A. (2001). Understanding top-level ontological distinctions. In A. Gomez Perez, M. Gruninger, H. Stuckenschmidt, & M. Uschold (Eds.), Proceedings of Workshop on Ontologies and Information Sharing (IJCAI2001), 26–33.
Goldstein, R. C., & Storey, V. C. (1999). Data abstractions: Why and how? Data and Knowledge Engineering, 29, 293–311.
Guarino, N. (1998). Formal ontology and information systems. In N. Guarino (Ed.), Formal Ontology in Information Systems: Proceedings (FOIS ’98), 3–15. Amended version available: <http://www.ladseb.pd.cnr.it/infor/Ontology/Papers/FOIS98.pdf> [2001, October 9].
Guarino, N., & Welty, C. (2000a). A formal ontology of properties. Proceedings of 12th International Conference on Knowledge Engineering and Knowledge Management, 97–112.
Guarino, N., & Welty, C. (2000b). Identity, unity, and individuality: Towards a formal toolkit for ontological analysis. Proceedings of the European Conference on Artificial In tell igen ce (ECAI-2000), 211–215.
Guarino, N., & Welty, C. (2000c). Conceptual Modeling and Ontological Analysis. AAAI-00 Tutorial Notes. Available: < http://www.cs.vassar.edu/faculty/welty/aaai-2000/ > [2001, October 9].
Guarino, N., & Welty, C. (in press). Supporting ontological analysis of taxonomic relationships. Data and Knowledge Engineering.
Hirsch, E. (1982). The Concept of Identity. New York and Oxford: Oxford University Press.
Hirst, G. (1991). Existence assumptions in knowledge representation. Artificial Intelligence, 49, 199–242.
Hughes, G. E., & Cresswell, M. J. (1996). A New Introduction to Modal Logic. London: Routledge.
Kaplan, A. (2001). Towards a consistent logical framework for ontological analysis. In B. Smith & C. Welty (Eds.), Proceedings of 2nd International Conference on Formal Ontology in Information Systems (FOIS2001), 244–255.
Lewis, D. (1983). New work for a theory of universals. Australasian Journal of Philosophy, 61, 343–377.
Lowe, E. J. (1989). Kinds of Being: A Study of Individuation, Identity and the Logic of Sortal Terms. Oxford: Basil Blackwell.
Lowe, E. J. (1998). The Possibility of Metaphysics. Oxford: Clarendon Press.
Nirenburg, S. & Raskin, V. (2001). Ontological semantics, formal ontology, and ambiguity. In B. Smith & C. Welty (Eds.), Proceedings of 2nd International Conference on Formal Ontology in Information Systems (FOIS2001), 151–161.
Noonan, H. (Ed.) (1993). Identity. Aldershot, England and Brookfield, VT: Dartmouth.
Simons, P. (1987). Parts: A Study in Ontology. Oxford: Clarendon Press.
Storey, V. C. (1993). Understanding semantic relationships. Very Large Databases Journal, 2, 455–488.
Strawson, P. F. (1959). Individuals: An Essay in Descriptive Metaphysics. London and New York: Routledge.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Guarino, N., Welty, C. (2002). Identity and Subsumption. In: Green, R., Bean, C.A., Myaeng, S.H. (eds) The Semantics of Relationships. Information Science and Knowledge Management, vol 3. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0073-3_7
Download citation
DOI: https://doi.org/10.1007/978-94-017-0073-3_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5996-3
Online ISBN: 978-94-017-0073-3
eBook Packages: Springer Book Archive