Basic Formal Ontology (BFO)
HuPSON - Human Physiology Simulation Ontology This is a first draft of the HuPSON ontology as a basis and starting point for shared semantics and interoperability of simulations, models, algorithms and other resources in this domain. The ontology contains annotations with MathML expressions which make the mathematical equation types therein contained computer-readable. It is based on the Basic Formal Ontology, adheres to the MIREOT principles and has been evaluated via structural features, competency questions and use case scenarios.
Ontology information
http://www.ifomis.org/bfo/1.1
Michaela Guendel
application/rdf+xml
Protege 4.1
en
Barry Smith: "Beyond Concepts: Ontology as Reality Representation"
Pierre Grenon and Barry Smith: "SNAP and SPAN: Towards Geospatial Dynamics"
Pierre Grenon: "Nuts in BFO's Nutshell: Revisions to the Bi-categorial Axiomatization of BFO"
Pierre Grenon, Barry Smith and Louis Goldberg: "Biodynamic Ontology: Applying BFO in the Biomedical Domain"
Pierre Grenon: "BFO in a Nutshell: A Bi-categorial Axiomatization of BFO and Comparison with DOLCE"
Pierre Grenon: "Spatio-temporality in Basic Formal Ontology: SNAP and SPAN, Upper-Level Ontology, and Framework for Formalization"
Barry Smith and Pierre Grenon: "The Cornucopia of Formal Ontological Relations"
Barry Smith: "Against Fantology"
Barry Smith: "Basic Tools of Formal Ontology"
quality
http://creativecommons.org/licenses/by/3.0
Institute for Formal Ontology and Medical Information Science (IFOMIS)
This is the official owl PATO file as of 19.5.2011, adjusted to the HuPSON simulation ontology needs: - unnecessary classes and properties cut out - definitions added as string annotation (instead of anonymous instances as in the original file, as in Protege 4.1 this was difficult to handle) - classes converted into VPH simulation ontology namespace, but file imports a mapping file that maps the concepts to their original PATO counterparts in their namespace