Building Ontologies with Basic Formal Ontology by Robert Arp, Barry Smith and Andrew D. Spear, is an introduction to the field of applied ontology with examples derived particularly from biomedicine, covering theoretical components, design practices, and practical applications. Published by MIT Press.