This paper provides a reformulation of OntoClean's notion of Unity and Identity within a formal theory of classes, and evaluates how the reformulations apply to BFO's theory of types, which was previously given within the same formal theory. For Unity, a definition schema and explication together express the underlying dependency between a unifying relation and some proper subrelation of the ‘part of’ relation, which together define how a particular of a class is a whole. For Identity, the notion of an identity criterion is ontologically grounded and formalized as an identity procedure. For both Unity and Identity the formulations are expressed within a sorted first-order logic, where staying within first-order expressivity proved difficult in past work. With our reformulations in hand we evaluate the primary type dichotomy for material entities of BFO, Object and ObjectAggregate. Together with the work that integrates OntoClean's notion of Rigidity with BFO's theory of types, this work augments ongoing efforts to build software designed to evaluate and standardize OBO Foundry candidate ontologies, of which BFO is the upper level ontology.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 firstname.lastname@example.org
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 email@example.com