Distinctions Produce a Taxonomic Lattice: Are these the units of mentalese?
Andrew U. Frank
International Conference on Formal Ontology in Information Systems (FOIS 2006)
Baltimore, Maryland (USA), November 9-11, 2006
Abstract
Ontologies describe a conceptualization of a part of the world relevant to some application. What are the units of conceptualizations? Current ontologies often equate concepts with words from natural languages. Words are certainly not the smallest units of conceptualization, neither are the sets of synonyms of WordNet or other linguistically justified units. Distinctions separate concepts and produce a taxonomic lattice, which contains the named concepts together with other potential conceptual units. The taxa are organized in a sub-/superclass (better supertaxa/subtaxa) relation and for any two taxa there is always a single least common supertaxon. Algorithms to maintain such a taxonomic structure and methods to combine different taxonomies are shown, using a four valued (relevance) logic as introduced by Belnap (Belnap 1977). The novel aspect of the method is that distinctions that are only meaningful in the context of other distinctions are used to restrict the lattice of concepts to the meaningful subset. The approach is restricted to the is_a relation between classes; it relates to Formal Concept Analysis, but replaces the "formal attributes" with distinctions and uses a four-valued logic. It stresses the focus of recent ontological studies like DOLCE or WonderWeb on qualities; it is expected that distinctions as introduced here for the is_a hierarchy influence the mereological aspects of an ontology (i.e., the part_of relation) and connect to Gibbon’s affordances and contribute to the classification of operations.