previous
next
top contents index
These tests are OWL Lite versions of the tests from the previous sections.
The OWL DL constructions owl:unionOf, owl:complementOf,
owl:disjointWith have been systematically replaced with OWL Lite
equivalents.
| Lite Full | Inconsistent document. | 602 |
|---|
Description:
(informative)
<description-logic/Manifest602#test>
|
| DL Test: fact2.1 |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent602>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent602">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#d.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</rdfs:subClassOf>
<rdfs:subClassOf rdf:resource="http://oiled.man.example.net/test#d.comp"/>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#d">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#c">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#c"/>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:ID="A.2">
<rdfs:subClassOf rdf:resource="http://oiled.man.example.net/test#d"/>
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#c"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent602> rdf:type owl:Ontology .
oiled:d.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:a owl:onProperty first:P.1 .
_:a owl:minCardinality "1"^^xsd:int .
oiled:d.comp owl:equivalentClass _:a .
oiled:Unsatisfiable rdf:type owl:Class .
oiled:c rdf:type owl:Class .
oiled:Unsatisfiable rdfs:subClassOf oiled:c .
oiled:Unsatisfiable rdfs:subClassOf oiled:d.comp .
oiled:d rdf:type owl:Class .
_:c rdf:type owl:Restriction .
_:c owl:onProperty first:P.1 .
_:c owl:maxCardinality "0"^^xsd:int .
oiled:d owl:equivalentClass _:c .
oiled:c rdf:type owl:Class .
_:e rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:e owl:onProperty oiled:r .
_:e owl:allValuesFrom oiled:c .
oiled:c rdfs:subClassOf _:e .
first:A.2 rdf:type owl:Class .
first:A.2 rdfs:subClassOf oiled:d .
_:g rdf:type owl:Restriction .
_:g owl:onProperty oiled:r .
_:g owl:allValuesFrom oiled:c .
first:A.2 owl:equivalentClass _:g .
_:i rdf:type oiled:Unsatisfiable .
|
| Lite Full | Inconsistent document. | 603 |
|---|
Description:
(informative)
<description-logic/Manifest603#test>
|
| DL Test: fact3.1 |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent603>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent603">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f2"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#p1.comp"/>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f3"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f3">
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f2"/>
</rdfs:subPropertyOf>
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
</rdfs:subPropertyOf>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f2">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent603> rdf:type owl:Ontology .
oiled:p1.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:a owl:onProperty first:P.1 .
_:a owl:minCardinality "1"^^xsd:int .
oiled:p1.comp owl:equivalentClass _:a .
oiled:Unsatisfiable rdf:type owl:Class .
_:c rdf:type owl:Restriction .
oiled:f1 rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:f1 .
oiled:p1 rdf:type owl:Class .
_:c owl:someValuesFrom oiled:p1 .
_:e rdf:type owl:Restriction .
oiled:f2 rdf:type owl:ObjectProperty .
_:e owl:onProperty oiled:f2 .
_:e owl:someValuesFrom oiled:p1.comp .
_:g rdf:type owl:Restriction .
oiled:f3 rdf:type owl:ObjectProperty .
_:g owl:onProperty oiled:f3 .
oiled:p2 rdf:type owl:Class .
_:g owl:someValuesFrom oiled:p2 .
_:i rdf:first _:g .
_:i rdf:rest rdf:nil .
_:k rdf:first _:e .
_:k rdf:rest _:i .
_:m rdf:first _:c .
_:m rdf:rest _:k .
oiled:Unsatisfiable owl:intersectionOf _:m .
oiled:p1 rdf:type owl:Class .
_:o rdf:type owl:Restriction .
_:o owl:onProperty first:P.1 .
_:o owl:maxCardinality "0"^^xsd:int .
oiled:p1 owl:equivalentClass _:o .
oiled:f3 rdf:type owl:ObjectProperty .
oiled:f2 rdf:type owl:ObjectProperty .
oiled:f3 rdfs:subPropertyOf oiled:f2 .
oiled:f1 rdf:type owl:ObjectProperty .
oiled:f3 rdfs:subPropertyOf oiled:f1 .
oiled:f3 rdf:type owl:FunctionalProperty .
oiled:f2 rdf:type owl:ObjectProperty .
oiled:f2 rdf:type owl:FunctionalProperty .
oiled:f1 rdf:type owl:ObjectProperty .
oiled:f1 rdf:type owl:FunctionalProperty .
_:q rdf:type oiled:Unsatisfiable .
|
| Lite Full | Inconsistent document. | 604 |
|---|
Description:
(informative)
<description-logic/Manifest604#test>
|
| DL Test: fact4.1 |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent604>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent604">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c2"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c1"/>
<owl:Class rdf:ID="C.1.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="#A.2"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#C.1"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#c1"/>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx4"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#c2"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="C.1">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="A.2">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#c1"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c2"/>
</owl:intersectionOf>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx4">
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx2"/>
</rdfs:subPropertyOf>
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx"/>
</rdfs:subPropertyOf>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3">
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx1"/>
</rdfs:subPropertyOf>
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx"/>
</rdfs:subPropertyOf>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rxa"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx1a"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx2a"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3a">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx1a"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rxa"/>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx4a">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx2a"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rxa"/>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent604> rdf:type owl:Ontology .
oiled:c2 rdf:type owl:Class .
oiled:c1 rdf:type owl:Class .
first:C.1.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:a owl:onProperty first:P.1 .
_:a owl:maxCardinality "0"^^xsd:int .
first:C.1.comp owl:equivalentClass _:a .
_:c rdf:type owl:Restriction .
oiled:rx3 rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:rx3 .
first:A.2 rdf:type owl:Class .
_:c owl:someValuesFrom first:A.2 .
first:C.1.comp owl:equivalentClass _:c .
oiled:Unsatisfiable rdf:type owl:Class .
first:C.1 rdf:type owl:Class .
_:e rdf:type owl:Restriction .
oiled:rx3 rdf:type owl:ObjectProperty .
_:e owl:onProperty oiled:rx3 .
_:e owl:someValuesFrom oiled:c1 .
_:g rdf:type owl:Restriction .
oiled:rx4 rdf:type owl:ObjectProperty .
_:g owl:onProperty oiled:rx4 .
_:g owl:someValuesFrom oiled:c2 .
_:i rdf:first _:g .
_:i rdf:rest rdf:nil .
_:k rdf:first _:e .
_:k rdf:rest _:i .
_:m rdf:first first:C.1 .
_:m rdf:rest _:k .
oiled:Unsatisfiable owl:intersectionOf _:m .
first:C.1 rdf:type owl:Class .
_:o rdf:type owl:Restriction .
_:o owl:onProperty first:P.1 .
_:o owl:minCardinality "1"^^xsd:int .
first:C.1 owl:equivalentClass _:o .
first:A.2 rdf:type owl:Class .
oiled:c1 rdf:type owl:Class .
oiled:c2 rdf:type owl:Class .
_:q rdf:first oiled:c2 .
_:q rdf:rest rdf:nil .
_:s rdf:first oiled:c1 .
_:s rdf:rest _:q .
first:A.2 owl:intersectionOf _:s .
oiled:rx4 rdf:type owl:ObjectProperty .
oiled:rx2 rdf:type owl:ObjectProperty .
oiled:rx4 rdfs:subPropertyOf oiled:rx2 .
oiled:rx rdf:type owl:ObjectProperty .
oiled:rx4 rdfs:subPropertyOf oiled:rx .
oiled:rx4 rdf:type owl:FunctionalProperty .
oiled:rx3 rdf:type owl:ObjectProperty .
oiled:rx1 rdf:type owl:ObjectProperty .
oiled:rx3 rdfs:subPropertyOf oiled:rx1 .
oiled:rx rdf:type owl:ObjectProperty .
oiled:rx3 rdfs:subPropertyOf oiled:rx .
oiled:rx3 rdf:type owl:FunctionalProperty .
oiled:rxa rdf:type owl:ObjectProperty .
oiled:rx rdf:type owl:ObjectProperty .
oiled:rx rdf:type owl:FunctionalProperty .
oiled:rx1a rdf:type owl:ObjectProperty .
oiled:rx2a rdf:type owl:ObjectProperty .
oiled:rx3a rdf:type owl:ObjectProperty .
oiled:rx3a rdfs:subPropertyOf oiled:rx1a .
oiled:rx3a rdfs:subPropertyOf oiled:rxa .
oiled:rx3a rdf:type owl:FunctionalProperty .
oiled:rx4a rdf:type owl:ObjectProperty .
oiled:rx4a rdfs:subPropertyOf oiled:rx2a .
oiled:rx4a rdfs:subPropertyOf oiled:rxa .
oiled:rx4a rdf:type owl:FunctionalProperty .
_:u rdf:type oiled:Unsatisfiable .
|
| Lite Full | Consistent document. | 605 |
|---|
Description:
(informative)
<description-logic/Manifest605#test>
|
| DL Test: fact4.2 |
| N3 format is informative. |
| Lite | Consistent:
<description-logic/consistent605>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent605">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c2"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#C.1"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3a"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#c1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx4a"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#c2"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="C.1">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="A.2">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#c1"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c2"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="C.1.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3a"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="#A.2"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx4">
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx2"/>
</rdfs:subPropertyOf>
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx"/>
</rdfs:subPropertyOf>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3">
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx1"/>
</rdfs:subPropertyOf>
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx"/>
</rdfs:subPropertyOf>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rxa"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx1a"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx2a"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3a">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx1a"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rxa"/>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx4a">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx2a"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rxa"/>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<oiled:Satisfiable/>
</rdf:RDF> |
<description-logic/consistent605> rdf:type owl:Ontology .
oiled:c2 rdf:type owl:Class .
oiled:Satisfiable rdf:type owl:Class .
first:C.1 rdf:type owl:Class .
_:a rdf:type owl:Restriction .
oiled:rx3a rdf:type owl:ObjectProperty .
_:a owl:onProperty oiled:rx3a .
oiled:c1 rdf:type owl:Class .
_:a owl:someValuesFrom oiled:c1 .
_:c rdf:type owl:Restriction .
oiled:rx4a rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:rx4a .
_:c owl:someValuesFrom oiled:c2 .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:g rdf:first _:a .
_:g rdf:rest _:e .
_:i rdf:first first:C.1 .
_:i rdf:rest _:g .
oiled:Satisfiable owl:intersectionOf _:i .
first:C.1 rdf:type owl:Class .
_:k rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:k owl:onProperty first:P.1 .
_:k owl:minCardinality "1"^^xsd:int .
first:C.1 owl:equivalentClass _:k .
first:A.2 rdf:type owl:Class .
oiled:c1 rdf:type owl:Class .
oiled:c2 rdf:type owl:Class .
_:m rdf:first oiled:c2 .
_:m rdf:rest rdf:nil .
_:o rdf:first oiled:c1 .
_:o rdf:rest _:m .
first:A.2 owl:intersectionOf _:o .
first:C.1.comp rdf:type owl:Class .
_:q rdf:type owl:Restriction .
_:q owl:onProperty first:P.1 .
_:q owl:maxCardinality "0"^^xsd:int .
first:C.1.comp owl:equivalentClass _:q .
_:s rdf:type owl:Restriction .
oiled:rx3a rdf:type owl:ObjectProperty .
_:s owl:onProperty oiled:rx3a .
_:s owl:someValuesFrom first:A.2 .
first:C.1.comp owl:equivalentClass _:s .
oiled:rx4 rdf:type owl:ObjectProperty .
oiled:rx2 rdf:type owl:ObjectProperty .
oiled:rx4 rdfs:subPropertyOf oiled:rx2 .
oiled:rx rdf:type owl:ObjectProperty .
oiled:rx4 rdfs:subPropertyOf oiled:rx .
oiled:rx4 rdf:type owl:FunctionalProperty .
oiled:rx3 rdf:type owl:ObjectProperty .
oiled:rx1 rdf:type owl:ObjectProperty .
oiled:rx3 rdfs:subPropertyOf oiled:rx1 .
oiled:rx rdf:type owl:ObjectProperty .
oiled:rx3 rdfs:subPropertyOf oiled:rx .
oiled:rx3 rdf:type owl:FunctionalProperty .
oiled:rxa rdf:type owl:ObjectProperty .
oiled:rx rdf:type owl:ObjectProperty .
oiled:rx rdf:type owl:FunctionalProperty .
oiled:rx1a rdf:type owl:ObjectProperty .
oiled:rx2a rdf:type owl:ObjectProperty .
oiled:rx3a rdf:type owl:ObjectProperty .
oiled:rx3a rdfs:subPropertyOf oiled:rx1a .
oiled:rx3a rdfs:subPropertyOf oiled:rxa .
oiled:rx3a rdf:type owl:FunctionalProperty .
oiled:rx4a rdf:type owl:ObjectProperty .
oiled:rx4a rdfs:subPropertyOf oiled:rx2a .
oiled:rx4a rdfs:subPropertyOf oiled:rxa .
oiled:rx4a rdf:type owl:FunctionalProperty .
_:u rdf:type oiled:Satisfiable .
|
| Lite Full | Consistent document. | 606 |
|---|
Description:
(informative)
<description-logic/Manifest606#test>
|
| DL Test: t1.1 |
| N3 format is informative. |
| Lite | Consistent:
<description-logic/consistent606>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent606">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.5"/>
</owl:onProperty>
<owl:cardinality rdf:datatype="/2001/XMLSchema#decimal"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="P.6"/>
</owl:onProperty>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#byte"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.7"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#integer"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="P.4"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="C.1.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="C.2.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="P.2"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#short"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="C.3.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.3"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#unsignedByte"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="#A.14"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="A.14">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="C.3">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.3"/>
<owl:cardinality rdf:datatype="/2001/XMLSchema#unsignedByte"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p4.comp"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5.comp"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="C.2">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.2"/>
<owl:cardinality rdf:datatype="/2001/XMLSchema#short"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p3.comp"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4.comp"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5.comp"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="C.1">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2.comp"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3.comp"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4.comp"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5.comp"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.4"/>
<owl:cardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4">
<rdfs:subClassOf rdf:resource="http://oiled.man.example.net/test#p5.comp"/>
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.7"/>
<owl:cardinality rdf:datatype="/2001/XMLSchema#integer"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3">
<rdfs:subClassOf rdf:resource="#C.3"/>
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.6"/>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#byte"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2">
<rdfs:subClassOf rdf:resource="#C.2"/>
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.5"/>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#decimal"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<rdfs:subClassOf rdf:resource="#C.1"/>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<oiled:Satisfiable/>
</rdf:RDF> |
<description-logic/consistent606> rdf:type owl:Ontology .
oiled:p2.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.5 rdf:type owl:DatatypeProperty .
_:a owl:onProperty first:P.5 .
_:a owl:cardinality "0"^^xsd:decimal .
oiled:p2.comp owl:equivalentClass _:a .
oiled:p3.comp rdf:type owl:Class .
_:c rdf:type owl:Restriction .
first:P.6 rdf:type owl:ObjectProperty .
_:c owl:onProperty first:P.6 .
_:c owl:maxCardinality "0"^^xsd:byte .
oiled:p3.comp owl:equivalentClass _:c .
oiled:p4.comp rdf:type owl:Class .
_:e rdf:type owl:Restriction .
first:P.7 rdf:type owl:DatatypeProperty .
_:e owl:onProperty first:P.7 .
_:e owl:minCardinality "1"^^xsd:integer .
oiled:p4.comp owl:equivalentClass _:e .
oiled:p5.comp rdf:type owl:Class .
_:g rdf:type owl:Restriction .
first:P.4 rdf:type owl:ObjectProperty .
_:g owl:onProperty first:P.4 .
_:g owl:minCardinality "1"^^xsd:nonNegativeInteger .
oiled:p5.comp owl:equivalentClass _:g .
first:C.1.comp rdf:type owl:Class .
_:i rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:i owl:onProperty first:P.1 .
_:i owl:maxCardinality "0"^^xsd:int .
first:C.1.comp owl:equivalentClass _:i .
first:C.2.comp rdf:type owl:Class .
_:k rdf:type owl:Restriction .
first:P.2 rdf:type owl:ObjectProperty .
_:k owl:onProperty first:P.2 .
_:k owl:minCardinality "1"^^xsd:short .
first:C.2.comp owl:equivalentClass _:k .
first:C.3.comp rdf:type owl:Class .
_:m rdf:type owl:Restriction .
first:P.3 rdf:type owl:DatatypeProperty .
_:m owl:onProperty first:P.3 .
_:m owl:minCardinality "1"^^xsd:unsignedByte .
first:C.3.comp owl:equivalentClass _:m .
oiled:Satisfiable rdf:type owl:Class .
_:o rdf:type owl:Restriction .
oiled:invR rdf:type owl:ObjectProperty .
_:o owl:onProperty oiled:invR .
first:A.14 rdf:type owl:Class .
_:o owl:someValuesFrom first:A.14 .
oiled:Satisfiable owl:equivalentClass _:o .
first:A.14 rdf:type owl:Class .
_:q rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:q owl:onProperty oiled:r .
oiled:p1 rdf:type owl:Class .
_:q owl:someValuesFrom oiled:p1 .
_:s rdf:type owl:Restriction .
_:s owl:onProperty oiled:r .
_:s owl:maxCardinality "1"^^xsd:nonNegativeInteger .
_:u rdf:first _:s .
_:u rdf:rest rdf:nil .
_:w rdf:first _:q .
_:w rdf:rest _:u .
first:A.14 owl:intersectionOf _:w .
first:C.3 rdf:type owl:Class .
_:y rdf:type owl:Restriction .
_:y owl:onProperty first:P.3 .
_:y owl:cardinality "0"^^xsd:unsignedByte .
first:C.3 owl:equivalentClass _:y .
oiled:p4.comp rdf:type owl:Class .
oiled:p5.comp rdf:type owl:Class .
_:a1 rdf:first oiled:p5.comp .
_:a1 rdf:rest rdf:nil .
_:c1 rdf:first oiled:p4.comp .
_:c1 rdf:rest _:a1 .
first:C.3 owl:intersectionOf _:c1 .
first:C.2 rdf:type owl:Class .
_:e1 rdf:type owl:Restriction .
_:e1 owl:onProperty first:P.2 .
_:e1 owl:cardinality "0"^^xsd:short .
first:C.2 owl:equivalentClass _:e1 .
oiled:p3.comp rdf:type owl:Class .
oiled:p4.comp rdf:type owl:Class .
oiled:p5.comp rdf:type owl:Class .
_:g1 rdf:first oiled:p5.comp .
_:g1 rdf:rest rdf:nil .
_:i1 rdf:first oiled:p4.comp .
_:i1 rdf:rest _:g1 .
_:k1 rdf:first oiled:p3.comp .
_:k1 rdf:rest _:i1 .
first:C.2 owl:intersectionOf _:k1 .
first:C.1 rdf:type owl:Class .
_:m1 rdf:type owl:Restriction .
_:m1 owl:onProperty first:P.1 .
_:m1 owl:minCardinality "1"^^xsd:int .
first:C.1 owl:equivalentClass _:m1 .
oiled:p2.comp rdf:type owl:Class .
oiled:p3.comp rdf:type owl:Class .
oiled:p4.comp rdf:type owl:Class .
oiled:p5.comp rdf:type owl:Class .
_:o1 rdf:first oiled:p5.comp .
_:o1 rdf:rest rdf:nil .
_:q1 rdf:first oiled:p4.comp .
_:q1 rdf:rest _:o1 .
_:s1 rdf:first oiled:p3.comp .
_:s1 rdf:rest _:q1 .
_:u1 rdf:first oiled:p2.comp .
_:u1 rdf:rest _:s1 .
first:C.1 owl:intersectionOf _:u1 .
oiled:p5 rdf:type owl:Class .
_:w1 rdf:type owl:Restriction .
_:w1 owl:onProperty first:P.4 .
_:w1 owl:cardinality "0"^^xsd:nonNegativeInteger .
oiled:p5 owl:equivalentClass _:w1 .
oiled:p4 rdf:type owl:Class .
oiled:p4 rdfs:subClassOf oiled:p5.comp .
_:y1 rdf:type owl:Restriction .
_:y1 owl:onProperty first:P.7 .
_:y1 owl:cardinality "0"^^xsd:integer .
oiled:p4 owl:equivalentClass _:y1 .
oiled:p3 rdf:type owl:Class .
oiled:p3 rdfs:subClassOf first:C.3 .
_:a2 rdf:type owl:Restriction .
_:a2 owl:onProperty first:P.6 .
_:a2 owl:minCardinality "1"^^xsd:byte .
oiled:p3 owl:equivalentClass _:a2 .
oiled:p2 rdf:type owl:Class .
oiled:p2 rdfs:subClassOf first:C.2 .
_:c2 rdf:type owl:Restriction .
_:c2 owl:onProperty first:P.5 .
_:c2 owl:minCardinality "1"^^xsd:decimal .
oiled:p2 owl:equivalentClass _:c2 .
oiled:p1 rdf:type owl:Class .
oiled:p1 rdfs:subClassOf first:C.1 .
oiled:invR rdf:type owl:ObjectProperty .
oiled:invR owl:inverseOf oiled:r .
_:e2 rdf:type oiled:Satisfiable .
|
| Lite Full | Inconsistent document. | 608 |
|---|
Description:
(informative)
<description-logic/Manifest608#test>
|
| DL Test: t1.3 |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent608>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent608">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.5"/>
</owl:onProperty>
<owl:cardinality rdf:datatype="/2001/XMLSchema#decimal"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="P.6"/>
</owl:onProperty>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#byte"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.7"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#integer"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="P.4"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="C.1.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="C.2.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="P.2"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#short"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="#A.14"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="C.3.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.3"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#unsignedByte"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="A.14">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="C.3">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.3"/>
<owl:cardinality rdf:datatype="/2001/XMLSchema#unsignedByte"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p4.comp"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5.comp"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="C.2">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.2"/>
<owl:cardinality rdf:datatype="/2001/XMLSchema#short"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p3.comp"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4.comp"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5.comp"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="C.1">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p2.comp"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3.comp"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4.comp"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5.comp"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p5">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.4"/>
<owl:cardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p4">
<rdfs:subClassOf rdf:resource="http://oiled.man.example.net/test#p5.comp"/>
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.7"/>
<owl:cardinality rdf:datatype="/2001/XMLSchema#integer"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p3">
<rdfs:subClassOf rdf:resource="#C.3"/>
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.6"/>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#byte"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2">
<rdfs:subClassOf rdf:resource="#C.2"/>
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.5"/>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#decimal"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<rdfs:subClassOf rdf:resource="#C.1"/>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent608> rdf:type owl:Ontology .
oiled:p2.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.5 rdf:type owl:DatatypeProperty .
_:a owl:onProperty first:P.5 .
_:a owl:cardinality "0"^^xsd:decimal .
oiled:p2.comp owl:equivalentClass _:a .
oiled:p3.comp rdf:type owl:Class .
_:c rdf:type owl:Restriction .
first:P.6 rdf:type owl:ObjectProperty .
_:c owl:onProperty first:P.6 .
_:c owl:maxCardinality "0"^^xsd:byte .
oiled:p3.comp owl:equivalentClass _:c .
oiled:p4.comp rdf:type owl:Class .
_:e rdf:type owl:Restriction .
first:P.7 rdf:type owl:DatatypeProperty .
_:e owl:onProperty first:P.7 .
_:e owl:minCardinality "1"^^xsd:integer .
oiled:p4.comp owl:equivalentClass _:e .
oiled:p5.comp rdf:type owl:Class .
_:g rdf:type owl:Restriction .
first:P.4 rdf:type owl:ObjectProperty .
_:g owl:onProperty first:P.4 .
_:g owl:minCardinality "1"^^xsd:nonNegativeInteger .
oiled:p5.comp owl:equivalentClass _:g .
first:C.1.comp rdf:type owl:Class .
_:i rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:i owl:onProperty first:P.1 .
_:i owl:maxCardinality "0"^^xsd:int .
first:C.1.comp owl:equivalentClass _:i .
first:C.2.comp rdf:type owl:Class .
_:k rdf:type owl:Restriction .
first:P.2 rdf:type owl:ObjectProperty .
_:k owl:onProperty first:P.2 .
_:k owl:minCardinality "1"^^xsd:short .
first:C.2.comp owl:equivalentClass _:k .
oiled:Unsatisfiable rdf:type owl:Class .
oiled:p2 rdf:type owl:Class .
_:m rdf:type owl:Restriction .
oiled:invR rdf:type owl:ObjectProperty .
_:m owl:onProperty oiled:invR .
first:A.14 rdf:type owl:Class .
_:m owl:someValuesFrom first:A.14 .
_:o rdf:first _:m .
_:o rdf:rest rdf:nil .
_:q rdf:first oiled:p2 .
_:q rdf:rest _:o .
oiled:Unsatisfiable owl:intersectionOf _:q .
first:C.3.comp rdf:type owl:Class .
_:s rdf:type owl:Restriction .
first:P.3 rdf:type owl:DatatypeProperty .
_:s owl:onProperty first:P.3 .
_:s owl:minCardinality "1"^^xsd:unsignedByte .
first:C.3.comp owl:equivalentClass _:s .
first:A.14 rdf:type owl:Class .
_:u rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:u owl:onProperty oiled:r .
oiled:p1 rdf:type owl:Class .
_:u owl:someValuesFrom oiled:p1 .
_:w rdf:type owl:Restriction .
_:w owl:onProperty oiled:r .
_:w owl:maxCardinality "1"^^xsd:nonNegativeInteger .
_:y rdf:first _:w .
_:y rdf:rest rdf:nil .
_:a1 rdf:first _:u .
_:a1 rdf:rest _:y .
first:A.14 owl:intersectionOf _:a1 .
first:C.3 rdf:type owl:Class .
_:c1 rdf:type owl:Restriction .
_:c1 owl:onProperty first:P.3 .
_:c1 owl:cardinality "0"^^xsd:unsignedByte .
first:C.3 owl:equivalentClass _:c1 .
oiled:p4.comp rdf:type owl:Class .
oiled:p5.comp rdf:type owl:Class .
_:e1 rdf:first oiled:p5.comp .
_:e1 rdf:rest rdf:nil .
_:g1 rdf:first oiled:p4.comp .
_:g1 rdf:rest _:e1 .
first:C.3 owl:intersectionOf _:g1 .
first:C.2 rdf:type owl:Class .
_:i1 rdf:type owl:Restriction .
_:i1 owl:onProperty first:P.2 .
_:i1 owl:cardinality "0"^^xsd:short .
first:C.2 owl:equivalentClass _:i1 .
oiled:p3.comp rdf:type owl:Class .
oiled:p4.comp rdf:type owl:Class .
oiled:p5.comp rdf:type owl:Class .
_:k1 rdf:first oiled:p5.comp .
_:k1 rdf:rest rdf:nil .
_:m1 rdf:first oiled:p4.comp .
_:m1 rdf:rest _:k1 .
_:o1 rdf:first oiled:p3.comp .
_:o1 rdf:rest _:m1 .
first:C.2 owl:intersectionOf _:o1 .
first:C.1 rdf:type owl:Class .
_:q1 rdf:type owl:Restriction .
_:q1 owl:onProperty first:P.1 .
_:q1 owl:minCardinality "1"^^xsd:int .
first:C.1 owl:equivalentClass _:q1 .
oiled:p2.comp rdf:type owl:Class .
oiled:p3.comp rdf:type owl:Class .
oiled:p4.comp rdf:type owl:Class .
oiled:p5.comp rdf:type owl:Class .
_:s1 rdf:first oiled:p5.comp .
_:s1 rdf:rest rdf:nil .
_:u1 rdf:first oiled:p4.comp .
_:u1 rdf:rest _:s1 .
_:w1 rdf:first oiled:p3.comp .
_:w1 rdf:rest _:u1 .
_:y1 rdf:first oiled:p2.comp .
_:y1 rdf:rest _:w1 .
first:C.1 owl:intersectionOf _:y1 .
oiled:p5 rdf:type owl:Class .
_:a2 rdf:type owl:Restriction .
_:a2 owl:onProperty first:P.4 .
_:a2 owl:cardinality "0"^^xsd:nonNegativeInteger .
oiled:p5 owl:equivalentClass _:a2 .
oiled:p4 rdf:type owl:Class .
oiled:p4 rdfs:subClassOf oiled:p5.comp .
_:c2 rdf:type owl:Restriction .
_:c2 owl:onProperty first:P.7 .
_:c2 owl:cardinality "0"^^xsd:integer .
oiled:p4 owl:equivalentClass _:c2 .
oiled:p3 rdf:type owl:Class .
oiled:p3 rdfs:subClassOf first:C.3 .
_:e2 rdf:type owl:Restriction .
_:e2 owl:onProperty first:P.6 .
_:e2 owl:minCardinality "1"^^xsd:byte .
oiled:p3 owl:equivalentClass _:e2 .
oiled:p2 rdf:type owl:Class .
oiled:p2 rdfs:subClassOf first:C.2 .
_:g2 rdf:type owl:Restriction .
_:g2 owl:onProperty first:P.5 .
_:g2 owl:minCardinality "1"^^xsd:decimal .
oiled:p2 owl:equivalentClass _:g2 .
oiled:p1 rdf:type owl:Class .
oiled:p1 rdfs:subClassOf first:C.1 .
oiled:invR rdf:type owl:ObjectProperty .
oiled:invR owl:inverseOf oiled:r .
_:i2 rdf:type oiled:Unsatisfiable .
|
| Lite Full | Consistent document. | 609 |
|---|
Description:
(informative)
<description-logic/Manifest609#test>
|
| DL Test: t10.1 |
| N3 format is informative. |
| Lite | Consistent:
<description-logic/consistent609>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent609">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p.comp"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF1">
<owl:inverseOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
</owl:inverseOf>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/>
</owl:ObjectProperty>
<oiled:Satisfiable/>
</rdf:RDF> |
<description-logic/consistent609> rdf:type owl:Ontology .
oiled:Satisfiable rdf:type owl:Class .
_:a rdf:type owl:Restriction .
oiled:f rdf:type owl:ObjectProperty .
_:a owl:onProperty oiled:f .
oiled:p rdf:type owl:Class .
_:a owl:someValuesFrom oiled:p .
_:c rdf:type owl:Restriction .
oiled:f1 rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:f1 .
oiled:p.comp rdf:type owl:Class .
_:c owl:someValuesFrom oiled:p.comp .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:g rdf:first _:a .
_:g rdf:rest _:e .
oiled:Satisfiable owl:intersectionOf _:g .
oiled:p.comp rdf:type owl:Class .
_:i rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:i owl:onProperty first:P.1 .
_:i owl:minCardinality "1"^^xsd:int .
oiled:p.comp owl:equivalentClass _:i .
oiled:p rdf:type owl:Class .
_:k rdf:type owl:Restriction .
_:k owl:onProperty first:P.1 .
_:k owl:maxCardinality "0"^^xsd:int .
oiled:p owl:equivalentClass _:k .
oiled:invF1 rdf:type owl:ObjectProperty .
oiled:f1 rdf:type owl:ObjectProperty .
oiled:invF1 owl:inverseOf oiled:f1 .
oiled:f1 rdf:type owl:ObjectProperty .
oiled:f1 rdf:type owl:FunctionalProperty .
oiled:f rdf:type owl:ObjectProperty .
oiled:f rdf:type owl:FunctionalProperty .
oiled:invF rdf:type owl:ObjectProperty .
oiled:invF owl:inverseOf oiled:f .
oiled:s rdf:type owl:ObjectProperty .
oiled:s rdfs:subPropertyOf oiled:f .
oiled:s rdfs:subPropertyOf oiled:f1 .
oiled:s rdf:type owl:FunctionalProperty .
oiled:invS rdf:type owl:ObjectProperty .
oiled:invS owl:inverseOf oiled:s .
_:m rdf:type oiled:Satisfiable .
|
| Lite Full | Inconsistent document. | 610 |
|---|
Description:
(informative)
<description-logic/Manifest610#test>
|
| DL Test: t10.2 |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent610>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent610">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:ID="A.2">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:allValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="#V.3"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p.comp"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="#A.2"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="V.3">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF1">
<owl:inverseOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
</owl:inverseOf>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/>
</owl:ObjectProperty>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent610> rdf:type owl:Ontology .
first:A.2 rdf:type owl:Class .
_:a rdf:type owl:Restriction .
oiled:invS rdf:type owl:ObjectProperty .
_:a owl:onProperty oiled:invS .
oiled:p rdf:type owl:Class .
_:a owl:allValuesFrom oiled:p .
_:c rdf:type owl:Restriction .
oiled:invF rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:invF .
first:V.3 rdf:type owl:Class .
_:c owl:allValuesFrom first:V.3 .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:g rdf:first _:a .
_:g rdf:rest _:e .
first:A.2 owl:intersectionOf _:g .
oiled:p.comp rdf:type owl:Class .
_:i rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:i owl:onProperty first:P.1 .
_:i owl:minCardinality "1"^^xsd:int .
oiled:p.comp owl:equivalentClass _:i .
oiled:Unsatisfiable rdf:type owl:Class .
oiled:p.comp rdf:type owl:Class .
_:k rdf:type owl:Restriction .
oiled:f rdf:type owl:ObjectProperty .
_:k owl:onProperty oiled:f .
_:k owl:someValuesFrom first:A.2 .
_:m rdf:first _:k .
_:m rdf:rest rdf:nil .
_:o rdf:first oiled:p.comp .
_:o rdf:rest _:m .
oiled:Unsatisfiable owl:intersectionOf _:o .
first:V.3 rdf:type owl:Class .
_:q rdf:type owl:Restriction .
oiled:s rdf:type owl:ObjectProperty .
_:q owl:onProperty oiled:s .
oiled:p rdf:type owl:Class .
_:q owl:someValuesFrom oiled:p .
first:V.3 owl:equivalentClass _:q .
oiled:p rdf:type owl:Class .
_:s rdf:type owl:Restriction .
_:s owl:onProperty first:P.1 .
_:s owl:maxCardinality "0"^^xsd:int .
oiled:p owl:equivalentClass _:s .
oiled:invF1 rdf:type owl:ObjectProperty .
oiled:f1 rdf:type owl:ObjectProperty .
oiled:invF1 owl:inverseOf oiled:f1 .
oiled:f1 rdf:type owl:ObjectProperty .
oiled:f1 rdf:type owl:FunctionalProperty .
oiled:f rdf:type owl:ObjectProperty .
oiled:f rdf:type owl:FunctionalProperty .
oiled:invF rdf:type owl:ObjectProperty .
oiled:invF owl:inverseOf oiled:f .
oiled:s rdf:type owl:ObjectProperty .
oiled:s rdfs:subPropertyOf oiled:f .
oiled:s rdfs:subPropertyOf oiled:f1 .
oiled:s rdf:type owl:FunctionalProperty .
oiled:invS rdf:type owl:ObjectProperty .
oiled:invS owl:inverseOf oiled:s .
_:u rdf:type oiled:Unsatisfiable .
|
| Lite Full | Inconsistent document. | 611 |
|---|
Description:
(informative)
<description-logic/Manifest611#test>
|
| DL Test: t10.3 |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent611>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent611">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:ID="A.2">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s"/>
</owl:onProperty>
<owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#p.comp"/>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="#A.2"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF1">
<owl:inverseOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
</owl:inverseOf>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/>
</owl:ObjectProperty>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent611> rdf:type owl:Ontology .
first:A.2 rdf:type owl:Class .
oiled:p rdf:type owl:Class .
_:a rdf:type owl:Restriction .
oiled:invS rdf:type owl:ObjectProperty .
_:a owl:onProperty oiled:invS .
oiled:p rdf:type owl:Class .
_:a owl:someValuesFrom oiled:p .
_:c rdf:first _:a .
_:c rdf:rest rdf:nil .
_:e rdf:first oiled:p .
_:e rdf:rest _:c .
first:A.2 owl:intersectionOf _:e .
oiled:p.comp rdf:type owl:Class .
_:g rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:g owl:onProperty first:P.1 .
_:g owl:minCardinality "1"^^xsd:int .
oiled:p.comp owl:equivalentClass _:g .
oiled:Unsatisfiable rdf:type owl:Class .
_:i rdf:type owl:Restriction .
oiled:s rdf:type owl:ObjectProperty .
_:i owl:onProperty oiled:s .
_:i owl:allValuesFrom oiled:p.comp .
_:k rdf:type owl:Restriction .
oiled:s rdf:type owl:ObjectProperty .
_:k owl:onProperty oiled:s .
_:k owl:someValuesFrom first:A.2 .
_:m rdf:first _:k .
_:m rdf:rest rdf:nil .
_:o rdf:first _:i .
_:o rdf:rest _:m .
oiled:Unsatisfiable owl:intersectionOf _:o .
oiled:p rdf:type owl:Class .
_:q rdf:type owl:Restriction .
_:q owl:onProperty first:P.1 .
_:q owl:maxCardinality "0"^^xsd:int .
oiled:p owl:equivalentClass _:q .
oiled:invF1 rdf:type owl:ObjectProperty .
oiled:f1 rdf:type owl:ObjectProperty .
oiled:invF1 owl:inverseOf oiled:f1 .
oiled:f1 rdf:type owl:ObjectProperty .
oiled:f1 rdf:type owl:FunctionalProperty .
oiled:f rdf:type owl:ObjectProperty .
oiled:f rdf:type owl:FunctionalProperty .
oiled:invF rdf:type owl:ObjectProperty .
oiled:invF owl:inverseOf oiled:f .
oiled:s rdf:type owl:ObjectProperty .
oiled:s rdfs:subPropertyOf oiled:f .
oiled:s rdfs:subPropertyOf oiled:f1 .
oiled:s rdf:type owl:FunctionalProperty .
oiled:invS rdf:type owl:ObjectProperty .
oiled:invS owl:inverseOf oiled:s .
_:s rdf:type oiled:Unsatisfiable .
|
| Lite Full | Inconsistent document. | 612 |
|---|
Description:
(informative)
<description-logic/Manifest612#test>
|
| DL Test: t10.4 |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent612>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent612">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#p.comp"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF1">
<owl:inverseOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
</owl:inverseOf>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/>
</owl:ObjectProperty>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent612> rdf:type owl:Ontology .
oiled:p.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:a owl:onProperty first:P.1 .
_:a owl:minCardinality "1"^^xsd:int .
oiled:p.comp owl:equivalentClass _:a .
oiled:Unsatisfiable rdf:type owl:Class .
_:c rdf:type owl:Restriction .
oiled:f rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:f .
oiled:p rdf:type owl:Class .
_:c owl:someValuesFrom oiled:p .
_:e rdf:type owl:Restriction .
oiled:s rdf:type owl:ObjectProperty .
_:e owl:onProperty oiled:s .
owl:Thing rdf:type owl:Class .
_:e owl:someValuesFrom owl:Thing .
_:g rdf:type owl:Restriction .
oiled:f1 rdf:type owl:ObjectProperty .
_:g owl:onProperty oiled:f1 .
_:g owl:someValuesFrom oiled:p.comp .
_:i rdf:first _:g .
_:i rdf:rest rdf:nil .
_:k rdf:first _:e .
_:k rdf:rest _:i .
_:m rdf:first _:c .
_:m rdf:rest _:k .
oiled:Unsatisfiable owl:intersectionOf _:m .
oiled:p rdf:type owl:Class .
_:o rdf:type owl:Restriction .
_:o owl:onProperty first:P.1 .
_:o owl:maxCardinality "0"^^xsd:int .
oiled:p owl:equivalentClass _:o .
oiled:invF1 rdf:type owl:ObjectProperty .
oiled:f1 rdf:type owl:ObjectProperty .
oiled:invF1 owl:inverseOf oiled:f1 .
oiled:f1 rdf:type owl:ObjectProperty .
oiled:f1 rdf:type owl:FunctionalProperty .
oiled:f rdf:type owl:ObjectProperty .
oiled:f rdf:type owl:FunctionalProperty .
oiled:invF rdf:type owl:ObjectProperty .
oiled:invF owl:inverseOf oiled:f .
oiled:s rdf:type owl:ObjectProperty .
oiled:s rdfs:subPropertyOf oiled:f .
oiled:s rdfs:subPropertyOf oiled:f1 .
oiled:s rdf:type owl:FunctionalProperty .
oiled:invS rdf:type owl:ObjectProperty .
oiled:invS owl:inverseOf oiled:s .
_:q rdf:type oiled:Unsatisfiable .
|
| Lite Full | Inconsistent document. | 613 |
|---|
Description:
(informative)
<description-logic/Manifest613#test>
|
| DL Test: t10.5 |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent613>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent613">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.3">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="#A.2"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="A.2">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p.comp"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF1"/>
</owl:onProperty>
<owl:allValuesFrom rdf:resource="#V.3"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF1">
<owl:inverseOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
</owl:inverseOf>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/>
</owl:ObjectProperty>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent613> rdf:type owl:Ontology .
oiled:p.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:a owl:onProperty first:P.1 .
_:a owl:minCardinality "1"^^xsd:int .
oiled:p.comp owl:equivalentClass _:a .
first:V.3 rdf:type owl:Class .
_:c rdf:type owl:Restriction .
oiled:s rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:s .
owl:Thing rdf:type owl:Class .
_:c owl:someValuesFrom owl:Thing .
first:V.3 owl:equivalentClass _:c .
oiled:Unsatisfiable rdf:type owl:Class .
_:e rdf:type owl:Restriction .
oiled:f rdf:type owl:ObjectProperty .
_:e owl:onProperty oiled:f .
oiled:p rdf:type owl:Class .
_:e owl:someValuesFrom oiled:p .
_:g rdf:type owl:Restriction .
oiled:f1 rdf:type owl:ObjectProperty .
_:g owl:onProperty oiled:f1 .
first:A.2 rdf:type owl:Class .
_:g owl:someValuesFrom first:A.2 .
_:i rdf:first _:g .
_:i rdf:rest rdf:nil .
_:k rdf:first _:e .
_:k rdf:rest _:i .
oiled:Unsatisfiable owl:intersectionOf _:k .
oiled:p rdf:type owl:Class .
_:m rdf:type owl:Restriction .
_:m owl:onProperty first:P.1 .
_:m owl:maxCardinality "0"^^xsd:int .
oiled:p owl:equivalentClass _:m .
first:A.2 rdf:type owl:Class .
oiled:p.comp rdf:type owl:Class .
_:o rdf:type owl:Restriction .
oiled:invF1 rdf:type owl:ObjectProperty .
_:o owl:onProperty oiled:invF1 .
_:o owl:allValuesFrom first:V.3 .
_:q rdf:first _:o .
_:q rdf:rest rdf:nil .
_:s rdf:first oiled:p.comp .
_:s rdf:rest _:q .
first:A.2 owl:intersectionOf _:s .
oiled:invF1 rdf:type owl:ObjectProperty .
oiled:f1 rdf:type owl:ObjectProperty .
oiled:invF1 owl:inverseOf oiled:f1 .
oiled:f1 rdf:type owl:ObjectProperty .
oiled:f1 rdf:type owl:FunctionalProperty .
oiled:f rdf:type owl:ObjectProperty .
oiled:f rdf:type owl:FunctionalProperty .
oiled:invF rdf:type owl:ObjectProperty .
oiled:invF owl:inverseOf oiled:f .
oiled:s rdf:type owl:ObjectProperty .
oiled:s rdfs:subPropertyOf oiled:f .
oiled:s rdfs:subPropertyOf oiled:f1 .
oiled:s rdf:type owl:FunctionalProperty .
oiled:invS rdf:type owl:ObjectProperty .
oiled:invS owl:inverseOf oiled:s .
_:u rdf:type oiled:Unsatisfiable .
|
| Lite Full | Inconsistent document. | 614 |
|---|
Description:
(informative)
<description-logic/Manifest614#test>
|
| DL Test: t11.1 |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent614>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent614">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.2">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p.comp"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom rdf:resource="#V.2"/>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/>
</owl:ObjectProperty>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent614> rdf:type owl:Ontology .
oiled:p.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:a owl:onProperty first:P.1 .
_:a owl:minCardinality "1"^^xsd:int .
oiled:p.comp owl:equivalentClass _:a .
first:V.2 rdf:type owl:Class .
_:c rdf:type owl:Restriction .
oiled:invS rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:invS .
oiled:p rdf:type owl:Class .
_:c owl:allValuesFrom oiled:p .
first:V.2 owl:equivalentClass _:c .
oiled:Unsatisfiable rdf:type owl:Class .
oiled:p.comp rdf:type owl:Class .
_:e rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:e owl:onProperty oiled:r .
_:e owl:maxCardinality "1"^^xsd:nonNegativeInteger .
_:g rdf:type owl:Restriction .
_:g owl:onProperty oiled:r .
_:g owl:someValuesFrom first:V.2 .
_:i rdf:type owl:Restriction .
oiled:s rdf:type owl:ObjectProperty .
_:i owl:onProperty oiled:s .
oiled:p rdf:type owl:Class .
_:i owl:someValuesFrom oiled:p .
_:k rdf:first _:i .
_:k rdf:rest rdf:nil .
_:m rdf:first _:g .
_:m rdf:rest _:k .
_:o rdf:first _:e .
_:o rdf:rest _:m .
_:q rdf:first oiled:p.comp .
_:q rdf:rest _:o .
oiled:Unsatisfiable owl:intersectionOf _:q .
oiled:p rdf:type owl:Class .
_:s rdf:type owl:Restriction .
_:s owl:onProperty first:P.1 .
_:s owl:maxCardinality "0"^^xsd:int .
oiled:p owl:equivalentClass _:s .
oiled:s rdf:type owl:ObjectProperty .
oiled:s rdfs:subPropertyOf oiled:r .
oiled:invS rdf:type owl:ObjectProperty .
oiled:invS owl:inverseOf oiled:s .
_:u rdf:type oiled:Unsatisfiable .
|
| Lite Full | Inconsistent document. | 615 |
|---|
Description:
(informative)
<description-logic/Manifest615#test>
|
| DL Test: t12.1 |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent615>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent615">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#q.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="P.2"/>
</owl:onProperty>
<owl:cardinality rdf:datatype="/2001/XMLSchema#short"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.5">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/>
<owl:someValuesFrom>
<owl:Class rdf:about="#A.3"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="#A.4"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="A.4">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/>
</owl:onProperty>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="#V.5"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="A.3">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p.comp"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#q.comp"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#q">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.2"/>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#short"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent615> rdf:type owl:Ontology .
oiled:p.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:a owl:onProperty first:P.1 .
_:a owl:minCardinality "1"^^xsd:int .
oiled:p.comp owl:equivalentClass _:a .
oiled:q.comp rdf:type owl:Class .
_:c rdf:type owl:Restriction .
first:P.2 rdf:type owl:ObjectProperty .
_:c owl:onProperty first:P.2 .
_:c owl:cardinality "0"^^xsd:short .
oiled:q.comp owl:equivalentClass _:c .
first:V.5 rdf:type owl:Class .
_:e rdf:type owl:Restriction .
oiled:s rdf:type owl:ObjectProperty .
_:e owl:onProperty oiled:s .
oiled:p rdf:type owl:Class .
_:e owl:allValuesFrom oiled:p .
first:V.5 owl:equivalentClass _:e .
oiled:Unsatisfiable rdf:type owl:Class .
_:g rdf:type owl:Restriction .
_:g owl:onProperty oiled:s .
first:A.3 rdf:type owl:Class .
_:g owl:someValuesFrom first:A.3 .
_:i rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:i owl:onProperty oiled:r .
first:A.4 rdf:type owl:Class .
_:i owl:someValuesFrom first:A.4 .
_:k rdf:first _:i .
_:k rdf:rest rdf:nil .
_:m rdf:first _:g .
_:m rdf:rest _:k .
oiled:Unsatisfiable owl:intersectionOf _:m .
first:A.4 rdf:type owl:Class .
_:o rdf:type owl:Restriction .
oiled:invR rdf:type owl:ObjectProperty .
_:o owl:onProperty oiled:invR .
_:o owl:maxCardinality "1"^^xsd:nonNegativeInteger .
_:q rdf:type owl:Restriction .
oiled:invR rdf:type owl:ObjectProperty .
_:q owl:onProperty oiled:invR .
_:q owl:someValuesFrom first:V.5 .
_:s rdf:first _:q .
_:s rdf:rest rdf:nil .
_:u rdf:first _:o .
_:u rdf:rest _:s .
first:A.4 owl:intersectionOf _:u .
first:A.3 rdf:type owl:Class .
oiled:p.comp rdf:type owl:Class .
oiled:q.comp rdf:type owl:Class .
_:w rdf:first oiled:q.comp .
_:w rdf:rest rdf:nil .
_:y rdf:first oiled:p.comp .
_:y rdf:rest _:w .
first:A.3 owl:intersectionOf _:y .
oiled:q rdf:type owl:Class .
_:a1 rdf:type owl:Restriction .
_:a1 owl:onProperty first:P.2 .
_:a1 owl:minCardinality "1"^^xsd:short .
oiled:q owl:equivalentClass _:a1 .
oiled:p rdf:type owl:Class .
_:c1 rdf:type owl:Restriction .
_:c1 owl:onProperty first:P.1 .
_:c1 owl:maxCardinality "0"^^xsd:int .
oiled:p owl:equivalentClass _:c1 .
oiled:invR rdf:type owl:ObjectProperty .
oiled:invR owl:inverseOf oiled:r .
_:e1 rdf:type oiled:Unsatisfiable .
|
| Lite Full | Consistent document. | 616 |
|---|
Description:
(informative)
<description-logic/Manifest616#test>
|
| DL Test: t2.1 |
| N3 format is informative. |
| Lite | Consistent:
<description-logic/consistent616>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent616">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f2"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<rdfs:subClassOf rdf:resource="http://oiled.man.example.net/test#p2.comp"/>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f2"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/>
</owl:ObjectProperty>
<oiled:Satisfiable/>
<rdf:Description rdf:about="/2002/07/owl#Thing">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f2"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</rdf:Description>
</rdf:RDF> |
<description-logic/consistent616> rdf:type owl:Ontology .
oiled:Satisfiable rdf:type owl:Class .
_:a rdf:type owl:Restriction .
oiled:f1 rdf:type owl:ObjectProperty .
_:a owl:onProperty oiled:f1 .
oiled:p1 rdf:type owl:Class .
_:a owl:someValuesFrom oiled:p1 .
_:c rdf:type owl:Restriction .
oiled:f2 rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:f2 .
oiled:p2 rdf:type owl:Class .
_:c owl:someValuesFrom oiled:p2 .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:g rdf:first _:a .
_:g rdf:rest _:e .
oiled:Satisfiable owl:intersectionOf _:g .
oiled:p2.comp rdf:type owl:Class .
_:i rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:i owl:onProperty first:P.1 .
_:i owl:minCardinality "1"^^xsd:int .
oiled:p2.comp owl:equivalentClass _:i .
oiled:p2 rdf:type owl:Class .
_:k rdf:type owl:Restriction .
_:k owl:onProperty first:P.1 .
_:k owl:maxCardinality "0"^^xsd:int .
oiled:p2 owl:equivalentClass _:k .
oiled:p1 rdf:type owl:Class .
oiled:p1 rdfs:subClassOf oiled:p2.comp .
oiled:r rdf:type owl:ObjectProperty .
oiled:r rdfs:subPropertyOf oiled:f2 .
oiled:r rdfs:subPropertyOf oiled:f1 .
_:m rdf:type oiled:Satisfiable .
_:o rdf:type owl:Restriction .
_:o owl:onProperty oiled:f1 .
_:o owl:maxCardinality "1"^^xsd:nonNegativeInteger .
owl:Thing rdfs:subClassOf _:o .
_:q rdf:type owl:Restriction .
_:q owl:onProperty oiled:f2 .
_:q owl:maxCardinality "1"^^xsd:nonNegativeInteger .
owl:Thing rdfs:subClassOf _:q .
|
| Lite Full | Inconsistent document. | 617 |
|---|
Description:
(informative)
<description-logic/Manifest617#test>
|
| DL Test: t2.2 |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent617>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent617">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f2"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="/2002/07/owl#Thing">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f2"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p2">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<rdfs:subClassOf rdf:resource="http://oiled.man.example.net/test#p2.comp"/>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r">
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f2"/>
<rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/>
</owl:ObjectProperty>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent617> rdf:type owl:Ontology .
oiled:p2.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:a owl:onProperty first:P.1 .
_:a owl:minCardinality "1"^^xsd:int .
oiled:p2.comp owl:equivalentClass _:a .
oiled:Unsatisfiable rdf:type owl:Class .
_:c rdf:type owl:Restriction .
oiled:f1 rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:f1 .
oiled:p1 rdf:type owl:Class .
_:c owl:someValuesFrom oiled:p1 .
_:e rdf:type owl:Restriction .
oiled:f2 rdf:type owl:ObjectProperty .
_:e owl:onProperty oiled:f2 .
oiled:p2 rdf:type owl:Class .
_:e owl:someValuesFrom oiled:p2 .
_:g rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:g owl:onProperty oiled:r .
owl:Thing rdf:type owl:Class .
_:g owl:someValuesFrom owl:Thing .
_:i rdf:first _:g .
_:i rdf:rest rdf:nil .
_:k rdf:first _:e .
_:k rdf:rest _:i .
_:m rdf:first _:c .
_:m rdf:rest _:k .
oiled:Unsatisfiable owl:intersectionOf _:m .
owl:Thing rdf:type owl:Class .
_:o rdf:type owl:Restriction .
_:o owl:onProperty oiled:f1 .
_:o owl:maxCardinality "1"^^xsd:nonNegativeInteger .
owl:Thing rdfs:subClassOf _:o .
_:q rdf:type owl:Restriction .
_:q owl:onProperty oiled:f2 .
_:q owl:maxCardinality "1"^^xsd:nonNegativeInteger .
owl:Thing rdfs:subClassOf _:q .
oiled:p2 rdf:type owl:Class .
_:s rdf:type owl:Restriction .
_:s owl:onProperty first:P.1 .
_:s owl:maxCardinality "0"^^xsd:int .
oiled:p2 owl:equivalentClass _:s .
oiled:p1 rdf:type owl:Class .
oiled:p1 rdfs:subClassOf oiled:p2.comp .
oiled:r rdf:type owl:ObjectProperty .
oiled:r rdfs:subPropertyOf oiled:f2 .
oiled:r rdfs:subPropertyOf oiled:f1 .
_:u rdf:type oiled:Unsatisfiable .
|
| Lite Full | Inconsistent document. | 623 |
|---|
Description:
(informative)
<description-logic/Manifest623#test>
|
| DL Test: t4.1
Dynamic blocking example |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent623>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent623">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:ID="A.2">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="/2002/07/owl#Thing"/>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</owl:allValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="#V.3"/>
</owl:allValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="#V.4"/>
</owl:allValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="#V.5"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#a.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.7">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invP"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="#V.6"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.6">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS"/>
</owl:onProperty>
<owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#a.comp"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.5">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.4">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="/2002/07/owl#Thing"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.3">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom rdf:resource="/2002/07/owl#Thing"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="#A.2"/>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#c">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/>
</owl:onProperty>
<owl:allValuesFrom rdf:resource="#V.7"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#a">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invP">
<owl:inverseOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p"/>
</owl:inverseOf>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invS">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p">
<rdf:type rdf:resource="/2002/07/owl#TransitiveProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent623> rdf:type owl:Ontology .
first:A.2 rdf:type owl:Class .
_:a rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:a owl:onProperty oiled:r .
owl:Thing rdf:type owl:Class .
_:a owl:someValuesFrom owl:Thing .
_:c rdf:type owl:Restriction .
oiled:p rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:p .
_:c owl:someValuesFrom owl:Thing .
_:e rdf:type owl:Restriction .
_:e owl:onProperty oiled:r .
oiled:c rdf:type owl:Class .
_:e owl:allValuesFrom oiled:c .
_:g rdf:type owl:Restriction .
oiled:p rdf:type owl:ObjectProperty .
_:g owl:onProperty oiled:p .
first:V.3 rdf:type owl:Class .
_:g owl:allValuesFrom first:V.3 .
_:i rdf:type owl:Restriction .
oiled:p rdf:type owl:ObjectProperty .
_:i owl:onProperty oiled:p .
first:V.4 rdf:type owl:Class .
_:i owl:allValuesFrom first:V.4 .
_:k rdf:type owl:Restriction .
oiled:p rdf:type owl:ObjectProperty .
_:k owl:onProperty oiled:p .
first:V.5 rdf:type owl:Class .
_:k owl:allValuesFrom first:V.5 .
_:m rdf:first _:k .
_:m rdf:rest rdf:nil .
_:o rdf:first _:i .
_:o rdf:rest _:m .
_:q rdf:first _:g .
_:q rdf:rest _:o .
_:s rdf:first _:e .
_:s rdf:rest _:q .
_:u rdf:first _:c .
_:u rdf:rest _:s .
_:w rdf:first _:a .
_:w rdf:rest _:u .
first:A.2 owl:intersectionOf _:w .
oiled:a.comp rdf:type owl:Class .
_:y rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:y owl:onProperty first:P.1 .
_:y owl:minCardinality "1"^^xsd:int .
oiled:a.comp owl:equivalentClass _:y .
first:V.7 rdf:type owl:Class .
_:a1 rdf:type owl:Restriction .
oiled:invP rdf:type owl:ObjectProperty .
_:a1 owl:onProperty oiled:invP .
first:V.6 rdf:type owl:Class .
_:a1 owl:allValuesFrom first:V.6 .
first:V.7 owl:equivalentClass _:a1 .
first:V.6 rdf:type owl:Class .
_:c1 rdf:type owl:Restriction .
oiled:invS rdf:type owl:ObjectProperty .
_:c1 owl:onProperty oiled:invS .
_:c1 owl:allValuesFrom oiled:a.comp .
first:V.6 owl:equivalentClass _:c1 .
first:V.5 rdf:type owl:Class .
_:e1 rdf:type owl:Restriction .
_:e1 owl:onProperty oiled:r .
oiled:c rdf:type owl:Class .
_:e1 owl:allValuesFrom oiled:c .
first:V.5 owl:equivalentClass _:e1 .
first:V.4 rdf:type owl:Class .
_:g1 rdf:type owl:Restriction .
oiled:p rdf:type owl:ObjectProperty .
_:g1 owl:onProperty oiled:p .
_:g1 owl:someValuesFrom owl:Thing .
first:V.4 owl:equivalentClass _:g1 .
first:V.3 rdf:type owl:Class .
_:i1 rdf:type owl:Restriction .
_:i1 owl:onProperty oiled:r .
_:i1 owl:someValuesFrom owl:Thing .
first:V.3 owl:equivalentClass _:i1 .
oiled:Unsatisfiable rdf:type owl:Class .
oiled:a rdf:type owl:Class .
oiled:Unsatisfiable rdfs:subClassOf oiled:a .
_:k1 rdf:type owl:Restriction .
oiled:s rdf:type owl:ObjectProperty .
_:k1 owl:onProperty oiled:s .
_:k1 owl:someValuesFrom first:A.2 .
oiled:Unsatisfiable rdfs:subClassOf _:k1 .
oiled:c rdf:type owl:Class .
_:m1 rdf:type owl:Restriction .
oiled:invR rdf:type owl:ObjectProperty .
_:m1 owl:onProperty oiled:invR .
_:m1 owl:allValuesFrom first:V.7 .
oiled:c owl:equivalentClass _:m1 .
oiled:a rdf:type owl:Class .
_:o1 rdf:type owl:Restriction .
_:o1 owl:onProperty first:P.1 .
_:o1 owl:maxCardinality "0"^^xsd:int .
oiled:a owl:equivalentClass _:o1 .
oiled:invP rdf:type owl:ObjectProperty .
oiled:p rdf:type owl:ObjectProperty .
oiled:invP owl:inverseOf oiled:p .
oiled:invS rdf:type owl:ObjectProperty .
oiled:invS owl:inverseOf oiled:s .
oiled:p rdf:type owl:ObjectProperty .
oiled:p rdf:type owl:TransitiveProperty .
oiled:invR rdf:type owl:ObjectProperty .
oiled:invR owl:inverseOf oiled:r .
_:q1 rdf:type oiled:Unsatisfiable .
|
| Lite Full | Consistent document. | 624 |
|---|
Description:
(informative)
<description-logic/Manifest624#test>
|
| DL Test: t5.1
Non-finite model example from paper
The concept should be coherent but has no finite model |
| N3 format is informative. |
| Lite | Consistent:
<description-logic/consistent624>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent624">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#a.comp"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="#V.2"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#a.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.2">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#a">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f">
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</rdfs:subPropertyOf>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r">
<rdf:type rdf:resource="/2002/07/owl#TransitiveProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<oiled:Satisfiable/>
<rdf:Description rdf:about="/2002/07/owl#Thing">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</rdf:Description>
</rdf:RDF> |
<description-logic/consistent624> rdf:type owl:Ontology .
oiled:Satisfiable rdf:type owl:Class .
oiled:a.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
oiled:invF rdf:type owl:ObjectProperty .
_:a owl:onProperty oiled:invF .
oiled:a rdf:type owl:Class .
_:a owl:someValuesFrom oiled:a .
_:c rdf:type owl:Restriction .
oiled:invR rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:invR .
first:V.2 rdf:type owl:Class .
_:c owl:someValuesFrom first:V.2 .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:g rdf:first _:a .
_:g rdf:rest _:e .
_:i rdf:first oiled:a.comp .
_:i rdf:rest _:g .
oiled:Satisfiable owl:intersectionOf _:i .
oiled:a.comp rdf:type owl:Class .
_:k rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:k owl:onProperty first:P.1 .
_:k owl:minCardinality "1"^^xsd:int .
oiled:a.comp owl:equivalentClass _:k .
first:V.2 rdf:type owl:Class .
_:m rdf:type owl:Restriction .
oiled:invF rdf:type owl:ObjectProperty .
_:m owl:onProperty oiled:invF .
oiled:a rdf:type owl:Class .
_:m owl:someValuesFrom oiled:a .
first:V.2 owl:equivalentClass _:m .
oiled:a rdf:type owl:Class .
_:o rdf:type owl:Restriction .
_:o owl:onProperty first:P.1 .
_:o owl:maxCardinality "0"^^xsd:int .
oiled:a owl:equivalentClass _:o .
oiled:f rdf:type owl:ObjectProperty .
oiled:r rdf:type owl:ObjectProperty .
oiled:f rdfs:subPropertyOf oiled:r .
oiled:invF rdf:type owl:ObjectProperty .
oiled:invF owl:inverseOf oiled:f .
oiled:r rdf:type owl:ObjectProperty .
oiled:r rdf:type owl:TransitiveProperty .
oiled:invR rdf:type owl:ObjectProperty .
oiled:invR owl:inverseOf oiled:r .
_:q rdf:type oiled:Satisfiable .
_:s rdf:type owl:Restriction .
_:s owl:onProperty oiled:f .
_:s owl:maxCardinality "1"^^xsd:nonNegativeInteger .
owl:Thing rdfs:subClassOf _:s .
|
| Lite Full | Consistent document. | 625 |
|---|
Description:
(informative)
<description-logic/Manifest625#test>
|
| DL Test: t5f.1
Non-finite model example from paper
The concept should be coherent but has no finite model |
| N3 format is informative. |
| Lite | Consistent:
<description-logic/consistent625>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent625">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#a.comp"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="#V.2"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="V.2">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#a"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#a.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#a">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f">
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</rdfs:subPropertyOf>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r">
<rdf:type rdf:resource="/2002/07/owl#TransitiveProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<oiled:Satisfiable/>
</rdf:RDF> |
<description-logic/consistent625> rdf:type owl:Ontology .
oiled:Satisfiable rdf:type owl:Class .
oiled:a.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
oiled:invF rdf:type owl:ObjectProperty .
_:a owl:onProperty oiled:invF .
oiled:a rdf:type owl:Class .
_:a owl:someValuesFrom oiled:a .
_:c rdf:type owl:Restriction .
oiled:invR rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:invR .
first:V.2 rdf:type owl:Class .
_:c owl:someValuesFrom first:V.2 .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:g rdf:first _:a .
_:g rdf:rest _:e .
_:i rdf:first oiled:a.comp .
_:i rdf:rest _:g .
oiled:Satisfiable owl:intersectionOf _:i .
first:V.2 rdf:type owl:Class .
_:k rdf:type owl:Restriction .
oiled:invF rdf:type owl:ObjectProperty .
_:k owl:onProperty oiled:invF .
oiled:a rdf:type owl:Class .
_:k owl:someValuesFrom oiled:a .
first:V.2 owl:equivalentClass _:k .
oiled:a.comp rdf:type owl:Class .
_:m rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:m owl:onProperty first:P.1 .
_:m owl:minCardinality "1"^^xsd:int .
oiled:a.comp owl:equivalentClass _:m .
oiled:a rdf:type owl:Class .
_:o rdf:type owl:Restriction .
_:o owl:onProperty first:P.1 .
_:o owl:maxCardinality "0"^^xsd:int .
oiled:a owl:equivalentClass _:o .
oiled:f rdf:type owl:ObjectProperty .
oiled:r rdf:type owl:ObjectProperty .
oiled:f rdfs:subPropertyOf oiled:r .
oiled:f rdf:type owl:FunctionalProperty .
oiled:invF rdf:type owl:ObjectProperty .
oiled:invF owl:inverseOf oiled:f .
oiled:r rdf:type owl:ObjectProperty .
oiled:r rdf:type owl:TransitiveProperty .
oiled:invR rdf:type owl:ObjectProperty .
oiled:invR owl:inverseOf oiled:r .
_:q rdf:type oiled:Satisfiable .
|
| Lite Full | Inconsistent document. | 626 |
|---|
Description:
(informative)
<description-logic/Manifest626#test>
|
| DL Test: t6.1
Double blocking example.
The concept should be incoherent but needs double blocking |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent626>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent626">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.3">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#d"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#c.comp"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#d"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/>
</owl:onProperty>
<owl:allValuesFrom rdf:resource="#V.3"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#d">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#c.comp"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#c">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f">
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</rdfs:subPropertyOf>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r">
<rdf:type rdf:resource="/2002/07/owl#TransitiveProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<rdf:Description rdf:about="/2002/07/owl#Thing">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</rdf:Description>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent626> rdf:type owl:Ontology .
oiled:c.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:a owl:onProperty first:P.1 .
_:a owl:minCardinality "1"^^xsd:int .
oiled:c.comp owl:equivalentClass _:a .
first:V.3 rdf:type owl:Class .
_:c rdf:type owl:Restriction .
oiled:invF rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:invF .
oiled:d rdf:type owl:Class .
_:c owl:someValuesFrom oiled:d .
first:V.3 owl:equivalentClass _:c .
oiled:Unsatisfiable rdf:type owl:Class .
oiled:c.comp rdf:type owl:Class .
_:e rdf:type owl:Restriction .
oiled:invF rdf:type owl:ObjectProperty .
_:e owl:onProperty oiled:invF .
oiled:d rdf:type owl:Class .
_:e owl:someValuesFrom oiled:d .
_:g rdf:type owl:Restriction .
oiled:invR rdf:type owl:ObjectProperty .
_:g owl:onProperty oiled:invR .
_:g owl:allValuesFrom first:V.3 .
_:i rdf:first _:g .
_:i rdf:rest rdf:nil .
_:k rdf:first _:e .
_:k rdf:rest _:i .
_:m rdf:first oiled:c.comp .
_:m rdf:rest _:k .
oiled:Unsatisfiable owl:intersectionOf _:m .
oiled:d rdf:type owl:Class .
oiled:c rdf:type owl:Class .
_:o rdf:type owl:Restriction .
oiled:f rdf:type owl:ObjectProperty .
_:o owl:onProperty oiled:f .
_:o owl:someValuesFrom oiled:c.comp .
_:q rdf:first _:o .
_:q rdf:rest rdf:nil .
_:s rdf:first oiled:c .
_:s rdf:rest _:q .
oiled:d owl:intersectionOf _:s .
oiled:c rdf:type owl:Class .
_:u rdf:type owl:Restriction .
_:u owl:onProperty first:P.1 .
_:u owl:maxCardinality "0"^^xsd:int .
oiled:c owl:equivalentClass _:u .
oiled:f rdf:type owl:ObjectProperty .
oiled:r rdf:type owl:ObjectProperty .
oiled:f rdfs:subPropertyOf oiled:r .
oiled:invF rdf:type owl:ObjectProperty .
oiled:invF owl:inverseOf oiled:f .
oiled:r rdf:type owl:ObjectProperty .
oiled:r rdf:type owl:TransitiveProperty .
oiled:invR rdf:type owl:ObjectProperty .
oiled:invR owl:inverseOf oiled:r .
_:w rdf:type owl:Restriction .
_:w owl:onProperty oiled:f .
_:w owl:maxCardinality "1"^^xsd:nonNegativeInteger .
owl:Thing rdfs:subClassOf _:w .
_:y rdf:type oiled:Unsatisfiable .
|
| Lite Full | Inconsistent document. | 627 |
|---|
Description:
(informative)
<description-logic/Manifest627#test>
|
| DL Test: t6f.1
Double blocking example.
The concept should be incoherent but needs double blocking |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent627>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent627">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.3">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#d"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#d">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#c.comp"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#c.comp"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#d"/>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/>
</owl:onProperty>
<owl:allValuesFrom rdf:resource="#V.3"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#c">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f">
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</rdfs:subPropertyOf>
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r">
<rdf:type rdf:resource="/2002/07/owl#TransitiveProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent627> rdf:type owl:Ontology .
oiled:c.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:a owl:onProperty first:P.1 .
_:a owl:minCardinality "1"^^xsd:int .
oiled:c.comp owl:equivalentClass _:a .
first:V.3 rdf:type owl:Class .
_:c rdf:type owl:Restriction .
oiled:invF rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:invF .
oiled:d rdf:type owl:Class .
_:c owl:someValuesFrom oiled:d .
first:V.3 owl:equivalentClass _:c .
oiled:d rdf:type owl:Class .
oiled:c rdf:type owl:Class .
_:e rdf:type owl:Restriction .
oiled:f rdf:type owl:ObjectProperty .
_:e owl:onProperty oiled:f .
_:e owl:someValuesFrom oiled:c.comp .
_:g rdf:first _:e .
_:g rdf:rest rdf:nil .
_:i rdf:first oiled:c .
_:i rdf:rest _:g .
oiled:d owl:intersectionOf _:i .
oiled:Unsatisfiable rdf:type owl:Class .
oiled:c.comp rdf:type owl:Class .
_:k rdf:type owl:Restriction .
oiled:invF rdf:type owl:ObjectProperty .
_:k owl:onProperty oiled:invF .
_:k owl:someValuesFrom oiled:d .
_:m rdf:type owl:Restriction .
oiled:invR rdf:type owl:ObjectProperty .
_:m owl:onProperty oiled:invR .
_:m owl:allValuesFrom first:V.3 .
_:o rdf:first _:m .
_:o rdf:rest rdf:nil .
_:q rdf:first _:k .
_:q rdf:rest _:o .
_:s rdf:first oiled:c.comp .
_:s rdf:rest _:q .
oiled:Unsatisfiable owl:intersectionOf _:s .
oiled:c rdf:type owl:Class .
_:u rdf:type owl:Restriction .
_:u owl:onProperty first:P.1 .
_:u owl:maxCardinality "0"^^xsd:int .
oiled:c owl:equivalentClass _:u .
oiled:f rdf:type owl:ObjectProperty .
oiled:r rdf:type owl:ObjectProperty .
oiled:f rdfs:subPropertyOf oiled:r .
oiled:f rdf:type owl:FunctionalProperty .
oiled:invF rdf:type owl:ObjectProperty .
oiled:invF owl:inverseOf oiled:f .
oiled:r rdf:type owl:ObjectProperty .
oiled:r rdf:type owl:TransitiveProperty .
oiled:invR rdf:type owl:ObjectProperty .
oiled:invR owl:inverseOf oiled:r .
_:w rdf:type oiled:Unsatisfiable .
|
| Lite Full | Consistent document. | 628 |
|---|
Description:
(informative)
<description-logic/Manifest628#test>
|
| DL Test: t7.1 |
| N3 format is informative. |
| Lite | Consistent:
<description-logic/consistent628>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent628">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="#V.5"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="C.3">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.3"/>
</owl:onProperty>
<owl:cardinality rdf:datatype="/2001/XMLSchema#unsignedByte"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="C.2">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="P.2"/>
</owl:onProperty>
<owl:cardinality rdf:datatype="/2001/XMLSchema#short"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="A.4">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/>
</owl:onProperty>
<owl:allValuesFrom rdf:resource="#C.2"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="C.2.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.2"/>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#short"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Class rdf:about="#C.3"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="V.5">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="#A.4"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="C.3.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.3"/>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#unsignedByte"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r">
<rdf:type rdf:resource="/2002/07/owl#TransitiveProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<oiled:Satisfiable/>
<rdf:Description rdf:about="/2002/07/owl#Thing">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</rdf:Description>
</rdf:RDF> |
<description-logic/consistent628> rdf:type owl:Ontology .
oiled:Satisfiable rdf:type owl:Class .
oiled:p1 rdf:type owl:Class .
_:a rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:a owl:onProperty oiled:r .
first:V.5 rdf:type owl:Class .
_:a owl:someValuesFrom first:V.5 .
_:c rdf:first _:a .
_:c rdf:rest rdf:nil .
_:e rdf:first oiled:p1 .
_:e rdf:rest _:c .
oiled:Satisfiable owl:intersectionOf _:e .
oiled:p1.comp rdf:type owl:Class .
_:g rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:g owl:onProperty first:P.1 .
_:g owl:minCardinality "1"^^xsd:int .
oiled:p1.comp owl:equivalentClass _:g .
first:C.3 rdf:type owl:Class .
_:i rdf:type owl:Restriction .
first:P.3 rdf:type owl:DatatypeProperty .
_:i owl:onProperty first:P.3 .
_:i owl:cardinality "0"^^xsd:unsignedByte .
first:C.3 owl:equivalentClass _:i .
first:C.2 rdf:type owl:Class .
_:k rdf:type owl:Restriction .
first:P.2 rdf:type owl:ObjectProperty .
_:k owl:onProperty first:P.2 .
_:k owl:cardinality "0"^^xsd:short .
first:C.2 owl:equivalentClass _:k .
first:A.4 rdf:type owl:Class .
oiled:p1 rdf:type owl:Class .
_:m rdf:type owl:Restriction .
oiled:invR rdf:type owl:ObjectProperty .
_:m owl:onProperty oiled:invR .
_:m owl:allValuesFrom first:C.2 .
_:o rdf:first _:m .
_:o rdf:rest rdf:nil .
_:q rdf:first oiled:p1 .
_:q rdf:rest _:o .
first:A.4 owl:intersectionOf _:q .
first:C.2.comp rdf:type owl:Class .
_:s rdf:type owl:Restriction .
_:s owl:onProperty first:P.2 .
_:s owl:minCardinality "1"^^xsd:short .
first:C.2.comp owl:equivalentClass _:s .
oiled:p1 rdf:type owl:Class .
first:C.3 rdf:type owl:Class .
_:u rdf:first first:C.3 .
_:u rdf:rest rdf:nil .
_:w rdf:first oiled:p1 .
_:w rdf:rest _:u .
first:C.2.comp owl:intersectionOf _:w .
first:V.5 rdf:type owl:Class .
_:y rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:y owl:onProperty oiled:r .
_:y owl:someValuesFrom first:A.4 .
first:V.5 owl:equivalentClass _:y .
first:C.3.comp rdf:type owl:Class .
_:a1 rdf:type owl:Restriction .
_:a1 owl:onProperty first:P.3 .
_:a1 owl:minCardinality "1"^^xsd:unsignedByte .
first:C.3.comp owl:equivalentClass _:a1 .
_:c1 rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:c1 owl:onProperty oiled:r .
oiled:p1 rdf:type owl:Class .
_:c1 owl:allValuesFrom oiled:p1 .
first:C.3.comp owl:equivalentClass _:c1 .
oiled:p1 rdf:type owl:Class .
_:e1 rdf:type owl:Restriction .
_:e1 owl:onProperty first:P.1 .
_:e1 owl:maxCardinality "0"^^xsd:int .
oiled:p1 owl:equivalentClass _:e1 .
oiled:f rdf:type owl:ObjectProperty .
oiled:invF rdf:type owl:ObjectProperty .
oiled:invF owl:inverseOf oiled:f .
oiled:r rdf:type owl:ObjectProperty .
oiled:r rdf:type owl:TransitiveProperty .
oiled:invR rdf:type owl:ObjectProperty .
oiled:invR owl:inverseOf oiled:r .
_:g1 rdf:type oiled:Satisfiable .
_:i1 rdf:type owl:Restriction .
_:i1 owl:onProperty oiled:f .
_:i1 owl:maxCardinality "1"^^xsd:nonNegativeInteger .
owl:Thing rdfs:subClassOf _:i1 .
|
| Lite Full | Inconsistent document. | 629 |
|---|
Description:
(informative)
<description-logic/Manifest629#test>
|
| DL Test: t7.2 |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent629>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent629">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.3">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="#A.2"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="A.2">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/>
</owl:onProperty>
<owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#p1.comp"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="#V.3"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r">
<rdf:type rdf:resource="/2002/07/owl#TransitiveProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<oiled:Unsatisfiable/>
<rdf:Description rdf:about="/2002/07/owl#Thing">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</rdf:Description>
</rdf:RDF> |
<description-logic/inconsistent629> rdf:type owl:Ontology .
oiled:p1.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:a owl:onProperty first:P.1 .
_:a owl:minCardinality "1"^^xsd:int .
oiled:p1.comp owl:equivalentClass _:a .
first:V.3 rdf:type owl:Class .
_:c rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:r .
first:A.2 rdf:type owl:Class .
_:c owl:someValuesFrom first:A.2 .
first:V.3 owl:equivalentClass _:c .
first:A.2 rdf:type owl:Class .
oiled:p1 rdf:type owl:Class .
_:e rdf:type owl:Restriction .
oiled:invR rdf:type owl:ObjectProperty .
_:e owl:onProperty oiled:invR .
_:e owl:allValuesFrom oiled:p1.comp .
_:g rdf:first _:e .
_:g rdf:rest rdf:nil .
_:i rdf:first oiled:p1 .
_:i rdf:rest _:g .
first:A.2 owl:intersectionOf _:i .
oiled:Unsatisfiable rdf:type owl:Class .
oiled:p1 rdf:type owl:Class .
_:k rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:k owl:onProperty oiled:r .
_:k owl:someValuesFrom first:V.3 .
_:m rdf:first _:k .
_:m rdf:rest rdf:nil .
_:o rdf:first oiled:p1 .
_:o rdf:rest _:m .
oiled:Unsatisfiable owl:intersectionOf _:o .
oiled:p1 rdf:type owl:Class .
_:q rdf:type owl:Restriction .
_:q owl:onProperty first:P.1 .
_:q owl:maxCardinality "0"^^xsd:int .
oiled:p1 owl:equivalentClass _:q .
oiled:f rdf:type owl:ObjectProperty .
oiled:invF rdf:type owl:ObjectProperty .
oiled:invF owl:inverseOf oiled:f .
oiled:r rdf:type owl:ObjectProperty .
oiled:r rdf:type owl:TransitiveProperty .
oiled:invR rdf:type owl:ObjectProperty .
oiled:invR owl:inverseOf oiled:r .
_:s rdf:type oiled:Unsatisfiable .
_:u rdf:type owl:Restriction .
_:u owl:onProperty oiled:f .
_:u owl:maxCardinality "1"^^xsd:nonNegativeInteger .
owl:Thing rdfs:subClassOf _:u .
|
| Lite Full | Inconsistent document. | 630 |
|---|
Description:
(informative)
<description-logic/Manifest630#test>
|
| DL Test: t7.3 |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent630>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent630">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="A.2">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="#V.3"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="#A.2"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.3">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#p1.comp"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r">
<rdf:type rdf:resource="/2002/07/owl#TransitiveProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<oiled:Unsatisfiable/>
<rdf:Description rdf:about="/2002/07/owl#Thing">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</rdf:Description>
</rdf:RDF> |
<description-logic/inconsistent630> rdf:type owl:Ontology .
oiled:p1.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:a owl:onProperty first:P.1 .
_:a owl:minCardinality "1"^^xsd:int .
oiled:p1.comp owl:equivalentClass _:a .
first:A.2 rdf:type owl:Class .
oiled:p1 rdf:type owl:Class .
_:c rdf:type owl:Restriction .
oiled:invF rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:invF .
first:V.3 rdf:type owl:Class .
_:c owl:someValuesFrom first:V.3 .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:g rdf:first oiled:p1 .
_:g rdf:rest _:e .
first:A.2 owl:intersectionOf _:g .
oiled:Unsatisfiable rdf:type owl:Class .
_:i rdf:type owl:Restriction .
oiled:f rdf:type owl:ObjectProperty .
_:i owl:onProperty oiled:f .
_:i owl:someValuesFrom first:A.2 .
oiled:Unsatisfiable owl:equivalentClass _:i .
first:V.3 rdf:type owl:Class .
_:k rdf:type owl:Restriction .
_:k owl:onProperty oiled:f .
_:k owl:someValuesFrom oiled:p1.comp .
first:V.3 owl:equivalentClass _:k .
oiled:p1 rdf:type owl:Class .
_:m rdf:type owl:Restriction .
_:m owl:onProperty first:P.1 .
_:m owl:maxCardinality "0"^^xsd:int .
oiled:p1 owl:equivalentClass _:m .
oiled:invF rdf:type owl:ObjectProperty .
oiled:invF owl:inverseOf oiled:f .
oiled:r rdf:type owl:ObjectProperty .
oiled:r rdf:type owl:TransitiveProperty .
oiled:invR rdf:type owl:ObjectProperty .
oiled:invR owl:inverseOf oiled:r .
_:o rdf:type oiled:Unsatisfiable .
_:q rdf:type owl:Restriction .
_:q owl:onProperty oiled:f .
_:q owl:maxCardinality "1"^^xsd:nonNegativeInteger .
owl:Thing rdfs:subClassOf _:q .
|
| Lite Full | Consistent document. | 631 |
|---|
Description:
(informative)
<description-logic/Manifest631#test>
|
| DL Test: t7f.1 |
| N3 format is informative. |
| Lite | Consistent:
<description-logic/consistent631>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent631">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="#V.5"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="C.2.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="P.2"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#short"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Class rdf:about="#C.3"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="C.3.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.3"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#unsignedByte"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.5">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="#A.4"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="C.3">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.3"/>
<owl:cardinality rdf:datatype="/2001/XMLSchema#unsignedByte"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="C.2">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.2"/>
<owl:cardinality rdf:datatype="/2001/XMLSchema#short"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="A.4">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/>
</owl:onProperty>
<owl:allValuesFrom rdf:resource="#C.2"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r">
<rdf:type rdf:resource="/2002/07/owl#TransitiveProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<oiled:Satisfiable/>
</rdf:RDF> |
<description-logic/consistent631> rdf:type owl:Ontology .
oiled:Satisfiable rdf:type owl:Class .
oiled:p1 rdf:type owl:Class .
_:a rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:a owl:onProperty oiled:r .
first:V.5 rdf:type owl:Class .
_:a owl:someValuesFrom first:V.5 .
_:c rdf:first _:a .
_:c rdf:rest rdf:nil .
_:e rdf:first oiled:p1 .
_:e rdf:rest _:c .
oiled:Satisfiable owl:intersectionOf _:e .
oiled:p1.comp rdf:type owl:Class .
_:g rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:g owl:onProperty first:P.1 .
_:g owl:minCardinality "1"^^xsd:int .
oiled:p1.comp owl:equivalentClass _:g .
first:C.2.comp rdf:type owl:Class .
_:i rdf:type owl:Restriction .
first:P.2 rdf:type owl:ObjectProperty .
_:i owl:onProperty first:P.2 .
_:i owl:minCardinality "1"^^xsd:short .
first:C.2.comp owl:equivalentClass _:i .
oiled:p1 rdf:type owl:Class .
first:C.3 rdf:type owl:Class .
_:k rdf:first first:C.3 .
_:k rdf:rest rdf:nil .
_:m rdf:first oiled:p1 .
_:m rdf:rest _:k .
first:C.2.comp owl:intersectionOf _:m .
first:C.3.comp rdf:type owl:Class .
_:o rdf:type owl:Restriction .
first:P.3 rdf:type owl:DatatypeProperty .
_:o owl:onProperty first:P.3 .
_:o owl:minCardinality "1"^^xsd:unsignedByte .
first:C.3.comp owl:equivalentClass _:o .
_:q rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:q owl:onProperty oiled:r .
oiled:p1 rdf:type owl:Class .
_:q owl:allValuesFrom oiled:p1 .
first:C.3.comp owl:equivalentClass _:q .
first:V.5 rdf:type owl:Class .
_:s rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:s owl:onProperty oiled:r .
first:A.4 rdf:type owl:Class .
_:s owl:someValuesFrom first:A.4 .
first:V.5 owl:equivalentClass _:s .
first:C.3 rdf:type owl:Class .
_:u rdf:type owl:Restriction .
_:u owl:onProperty first:P.3 .
_:u owl:cardinality "0"^^xsd:unsignedByte .
first:C.3 owl:equivalentClass _:u .
first:C.2 rdf:type owl:Class .
_:w rdf:type owl:Restriction .
_:w owl:onProperty first:P.2 .
_:w owl:cardinality "0"^^xsd:short .
first:C.2 owl:equivalentClass _:w .
first:A.4 rdf:type owl:Class .
oiled:p1 rdf:type owl:Class .
_:y rdf:type owl:Restriction .
oiled:invR rdf:type owl:ObjectProperty .
_:y owl:onProperty oiled:invR .
_:y owl:allValuesFrom first:C.2 .
_:a1 rdf:first _:y .
_:a1 rdf:rest rdf:nil .
_:c1 rdf:first oiled:p1 .
_:c1 rdf:rest _:a1 .
first:A.4 owl:intersectionOf _:c1 .
oiled:p1 rdf:type owl:Class .
_:e1 rdf:type owl:Restriction .
_:e1 owl:onProperty first:P.1 .
_:e1 owl:maxCardinality "0"^^xsd:int .
oiled:p1 owl:equivalentClass _:e1 .
oiled:f rdf:type owl:ObjectProperty .
oiled:f rdf:type owl:FunctionalProperty .
oiled:invF rdf:type owl:ObjectProperty .
oiled:invF owl:inverseOf oiled:f .
oiled:r rdf:type owl:ObjectProperty .
oiled:r rdf:type owl:TransitiveProperty .
oiled:invR rdf:type owl:ObjectProperty .
oiled:invR owl:inverseOf oiled:r .
_:g1 rdf:type oiled:Satisfiable .
|
| Lite Full | Inconsistent document. | 632 |
|---|
Description:
(informative)
<description-logic/Manifest632#test>
|
| DL Test: t7f.2 |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent632>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent632">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="A.2">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/>
</owl:onProperty>
<owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#p1.comp"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="#V.3"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="V.3">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="#A.2"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r">
<rdf:type rdf:resource="/2002/07/owl#TransitiveProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent632> rdf:type owl:Ontology .
oiled:p1.comp rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:a owl:onProperty first:P.1 .
_:a owl:minCardinality "1"^^xsd:int .
oiled:p1.comp owl:equivalentClass _:a .
first:A.2 rdf:type owl:Class .
oiled:p1 rdf:type owl:Class .
_:c rdf:type owl:Restriction .
oiled:invR rdf:type owl:ObjectProperty .
_:c owl:onProperty oiled:invR .
_:c owl:allValuesFrom oiled:p1.comp .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:g rdf:first oiled:p1 .
_:g rdf:rest _:e .
first:A.2 owl:intersectionOf _:g .
oiled:Unsatisfiable rdf:type owl:Class .
oiled:p1 rdf:type owl:Class .
_:i rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:i owl:onProperty oiled:r .
first:V.3 rdf:type owl:Class .
_:i owl:someValuesFrom first:V.3 .
_:k rdf:first _:i .
_:k rdf:rest rdf:nil .
_:m rdf:first oiled:p1 .
_:m rdf:rest _:k .
oiled:Unsatisfiable owl:intersectionOf _:m .
first:V.3 rdf:type owl:Class .
_:o rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:o owl:onProperty oiled:r .
_:o owl:someValuesFrom first:A.2 .
first:V.3 owl:equivalentClass _:o .
oiled:p1 rdf:type owl:Class .
_:q rdf:type owl:Restriction .
_:q owl:onProperty first:P.1 .
_:q owl:maxCardinality "0"^^xsd:int .
oiled:p1 owl:equivalentClass _:q .
oiled:f rdf:type owl:ObjectProperty .
oiled:f rdf:type owl:FunctionalProperty .
oiled:invF rdf:type owl:ObjectProperty .
oiled:invF owl:inverseOf oiled:f .
oiled:r rdf:type owl:ObjectProperty .
oiled:r rdf:type owl:TransitiveProperty .
oiled:invR rdf:type owl:ObjectProperty .
oiled:invR owl:inverseOf oiled:r .
_:s rdf:type oiled:Unsatisfiable .
|
| Lite Full | Inconsistent document. | 633 |
|---|
Description:
(informative)
<description-logic/Manifest633#test>
|
| DL Test: t7f.3 |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent633>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent633">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:ID="A.2">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#p1"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="#V.3"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="#A.2"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.3">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#p1.comp"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p1">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f">
<rdf:type rdf:resource="/2002/07/owl#FunctionalProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r">
<rdf:type rdf:resource="/2002/07/owl#TransitiveProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent633> rdf:type owl:Ontology .
first:A.2 rdf:type owl:Class .
oiled:p1 rdf:type owl:Class .
_:a rdf:type owl:Restriction .
oiled:invF rdf:type owl:ObjectProperty .
_:a owl:onProperty oiled:invF .
first:V.3 rdf:type owl:Class .
_:a owl:allValuesFrom first:V.3 .
_:c rdf:first _:a .
_:c rdf:rest rdf:nil .
_:e rdf:first oiled:p1 .
_:e rdf:rest _:c .
first:A.2 owl:intersectionOf _:e .
oiled:p1.comp rdf:type owl:Class .
_:g rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:g owl:onProperty first:P.1 .
_:g owl:minCardinality "1"^^xsd:int .
oiled:p1.comp owl:equivalentClass _:g .
oiled:Unsatisfiable rdf:type owl:Class .
_:i rdf:type owl:Restriction .
oiled:f rdf:type owl:ObjectProperty .
_:i owl:onProperty oiled:f .
_:i owl:someValuesFrom first:A.2 .
oiled:Unsatisfiable owl:equivalentClass _:i .
first:V.3 rdf:type owl:Class .
_:k rdf:type owl:Restriction .
oiled:f rdf:type owl:ObjectProperty .
_:k owl:onProperty oiled:f .
_:k owl:someValuesFrom oiled:p1.comp .
first:V.3 owl:equivalentClass _:k .
oiled:p1 rdf:type owl:Class .
_:m rdf:type owl:Restriction .
_:m owl:onProperty first:P.1 .
_:m owl:maxCardinality "0"^^xsd:int .
oiled:p1 owl:equivalentClass _:m .
oiled:f rdf:type owl:ObjectProperty .
oiled:f rdf:type owl:FunctionalProperty .
oiled:invF rdf:type owl:ObjectProperty .
oiled:invF owl:inverseOf oiled:f .
oiled:r rdf:type owl:ObjectProperty .
oiled:r rdf:type owl:TransitiveProperty .
oiled:invR rdf:type owl:ObjectProperty .
oiled:invR owl:inverseOf oiled:r .
_:o rdf:type oiled:Unsatisfiable .
|
| Lite Full | Consistent document. | 634 |
|---|
Description:
(informative)
<description-logic/Manifest634#test>
|
| DL Test: t8.1 |
| N3 format is informative. |
| Lite | Consistent:
<description-logic/consistent634>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent634">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="#V.4"/>
</owl:someValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="#V.5"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.5">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="#V.3"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.4">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="#V.2"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.3">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r1"/>
</owl:onProperty>
<owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#p.comp"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="V.2">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r1"/>
<owl:allValuesFrom>
<owl:Class rdf:about="http://oiled.man.example.net/test#p"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#p">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR">
<owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/>
</owl:ObjectProperty>
<oiled:Satisfiable/>
</rdf:RDF> |
<description-logic/consistent634> rdf:type owl:Ontology .
oiled:Satisfiable rdf:type owl:Class .
_:a rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:a owl:onProperty oiled:r .
first:V.4 rdf:type owl:Class .
_:a owl:someValuesFrom first:V.4 .
_:c rdf:type owl:Restriction .
_:c owl:onProperty oiled:r .
first:V.5 rdf:type owl:Class .
_:c owl:someValuesFrom first:V.5 .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:g rdf:first _:a .
_:g rdf:rest _:e .
oiled:Satisfiable owl:intersectionOf _:g .
oiled:p.comp rdf:type owl:Class .
_:i rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:i owl:onProperty first:P.1 .
_:i owl:minCardinality "1"^^xsd:int .
oiled:p.comp owl:equivalentClass _:i .
first:V.5 rdf:type owl:Class .
_:k rdf:type owl:Restriction .
oiled:invR rdf:type owl:ObjectProperty .
_:k owl:onProperty oiled:invR .
first:V.3 rdf:type owl:Class .
_:k owl:allValuesFrom first:V.3 .
first:V.5 owl:equivalentClass _:k .
first:V.4 rdf:type owl:Class .
_:m rdf:type owl:Restriction .
oiled:invR rdf:type owl:ObjectProperty .
_:m owl:onProperty oiled:invR .
first:V.2 rdf:type owl:Class .
_:m owl:allValuesFrom first:V.2 .
first:V.4 owl:equivalentClass _:m .
first:V.3 rdf:type owl:Class .
_:o rdf:type owl:Restriction .
oiled:r1 rdf:type owl:ObjectProperty .
_:o owl:onProperty oiled:r1 .
_:o owl:allValuesFrom oiled:p.comp .
first:V.3 owl:equivalentClass _:o .
first:V.2 rdf:type owl:Class .
_:q rdf:type owl:Restriction .
_:q owl:onProperty oiled:r1 .
oiled:p rdf:type owl:Class .
_:q owl:allValuesFrom oiled:p .
first:V.2 owl:equivalentClass _:q .
oiled:p rdf:type owl:Class .
_:s rdf:type owl:Restriction .
_:s owl:onProperty first:P.1 .
_:s owl:maxCardinality "0"^^xsd:int .
oiled:p owl:equivalentClass _:s .
oiled:invR rdf:type owl:ObjectProperty .
oiled:invR owl:inverseOf oiled:r .
_:u rdf:type oiled:Satisfiable .
|
| Lite Full | Inconsistent document. | 641 |
|---|
Description:
(informative)
<description-logic/Manifest641#test>
|
| DL Test: heinsohn1.1
Tbox tests from [Heinsohn et al.]
Tests incoherency caused by disjoint concept |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent641>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent641">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c1">
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#d1"/>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#d1.comp"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#e3">
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#d1">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="P.2"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#short"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#d.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#f">
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#d"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#d">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#d"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#c">
<rdfs:subClassOf rdf:resource="http://oiled.man.example.net/test#d.comp"/>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#d1.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.2"/>
<owl:cardinality rdf:datatype="/2001/XMLSchema#short"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent641> rdf:type owl:Ontology .
oiled:c1 rdf:type owl:Class .
oiled:d1 rdf:type owl:Class .
oiled:c1 rdfs:subClassOf oiled:d1 .
oiled:d1.comp rdf:type owl:Class .
oiled:c1 rdfs:subClassOf oiled:d1.comp .
oiled:e3 rdf:type owl:Class .
oiled:c rdf:type owl:Class .
oiled:e3 rdfs:subClassOf oiled:c .
oiled:d1 rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.2 rdf:type owl:ObjectProperty .
_:a owl:onProperty first:P.2 .
_:a owl:minCardinality "1"^^xsd:short .
oiled:d1 owl:equivalentClass _:a .
oiled:d.comp rdf:type owl:Class .
_:c rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:c owl:onProperty first:P.1 .
_:c owl:minCardinality "1"^^xsd:int .
oiled:d.comp owl:equivalentClass _:c .
oiled:f rdf:type owl:Class .
oiled:d rdf:type owl:Class .
oiled:f rdfs:subClassOf oiled:d .
oiled:d rdf:type owl:Class .
_:e rdf:type owl:Restriction .
_:e owl:onProperty first:P.1 .
_:e owl:maxCardinality "0"^^xsd:int .
oiled:d owl:equivalentClass _:e .
oiled:Unsatisfiable rdf:type owl:Class .
oiled:c rdf:type owl:Class .
oiled:d rdf:type owl:Class .
_:g rdf:first oiled:d .
_:g rdf:rest rdf:nil .
_:i rdf:first oiled:c .
_:i rdf:rest _:g .
oiled:Unsatisfiable owl:intersectionOf _:i .
oiled:c rdf:type owl:Class .
oiled:c rdfs:subClassOf oiled:d.comp .
oiled:d1.comp rdf:type owl:Class .
_:k rdf:type owl:Restriction .
_:k owl:onProperty first:P.2 .
_:k owl:cardinality "0"^^xsd:short .
oiled:d1.comp owl:equivalentClass _:k .
oiled:r rdf:type owl:ObjectProperty .
_:m rdf:type oiled:Unsatisfiable .
|
| Lite Full | Inconsistent document. | 642 |
|---|
Description:
(informative)
<description-logic/Manifest642#test>
|
| DL Test: heinsohn1.2
Tbox tests from [Heinsohn et al.]
Tests incoherency caused by disjoint concept |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent642>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent642">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#e3">
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#c1">
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#d1"/>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#d1.comp"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:ID="A.3">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#d"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#d1">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="P.2"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#short"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#d.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#f">
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#d"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
</owl:onProperty>
<owl:allValuesFrom rdf:resource="#A.3"/>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/>
<owl:someValuesFrom>
<owl:Class rdf:about="/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#d">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#c">
<rdfs:subClassOf rdf:resource="http://oiled.man.example.net/test#d.comp"/>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#d1.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.2"/>
<owl:cardinality rdf:datatype="/2001/XMLSchema#short"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent642> rdf:type owl:Ontology .
oiled:e3 rdf:type owl:Class .
oiled:c rdf:type owl:Class .
oiled:e3 rdfs:subClassOf oiled:c .
oiled:c1 rdf:type owl:Class .
oiled:d1 rdf:type owl:Class .
oiled:c1 rdfs:subClassOf oiled:d1 .
oiled:d1.comp rdf:type owl:Class .
oiled:c1 rdfs:subClassOf oiled:d1.comp .
first:A.3 rdf:type owl:Class .
oiled:c rdf:type owl:Class .
oiled:d rdf:type owl:Class .
_:a rdf:first oiled:d .
_:a rdf:rest rdf:nil .
_:c rdf:first oiled:c .
_:c rdf:rest _:a .
first:A.3 owl:intersectionOf _:c .
oiled:d1 rdf:type owl:Class .
_:e rdf:type owl:Restriction .
first:P.2 rdf:type owl:ObjectProperty .
_:e owl:onProperty first:P.2 .
_:e owl:minCardinality "1"^^xsd:short .
oiled:d1 owl:equivalentClass _:e .
oiled:d.comp rdf:type owl:Class .
_:g rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:g owl:onProperty first:P.1 .
_:g owl:minCardinality "1"^^xsd:int .
oiled:d.comp owl:equivalentClass _:g .
oiled:f rdf:type owl:Class .
oiled:d rdf:type owl:Class .
oiled:f rdfs:subClassOf oiled:d .
oiled:Unsatisfiable rdf:type owl:Class .
_:i rdf:type owl:Restriction .
oiled:r rdf:type owl:ObjectProperty .
_:i owl:onProperty oiled:r .
_:i owl:allValuesFrom first:A.3 .
_:k rdf:type owl:Restriction .
_:k owl:onProperty oiled:r .
owl:Thing rdf:type owl:Class .
_:k owl:someValuesFrom owl:Thing .
_:m rdf:first _:k .
_:m rdf:rest rdf:nil .
_:o rdf:first _:i .
_:o rdf:rest _:m .
oiled:Unsatisfiable owl:intersectionOf _:o .
oiled:d rdf:type owl:Class .
_:q rdf:type owl:Restriction .
_:q owl:onProperty first:P.1 .
_:q owl:maxCardinality "0"^^xsd:int .
oiled:d owl:equivalentClass _:q .
oiled:c rdf:type owl:Class .
oiled:c rdfs:subClassOf oiled:d.comp .
oiled:d1.comp rdf:type owl:Class .
_:s rdf:type owl:Restriction .
_:s owl:onProperty first:P.2 .
_:s owl:cardinality "0"^^xsd:short .
oiled:d1.comp owl:equivalentClass _:s .
_:u rdf:type oiled:Unsatisfiable .
|
| Lite Full | Inconsistent document. | 643 |
|---|
Description:
(informative)
<description-logic/Manifest643#test>
|
| DL Test: heinsohn1.3
Tbox tests from [Heinsohn et al.]
Tests incoherency caused by disjoint concept |
| N3 format is informative. |
| Lite | Inconsistent:
<description-logic/inconsistent643>
|
<rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent643">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:about="http://oiled.man.example.net/test#c1">
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#d1"/>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#d1.comp"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#e3">
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#c"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#d1">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="P.2"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#short"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#d.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="P.1"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype="/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#f">
<rdfs:subClassOf>
<owl:Class rdf:about="http://oiled.man.example.net/test#d"/>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#d">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.1"/>
<owl:maxCardinality rdf:datatype="/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="http://oiled.man.example.net/test#e3"/>
<owl:Class rdf:about="http://oiled.man.example.net/test#f"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#c">
<rdfs:subClassOf rdf:resource="http://oiled.man.example.net/test#d.comp"/>
</owl:Class>
<owl:Class rdf:about="http://oiled.man.example.net/test#d1.comp">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#P.2"/>
<owl:cardinality rdf:datatype="/2001/XMLSchema#short"
>0</owl:cardinality>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/>
<oiled:Unsatisfiable/>
</rdf:RDF> |
<description-logic/inconsistent643> rdf:type owl:Ontology .
oiled:c1 rdf:type owl:Class .
oiled:d1 rdf:type owl:Class .
oiled:c1 rdfs:subClassOf oiled:d1 .
oiled:d1.comp rdf:type owl:Class .
oiled:c1 rdfs:subClassOf oiled:d1.comp .
oiled:e3 rdf:type owl:Class .
oiled:c rdf:type owl:Class .
oiled:e3 rdfs:subClassOf oiled:c .
oiled:d1 rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:P.2 rdf:type owl:ObjectProperty .
_:a owl:onProperty first:P.2 .
_:a owl:minCardinality "1"^^xsd:short .
oiled:d1 owl:equivalentClass _:a .
oiled:d.comp rdf:type owl:Class .
_:c rdf:type owl:Restriction .
first:P.1 rdf:type owl:DatatypeProperty .
_:c owl:onProperty first:P.1 .
_:c owl:minCardinality "1"^^xsd:int .
oiled:d.comp owl:equivalentClass _:c .
oiled:f rdf:type owl:Class .
oiled:d rdf:type owl:Class .
oiled:f rdfs:subClassOf oiled:d .
oiled:d rdf:type owl:Class .
_:e rdf:type owl:Restriction .
_:e owl:onProperty first:P.1 .
_:e owl:maxCardinality "0"^^xsd:int .
oiled:d owl:equivalentClass _:e .
oiled:Unsatisfiable rdf:type owl:Class .
oiled:e3 rdf:type owl:Class .
oiled:f rdf:type owl:Class .
_:g rdf:first oiled:f .
_:g rdf:rest rdf:nil .
_:i rdf:first oiled:e3 .
_:i rdf:rest _:g .
oiled:Unsatisfiable owl:intersectionOf _:i .
oiled:c rdf:type owl:Class .
oiled:c rdfs:subClassOf oiled:d.comp .
oiled:d1.comp rdf:type owl:Class .
_:k rdf:type owl:Restriction .
_:k owl:onProperty first:P.2 .
_:k owl:cardinality "0"^^xsd:short .
oiled:d1.comp owl:equivalentClass _:k .
oiled:r rdf:type owl:ObjectProperty .
_:m rdf:type oiled:Unsatisfiable .
|
previous
next
top contents index