Ontology is the study of entities that exist and the properties of their existence. An ontology is made up of its entities and the relationships between them. An entity is specified by its preferred term, synonyms, and definition. Terms can either refer to real-world entities or concepts concerning real world entities. If we want to build a usable ontology, Cimino’s desiderata proposes some useful properties to adhere to:
- Concepts which form the nodes of the terminology must correspond to at least one meaning (non-vagueness)
- Concepts must correspond to no more than one meaning (non-ambiguity)
- Meanings must themselves correspond to no more than one concept (non-redundancy)
In Applied Ontology, a book by Katherine Munn and Barry Smith, Munn and Smith, consider two prevailing schools of thought: metaphysics (term-oriented or realism) and epistemological (concept-oriented or conceptualism). “Aristotle believed that reality in its entirety could be represented with a single system.” Kant, however, believed that we reconcile reality through the concepts we form in our mind. For example, how can we perceive that a beaver has a flat tail without first defining a beaver as a rodent with a flat tail? The other main argument for conceptualism is that reality is too complex to be adequately specified under one terminology. An argument against conceptualism is that the ontology must fit in entities which have no actual representation in reality like the caloric or ether.
The response to this was that realism can be fallible and that multiple perspectives can be true. Fallible realism states that can assert propositions we believe to be true, and change our beliefs, or the ontology, when we find evidence indicating otherwise. Perspectivism acknowledges that facts can be partitioned in ways that are different but nonetheless true concerning reality. The realist perspective also deals with terms about non-existent entities an empty terms. Given this, the Munn and Smith have a preferred stance towards realism when developing a knowledge base.
Munn and Smith identify Cimino’s usage of the phrase concept to mean a “plurality of words” and that context can influence the meaning of those words.
The other aspects to consider is whether a reference to an entity is in general or specific, and whether it is an existant or continuant. A general entity or term refers to the universal representations of itself, whereas a specific entity is tied to a particular instantiation. For example, if one were to consider the term cancer, they would think of all the general characteristics ascribed to that disease. If one were to consider an individual’s cancer, then they view the disease with respect to its instantiation in the individual. An existant refers to items that have no temporal constraint, or beginning and ending. An occurant applies a time frame to the entity. The concept of a horse is timeless in the realm of the mind until one considers a particular horse that has a concrete birth and death associated with it.
These aspects are actually part of a more general set of ontological relations: inhere_in, characterize, instantiate, and exemplify. These represent interactions between existants (universals) and occurants (individuals) as they occur in Aristotle’s Ontological square. Other relationships exist, such as is_a, is_not_a, part_of, has_part, located_in, has_participant, etc. Other relationships can be devised if they make sense within the context of the problem the ontology is addressing.
Applied ontology concerns itself with the application of such principles to build knowledge frameworks for specific domains such as medicine, biology, geography, etc.
- Munn K, Smith B. Applied ontology: an introduction. ontos verlag; 2008.