search

evoinfo / cdao

Comparative Data Analysis Ontology - A formalization of concepts and relations relevant to evolutionary comparative analysis
Creative Commons Zero v1.0 Universal
9 stars 4 forks source link

Modify axioms to fit OWL DL global constraints #16

Closed balhoff closed 5 years ago

balhoff commented 5 years ago

I changed two axioms that used min 1 with a non-simple property to be some restrictions instead. This is logically equivalent (which is why HermiT never complained). The first commit in this PR resaves using the latest OWL API, resulting in a large number of formatting changes. The second commit is the fix.

The remaining non-DL issue is a problem with the imported ontology-metadata file:

OWL 2 DL Profile Report: Ontology and imports closure NOT in profile. The following violations are present:
Use of undeclared annotation property: <http://purl.org/dc/terms/license> in annotation [Annotation(<http://purl.org/dc/terms/license> "http://creativecommons.org/licenses/by/4.0/") in null]
balhoff commented 5 years ago

I added a commit to update the version IRI. After merging we should create a tag cdao-rel-2019-06-26.

hlapp commented 5 years ago

FYI, created release: https://github.com/evoinfo/cdao/releases/tag/cdao-rel-2019-06-26

balhoff commented 5 years ago

Thanks!