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.
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.