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

Ontology is not in DL #14

Closed hlapp closed 5 years ago

hlapp commented 5 years ago

In theory this should have been fixed in 0245c85956d701fdf2112cc50c705104b41ecd38, but apparently the following was missed. This is what ROBOT reports:

OWL 2 DL Profile Report: Ontology and imports closure NOT in profile. The following violations are present:
Use of non-simple property in a restriction: ObjectMinCardinality(1 <http://purl.obolibrary.org/obo/CDAO_0000194> <http://purl.obolibrary.org/obo/CDAO_0000006>) [SubClassOf(<http://purl.obolibrary.org/obo/CDAO_0000140> ObjectMinCardinality(1 <http://purl.obolibrary.org/obo/CDAO_0000194> <http://purl.obolibrary.org/obo/CDAO_0000006>)) in OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/cdao.owl>) VersionIRI(<http://purl.obolibrary.org/obo/cdao/2013-02-01/cdao.owl>))]
Use of non-simple property in a restriction: ObjectMinCardinality(1 <http://purl.obolibrary.org/obo/CDAO_0000194> <http://purl.obolibrary.org/obo/CDAO_0000012>) [SubClassOf(<http://purl.obolibrary.org/obo/CDAO_0000026> ObjectMinCardinality(1 <http://purl.obolibrary.org/obo/CDAO_0000194> <http://purl.obolibrary.org/obo/CDAO_0000012>)) in OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/cdao.owl>) VersionIRI(<http://purl.obolibrary.org/obo/cdao/2013-02-01/cdao.owl>))]