Consider detecting ill-formed OWL2-DL axioms for OML

[NicolasRouquette]

OWL subclass axioms are interpreted in OML as follows:

• an OWL Class may represent an OML Aspect, Concept, ReifiedRelationship, StructuredDatatype
• an OWL SubClass axiom makes sense according to OML SpecializationAxioms.

OWL SubClass axioms that do not map to OML SpecializationAxioms are currently silently ignored; e.g., OML Aspect (OWL Class) subclass of OML Concept (OWL Class) is ignored.

Consider reporting as errors such axioms that cannot be mapped to OML.

[NicolasRouquette]

The problem here is that there are ill-formed owl2-dl representations of OML.
For example:

In owl2-mof2:

    <!-- http://imce.jpl.nasa.gov/foundation/owl2-mof2/owl2-mof2#ObjectPropertyDependentRangeType -->

    <owl:Class rdf:about="&owl2-mof2;ObjectPropertyDependentRangeType">
        <rdfs:subClassOf rdf:resource="&owl2-mof2-backbone;Entity"/>
        <annotation:isAbstract rdf:datatype="&xsd;boolean">true</annotation:isAbstract>
        <annotation:noMapping rdf:datatype="&xsd;boolean">true</annotation:noMapping>
    </owl:Class>
    

    <!-- http://imce.jpl.nasa.gov/foundation/owl2-mof2/owl2-mof2#BinaryAssociationEndType -->

    <owl:Class rdf:about="&owl2-mof2;BinaryAssociationEndType">
        <rdfs:subClassOf rdf:resource="&owl2-mof2;ObjectPropertyDependentRangeType"/>
        <annotation:isAbstract rdf:datatype="&xsd;boolean">true</annotation:isAbstract>
        <annotation:noMapping rdf:datatype="&xsd;boolean">true</annotation:noMapping>
    </owl:Class>

In base:

    <!-- http://imce.jpl.nasa.gov/foundation/base/base#Container -->

    <owl:Class rdf:about="&base;Container">
        <rdfs:label rdf:datatype="&xsd;string">Container</rdfs:label>
        <rdfs:subClassOf rdf:resource="&base-backbone;Aspect"/>
        <dc:description rdf:datatype="&xsd;string">A &lt;classname&gt;Container&lt;/classname&gt; is an element that may contain zero or more &lt;classname&gt;ContainedElement&lt;/classname&gt;. The notion of &lt;emphasis&gt;containment&lt;/emphasis&gt; is general; it is specialized for more particular applications in other ontologies.</dc:description>
        <annotation:isAbstract rdf:datatype="&xsd;boolean">true</annotation:isAbstract>
    </owl:Class>

In base-embedding:

    <!-- http://imce.jpl.nasa.gov/foundation/base/base#Container -->

    <rdf:Description rdf:about="&base;Container">
        <rdfs:subClassOf rdf:resource="&owl2-mof2;BinaryAssociationEndType"/>
    </rdf:Description>
    

The last axiom is ill-formed!