Basic Formal Ontology (BFO) 1.1
Ontology: BFO11
- IRI: http://www.ifomis.org/bfo/1.1
- OBO Foundry: Library
- Download: http://svn.code.sf.net/p/ino/code/trunk/src/ontology/external/bfo-1.1.owl
- Home: BFO Home
- Documentation: BFO Home
- Contact: BFO Discuss
Annotations
- contributor: Alan Ruttenberg, Andrew Spear, Pierre Grenon
- creator: Holger Stenzhorn
- format: application/rdf+xml
- title: Basic Formal Ontology (BFO)
- versionInfo: 1.1.1
- identifier: http://www.ifomis.org/bfo/1.1
- language: en
- publisher: Institute for Formal Ontology and Medical Information Science (IFOMIS)
- rights: http://creativecommons.org/licenses/by/3.0
- source: Barry Smith and Pierre Grenon: "The Cornucopia of Formal Ontological Relations"; Barry Smith: "Against Fantology"; Barry Smith: "Basic Tools of Formal Ontology"; Pierre Grenon: "Spatio-temporality in Basic Formal Ontology: SNAP and SPAN, Upper-Level Ontology, and Framework for Formalization"; Pierre Grenon and Barry Smith: "SNAP and SPAN: Towards Geospatial Dynamics"; Pierre Grenon: "BFO in a Nutshell: A Bi-categorial Axiomatization of BFO and Comparison with DOLCE"; 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"; Barry Smith: "Beyond Concepts: Ontology as Reality Representation"
Number of Terms (including imported terms) (Detailed Statistics)
- Class (39)
- AnnotationProperty (9)
Number of SPARQL queries:8
