Updates Reflecting Shift to Minimal OWL Implementation, Among Other Things...

[johnbeve]

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:

1. Creation of templates for issue tracker
2. Creation of Discussion Board space (to keep this separate from the issue tracker)
3. release.yml and Makefile to cut releases, run SPARQL QC checks, check for consistency, etc. using ROBOT on bfo-core.owl
4. 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)
5. 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.
6. 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.*
7. I've added readme's throughout, and made sure they all followed a standard format, and added substantial content to most.