No description, website, or topics provided.
Web Ontology Language HTML Other
Latest commit af31119 Oct 23, 2016 @alanruttenberg alanruttenberg Made it run again
Added begins-to-exist-during, ceases-to-exist-during and inverses during-which-xxx-to-exist
No all-time, some-time relations
Remove links pointing to google code
Other minor fixes
Full temporal version doesn't build yet, since I made some incompatible changes. Next time.

Modified:

src/ontology/owl-group/specification/bfo-reference-no-controversial-relations.lisp
src/ontology/owl-group/specification/bfo2-reference.lisp
src/ontology/owl-group/specification/bfo2-uris.lisp
src/ontology/owl-group/specification/binary-relation-axioms.lisp
src/ontology/owl-group/specification/ontology-properties.lisp
src/tools/README.txt
src/tools/bfo.asd
src/tools/bfo1.1/bfo-relations.lisp
src/tools/bfo1.1/bfo1.1-to-2.lisp
src/tools/bfo2-annotations.lisp
src/tools/generate-bfo2.lisp

README.md

Basic Formal Ontology (BFO)

The Basic Formal Ontology (BFO) is a small, upper-level ontology that is designed for use in supporting information retrieval, analysis and integration in scientific and other domains. BFO is a genuine upper ontology. Thus it does not contain physical, chemical, biological or other terms which would properly fall within the coverage domains of the special sciences. BFO is used by more than 130 ontology-driven endeavors throughout the world.

The BFO project was initiated in 2002 under the auspices of the project Forms of Life sponsored by the Volkswagen Foundation. The theory behind BFO was developed first by Barry Smith and Pierre Grenon and presented in a series of publications listed here.

Since then important contributions to BFO have been made by many people, including:

... and by more than hundred other members of the BFO Discussion Group.

News: BFO 2.0 Now Released

Implementations

Current Version: 2.0

Previous Version: 1.1.1

Material

Publications

Code license: New BSD License

Content license: Creative Commons 3.0 BY