diff --git a/README.md b/README.md index 7988af5..00b402f 100644 --- a/README.md +++ b/README.md @@ -1,33 +1,32 @@ # Basic Formal Ontology -This repository maintains the Basic Formal Ontology (BFO) artifact conformant to the requirements specified in [ISO/IEC 21838‑1](https://www.iso.org/standard/71954.html) for top-level ontologies. BFO contains classes and relations representing content common to all areas of scientific investigation, e.g. object, process, etc. and is used as a top-level architecture by numerous ontologies in the Open Biomedical and Biomedical Ontologies (OBO) Foundry, the Industrial Ontologies Foundry (IOF), and the Common Core Ontologies suite. Ontologies conformant to BFO promote interoperability, standardization, and reuse among domain-level ontologies. +This repository maintains the Basic Formal Ontology (BFO) artifact conformant to the requirements specified in [ISO/IEC 21838‑1](https://www.iso.org/standard/71954.html) for top-level ontologies. BFO contains classes and relations representing content common to all areas of scientific investigation, e.g. object, process, etc. and is used as a top-level architecture by numerous ontologies in the [Open Biomedical and Biomedical Ontologies (OBO) Foundry](https://obofoundry.org/), the [Industrial Ontologies Foundry (IOF)](https://oagi.org/pages/industrial-ontologies), and the [Common Core Ontologies](https://github.com/CommonCoreOntology/CommonCoreOntologies) suite. Ontologies conformant to BFO promote interoperability, standardization, and reuse among domain-level ontologies. -The most current version is the "bfo-core.owl" file located at in this repository at: src/owl/bfo-core.owl +## Current Release + +* The most current version is the "bfo-core.owl" file located at in this repository: src/owl/bfo-core.owl. +* The most version of these files will always be at https://github.com/BFO-ontology/BFO-2020 ## Directory Structure * documentation - - axiomatization pdfs - Contains first-order axiomatizations of BFO sub-theories stored in PDF, such as: continuant-mereology.pdf - - FAQ - Contains guidance for contributing to this repository, using Github workflows, and so on. + - axiomatization pdfs - Contains first-order axiomatizations of BFO sub-theories stored in PDFs, such as: continuant-mereology.pdf + - FAQ - Contains guidance for contributing to this repository, using [Github workflows](https://docs.github.com/en/actions/using-workflows), and so on. - images - Contains images used in this repository. - - user guides - Contains user guides for: ontology developers, software developers and subject matter experts. + - user guides - Directory for planned user guides for: ontology developers, software developers and subject matter experts. * src - - owl - Contains the Web Ontology Language (OWL) implementation of BFO: bfo-core.owl. - - common logic - Contains the Common Logic Interchange Format (CLIF) implementation of BFO separated into files representing sub-theories of BFO, such as: material-entity.cl . + - owl - Contains Web Ontology Language ([OWL2](https://www.w3.org/TR/owl2-overview/)) implementations of BFO in [RDF/XML](https://www.w3.org/TR/rdf-syntax-grammar/), [Functional-style Syntax](https://www.w3.org/TR/owl2-syntax/#Functional-Style_Syntax), and [Terse RDF Triple Language](https://www.w3.org/TR/turtle/). + - common logic - Contains the Common Logic Interchange Format (CLIF) implementation of BFO separated into files representing sub-theories of BFO, such as: material-entity.cl. - prover9 - Contains an implementation of BFO that is readable by the Prover9 automated theorem prover, separated into files representing sub-theories of BFO, such as: temporal-region.prover9. - sparql - Contains quality control checks written in the [SPARQL Protocol and RDF Query Language (SPARQL)](https://www.w3.org/TR/sparql11-query/) which are used to ensure updates to bfo-core.owl do not violate design principles, such as having exactly one skos:prefLabel per language: exactly_1_prefLabel_per_lang.sparql. -* temporal extensions - Contains R&D project extending bfo-core.owl to stronger representations of time, as well as supplementary documentatin supporting such extensions. - -## Versioning and Release Chart - -![BFO Releases](documentation/images/bfo-release-gantt.png) +* temporal extensions - Contains R&D project extending bfo-core.owl to stronger representations of time, as well as supplementary documentation supporting such extensions. ## License -These documents are licensed under the terms of the Creative Commons Attribution 4.0 International (CC BY 4.0) license: https://creativecommons.org/licenses/by/4.0/ . The most current version of these files will be at https://github.com/BFO-ontology/BFO-2020 +These documents are licensed under the terms of the [Creative Commons Attribution 4.0 International (CC BY 4.0) license](https://creativecommons.org/licenses/by/4.0/). ## Documentation -For further documentation concerning this repository, see the [BFO Documentation Page](https://basic-formal-ontology.org/bfo-2020.html). \ -For further information about building ontologies using BFO artifacts and strategies, see [Building Ontologies with Basic Formal Ontology](https://mitpress.mit.edu/9780262527811/building-ontologies-with-basic-formal-ontology/). \ -For example BFO design patterns, see the article [Basic Formal Ontology: Case Studies](https://philpapers.org/archive/OTTBBF.pdf). \ -For information about upcoming and past BFO events, see [NCOR](https://ncorwiki.buffalo.edu/index.php/Main_Page). +* For further documentation concerning this repository, see the [BFO Documentation Page](https://basic-formal-ontology.org/bfo-2020.html). +* For further information about building ontologies using BFO artifacts and strategies, see [Building Ontologies with Basic Formal Ontology](https://mitpress.mit.edu/9780262527811/building-ontologies-with-basic-formal-ontology/). +* For example BFO design patterns, see the article [Basic Formal Ontology: Case Studies](https://philpapers.org/archive/OTTBBF.pdf). +* For information about upcoming and past BFO events, see [NCOR](https://ncorwiki.buffalo.edu/index.php/Main_Page). ## Development Team * [Barry Smith](https://www.buffalo.edu/cas/philosophy/faculty/faculty_directory/smith-b.html), SUNY Distinguished Professor of Philosophy and Julian Park Chair, University at Buffalo, Department of Philosophy diff --git a/documentation/images/bfo-core-dir-infograph.png b/documentation/images/bfo-core-dir-infograph.png new file mode 100644 index 0000000..4796a8d Binary files /dev/null and b/documentation/images/bfo-core-dir-infograph.png differ