E-viri
-
Spear, Andrew D; Smith, Barry; Arp, Robert
Building Ontologies with Basic Formal Ontology, 08/2015Book Chapter
In chapter 6, we introduced the basic categories of BFO:continuantand BFO:occurrent, and their respective subtypes. In this chapter we will introduce the central ontological relations in BFO, and provide examples of how definitions for such relations are to be formulated. As has been noted in earlier chapters, providing definitions of the terms representing universals and defined classes alone is normally not sufficient to capture all of the important scientific information about a given domain. The relations that obtain between and among them need to be defined also, and we further need to provide axioms, for example, representing
