TestCase:WebOnt-I5.26-003

From OWL Test Cases

Jump to:navigation, search
[Download OWL]
Test Id WebOnt-I5.26-003
Description Structure sharing was not permitted in OWL DL, between two class descriptions, but is permitted in OWL 2 DL.
Status Approved (2009-04-28, when passed by 2 implementations) (proposed 2009-01-08)
Author Jeremy J. Carroll
Original syntax RDF-XML
Syntactic Species/Profile OWL 2 DL (not EL, not QL, not RL)
Semantics This test is applicable under both direct and RDF-based semantics.
WebOnt test http://www.w3.org/2002/03owlt/I5.26/Manifest003#test
Consistent ontology (download)

Convert syntax: functional, XML, Manchester      This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL.
Open in RDF Validator

<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/I5.26/consistent003" >
    <owl:Ontology/>
    <owl:Class rdf:nodeID="B">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="B"/>
      </owl:intersectionOf>
    </owl:Class>
    <owl:Class rdf:ID="notB">
      <owl:complementOf rdf:nodeID="B"/>
    </owl:Class>
    <owl:Class rdf:ID="u">
      <owl:unionOf rdf:parseType="Collection">
         <rdf:Description rdf:nodeID="B"/>
         <owl:Class rdf:ID="A"/>
      </owl:unionOf>
    </owl:Class>

</rdf:RDF>
Imported ontologies none

OWL EL Report (Informative)

Ontology violates the OWL EL constraints in at least the following:

OWL QL Report (Informative)

Ontology violates the OWL QL constraints in at least the following:

OWL RL Report (Informative)

Ontology violates the OWL RL constraints in at least the following:

Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox