You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is because of one inverse object property axiom:
OWL 2 EL Profile Report: Ontology and imports closure NOT in profile. The following violations are present:
Axiom type not allowed in profile [InverseObjectProperties(<http://rs.tdwg.org/ontology/voc/TaxonName#basionymFor> <http://rs.tdwg.org/ontology/voc/TaxonName#hasBasionym>) in OntologyID(OntologyIRI(<http://ontology.phyloref.org/tcan.owl>) VersionIRI(<http://ontology.phyloref.org/2018-12-14/tcan.owl>))]
In principle this shouldn't be a big deal since EL reasoners should simply ignore axioms that are outside of EL. That said, if we only need one of the two, the other should be removed. Otherwise maybe it's worth thinking about a core TCAN-EL module which is imported by the "full" TCAN.
The text was updated successfully, but these errors were encountered:
This is because of one inverse object property axiom:
In principle this shouldn't be a big deal since EL reasoners should simply ignore axioms that are outside of EL. That said, if we only need one of the two, the other should be removed. Otherwise maybe it's worth thinking about a core TCAN-EL module which is imported by the "full" TCAN.
The text was updated successfully, but these errors were encountered: