BFO 2020 Release
The major update in this release reflects a decision to divide the core classes and object properties of OWL versions of BFO from stronger temporal versions of that core. In particular, the bfo-core.owl implementation of BFO was created which contains all the classes from previous releases with the same IRIs, and includes the 'some times' versions of all object properties having the same IRIs as well. The rdfs:label for the 'some time' object properties have been updated to remove reference to time, and a skos:scopeNote has been added to these object properties indicating that for those users interested in stronger representations of time should look to temporal extensions of bfo-core.owl. In this file, users will find all of the content of bfo-core.owl, in addition to the 'all time' object properties which have the same IRIs as in previous releases. In this file, 'all time' object properties are given skos:prefLabel annotations with reference to 'all time' and the 'some time' object properties has corresponding annotations as well.
Other updates in this release included changes to the directory structure, introduction of ROBOT for validation accompanied by SPARQL queries for QC, and improved documentation.
Summary of Changes
- Reflect consensus from DoD-IC Working Group BFO2020 subgroup tasked with recommending a version of BFO 2020 to be used in related efforts.
- Provide a strategy for streamlining collaboration, contributions, user interactions.
- Improve documentation and clarify repository content.
- Setup an easy to use release workflow, using Github actions and a version of ROBOT
Details of Changes
- Creation of templates for issue tracker
- Creation of Discussion Board space (to keep this separate from the issue tracker)
- Added release.yml and Makefile to cut releases, run SPARQL QC checks, check for consistency, etc. using ROBOT on bfo-core.owl
- Moved axiom pdfs to 'documentation' directory, which also includes images used in the repo, sparql queries used by ROBOT
- Added FAQ directory (for contributing and basic git workflow help), and user guides (currently, the paper Alan, Neil, and I wrote is the only item uploaded)
- Added 'src' directory now houses the common logic, owl, and prover9 directories. Also added a profiles sub-directory which houses a temporal extensions directory with temporalized relations subdirectories.
- Corrected a few typos in OWL implementations, made corrections for grammatical consistency throughout, simplified presentation of definitions/elucidations. Generated the ofn and owl files from the ttl.
- Added readme's throughout, and made sure they all followed a standard format, and added substantial content to most.
Changelog
- Add CL axioms #80
- Major restructuring of repo and division of core from extensions #73
- Added profiles directories 569ef3d
- Fixed spacing in common logic axiom uns-1 62640d3
- Add link to discussion of temporal representation on CCO github page 3b7e1df
- Add skos:scopeNote with link to temporal extensions repository for temporally ambiguous object properties 5ed4687