search

ApolloDev / apollo-sv

Repository for Apollo-SV ontology. Versioning Apollo-SV independently of the software was made easiest by having it as a separate repository.
Creative Commons Attribution 4.0 International
8 stars 4 forks source link

Apollo SV axioms outside OWL 2 DL #226

Closed matentzn closed 1 year ago

matentzn commented 1 year ago

Three logical definitions are firmly outside of OWL 2 DL, which I strongly recommend to drop without replacement:

I do not know exactly, exactly what the problem with this is, but it seems you cannot combine "has participant" with "min 2" type restrictions.

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(2 http://purl.obolibrary.org/obo/RO_0000057 http://purl.obolibrary.org/obo/OBI_0100026) [EquivalentClasses(http://purl.obolibrary.org/obo/APOLLO_SV_00000338 ObjectIntersectionOf(http://purl.obolibrary.org/obo/APOLLO_SV_00000596 ObjectIntersectionOf(ObjectSomeValuesFrom(http://purl.obolibrary.org/obo/BFO_0000117 http://purl.obolibrary.org/obo/APOLLO_SV_00000371) ObjectMinCardinality(2 http://purl.obolibrary.org/obo/RO_0000057 http://purl.obolibrary.org/obo/OBI_0100026)))) in OntologyID(OntologyIRI(http://purl.obolibrary.org/obo/apollo_sv.owl) VersionIRI(http://purl.obolibrary.org/obo/apollo_sv/releases/2023-02-19/apollo_sv.owl))] Use of non-simple property in a restriction: ObjectMinCardinality(2 http://purl.obolibrary.org/obo/RO_0000057 ObjectIntersectionOf(http://purl.obolibrary.org/obo/OBI_0100026 ObjectSomeValuesFrom(http://purl.obolibrary.org/obo/RO_0002325 http://purl.obolibrary.org/obo/OBI_0100026))) [EquivalentClasses(http://purl.obolibrary.org/obo/APOLLO_SV_00000356 ObjectIntersectionOf(http://purl.obolibrary.org/obo/APOLLO_SV_00000340 ObjectMinCardinality(2 http://purl.obolibrary.org/obo/RO_0000057 ObjectIntersectionOf(http://purl.obolibrary.org/obo/OBI_0100026 ObjectSomeValuesFrom(http://purl.obolibrary.org/obo/RO_0002325 http://purl.obolibrary.org/obo/OBI_0100026))))) in OntologyID(OntologyIRI(http://purl.obolibrary.org/obo/apollo_sv.owl) VersionIRI(http://purl.obolibrary.org/obo/apollo_sv/releases/2023-02-19/apollo_sv.owl))] Use of non-simple property in a restriction: ObjectMinCardinality(2 http://purl.obolibrary.org/obo/RO_0000057 http://purl.obolibrary.org/obo/OBI_0100026) [EquivalentClasses(http://purl.obolibrary.org/obo/APOLLO_SV_00000596 ObjectIntersectionOf(http://purl.obolibrary.org/obo/GO_0044419 ObjectIntersectionOf(ObjectSomeValuesFrom(http://purl.obolibrary.org/obo/BFO_0000117 http://purl.obolibrary.org/obo/GO_0051705) ObjectMinCardinality(2 http://purl.obolibrary.org/obo/RO_0000057 http://purl.obolibrary.org/obo/OBI_0100026)))) in OntologyID(OntologyIRI(http://purl.obolibrary.org/obo/apollo_sv.owl) VersionIRI(http://purl.obolibrary.org/obo/apollo_sv/releases/2023-02-19/apollo_sv.owl))]

hoganwr commented 1 year ago

has participant is a non-simple relation by virtue of being in a property chain with the non-simple relation has part.

You cannot use qualified cardinality restrictions with non-simple relations. That alone would make the logic undecidable.

matentzn commented 1 year ago

@hoganwr agrees to remove all of these but make sure classification does not break.