Index | part of Building Ontologies with Basic Formal Ontology | MIT Press books | IEEE Xplore