Barry Smith

A First-Order Logic Formalization of the Industrial Ontology Foundry Signature Using Basic Formal Ontology

2019 · PhilPapers (PhilPapers Foundation)

Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an …