The Ontology of Relations
The Ontology of Relations
The is_a (or subtype) relation is the central structuring relation of an ontology. Ontologies also use other relations to link their categories together, for example the location and parthood relations, relations of participation and temporal precedence, and so forth. This chapter introduces ontological relations in general and the BFO treatment of relations in particular. Conventions for representing relations are introduced and specific ontological relations are defined and explained, including is_a, continuant_part_of, and occurrent_part_of. We explain the all-some rule for relations and outline the role of relations in defining ontological categories is highlighted. We also address specific properties of relations such as reflexivity, symmetry, and transitivity.
Keywords: BFO, relations, is_a, continuant_part_of, occurrent_part_of, all-some structure, reflexivity, symmetry, transitivity
MIT Press Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.
Please, subscribe or login to access full text content.
If you think you should have access to this title, please contact your librarian.
To troubleshoot, please check our FAQs, and if you can't find the answer there, please contact us.
