Building ontologies with basic formal ontology - Arp, Robert; Smith, Barry 1952-; Spear, Andrew D. (The MIT Press, 2015)