Updates in this pull request include changes to the directory, and major updates across the repo. I had a few goals here:
Reflect consensus from BFO2020 subgroup
Streamline contributions and user interactions
Improve documentation and clarify repository content
Setup an easy to use release workflow, using Github actions
To that end, in this pull request you will see:
Creation of templates for issue tracker
Creation of Discussion Board space (to keep this separate from the issue tracker)
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 (I included a few, more to come), an 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)
A 'src' directory now houses the common logic, owl, and prover9 directories. I've updated the bfo-core.owl file based on the consensus reached in the BFO2020 subgroup last month. I also corrected a few typos, make corrections for grammatical consistency throughout, simplified presentation of definitions/elucidations. I generated the ofn and owl files from the ttl, which was easier for me to work with.
I've created a temporal extensions directory with contributions and temporalized relations subdirectories. In the owl subdirectory of the temporalized relations folder I created bfo-temporalized-relations.ttl (and ofn, owl) aligned with bfo-core.owl, according to the consensus reached in the BFO2020 subgroup.*
I've added readme's throughout, and made sure they all followed a standard format, and added substantial content to most.
Updates in this pull request include changes to the directory, and major updates across the repo. I had a few goals here:
To that end, in this pull request you will see: