Year: 2004
Type: article
Abstract: . This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in partic-ular their behavior with respect to time – is critical for formal ontology. We provide examples to support this thesis from the domain of biomedicine. 1
Authors: Thomas Bittner, Maureen P. Donnelly, Barry Smith
Language: English
Topic: Semantic Web and Ontologies
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2105925956