Copyright © 2004 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.
これらは、役割階層間の相互関係、互いに素の概念、その他のOWL推論システムの範囲内の事項についてテストするための、一般的な充足可能性テストです。
DL Full | 矛盾したドキュメント | 001 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest001#test>
|
|||
DLテスト: fact1.1 a、b、cが互いに素である場合、(a and b)あるいは(b and c)あるいは(c and a)は充足不能です。 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent001>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent001" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#a"/> <owl:Class rdf:about="http://oiled.man.example.net/test#b"/> </owl:intersectionOf> </owl:Class> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#a"/> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> </owl:intersectionOf> </owl:Class> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#b"/> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> </owl:intersectionOf> </owl:Class> </owl:unionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#a"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#b"/> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#b"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent001> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . oiled:a rdf:type owl:Class . oiled:b rdf:type owl:Class . _:e rdf:first oiled:b . _:e rdf:rest rdf:nil . _:g rdf:first oiled:a . _:g rdf:rest _:e . _:c owl:intersectionOf _:g . _:i rdf:type owl:Class . oiled:a rdf:type owl:Class . oiled:c rdf:type owl:Class . _:k rdf:first oiled:c . _:k rdf:rest rdf:nil . _:m rdf:first oiled:a . _:m rdf:rest _:k . _:i owl:intersectionOf _:m . _:o rdf:type owl:Class . oiled:b rdf:type owl:Class . oiled:c rdf:type owl:Class . _:q rdf:first oiled:c . _:q rdf:rest rdf:nil . _:s rdf:first oiled:b . _:s rdf:rest _:q . _:o owl:intersectionOf _:s . _:u rdf:first _:o . _:u rdf:rest rdf:nil . _:w rdf:first _:i . _:w rdf:rest _:u . _:y rdf:first _:c . _:y rdf:rest _:w . _:a owl:unionOf _:y . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:a rdf:type owl:Class . _:a1 rdf:type owl:Class . _:c1 rdf:type owl:Class . oiled:b rdf:type owl:Class . oiled:c rdf:type owl:Class . _:e1 rdf:first oiled:c . _:e1 rdf:rest rdf:nil . _:g1 rdf:first oiled:b ._:g1 rdf:rest _:e1 . _:c1 owl:unionOf _:g1 . _:a1 owl:complementOf _:c1 . oiled:a rdfs:subClassOf _:a1 . oiled:b rdf:type owl:Class . _:i1 rdf:type owl:Class . oiled:c rdf:type owl:Class . _:i1 owl:complementOf oiled:c . oiled:b rdfs:subClassOf _:i1 . oiled:c rdf:type owl:Class . _:k1 rdf:type oiled:Unsatisfiable . |
DL Full | 矛盾したドキュメント。 | 002 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest002#test>
|
|||
DLテスト: fact2.1 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent002>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent002" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <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> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c"> <rdfs:subClassOf> <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> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <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> <rdfs:subClassOf> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </rdfs:subClassOf> </owl:Restriction> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent002> rdf:type owl:Ontology .oiled:Unsatisfiable rdf:type owl:Class . oiled:c rdf:type owl:Class . oiled:Unsatisfiable rdfs:subClassOf oiled:c . _:a rdf:type owl:Class . oiled:d rdf:type owl:Class . _:a owl:complementOf oiled:d . oiled:Unsatisfiable rdfs:subClassOf _:a . oiled:c rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . oiled:c rdf:type owl:Class . _:c owl:allValuesFrom oiled:c . oiled:c rdfs:subClassOf _:c . oiled:d rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:c rdf:type owl:Class . _:e owl:allValuesFrom oiled:c . oiled:d rdf:type owl:Class . _:e rdfs:subClassOf oiled:d . _:g rdf:type oiled:Unsatisfiable . |
DL Full | 矛盾したドキュメント。 | 003 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest003#test>
|
|||
DLテスト: fact3.1 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent003>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent003" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/> <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#f2"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f3"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f1"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f2"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f2"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f3"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f2"/> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#f1"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f3"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent003> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:f1 . oiled:p1 rdf:type owl:Class . _:c owl:someValuesFrom oiled:p1 . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:f2 . _:g rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:g owl:complementOf oiled:p1 . _:e owl:someValuesFrom _:g . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:f3 . oiled:p2 rdf:type owl:Class . _:i owl:someValuesFrom oiled:p2 . _:k rdf:first _:i . _:k rdf:rest rdf:nil . _:m rdf:first _:e . _:m rdf:rest _:k . _:o rdf:first _:c . _:o rdf:rest _:m . _:a owl:intersectionOf _:o . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:f1 rdf:type owl:ObjectProperty . oiled:f1 rdf:type owl:FunctionalProperty . oiled:f2 rdf:type owl:ObjectProperty . oiled:f2 rdf:type owl:FunctionalProperty . oiled:f3 rdf:type owl:ObjectProperty . oiled:f3 rdfs:subPropertyOf oiled:f2 . oiled:f3 rdfs:subPropertyOf oiled:f1 . oiled:f3 rdf:type owl:FunctionalProperty . _:q rdf:type oiled:Unsatisfiable . |
DL Full | 矛盾したドキュメント。 | 004 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest004#test>
|
|||
DLテスト: fact4.1 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent004>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent004" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#rx3"/> <owl:someValuesFrom> <owl:Class> <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:someValuesFrom> </owl:Restriction> </owl:complementOf> </owl:Class> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#rx3"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#c1"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#rx4"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#c2"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c1"/> <owl:Class rdf:about="http://oiled.man.example.net/test#c2"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx1"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx2"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx1"/> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx3"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx4"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx2"/> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx4"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rxa"/> <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"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx3a"/> <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"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx4a"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent004> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:rx3 . _:g rdf:type owl:Class . oiled:c1 rdf:type owl:Class . oiled:c2 rdf:type owl:Class . _:i rdf:first oiled:c2 . _:i rdf:rest rdf:nil . _:k rdf:first oiled:c1 . _:k rdf:rest _:i . _:g owl:intersectionOf _:k . _:e owl:someValuesFrom _:g . _:c owl:complementOf _:e . _:m rdf:type owl:Restriction . _:m owl:onProperty oiled:rx3 . oiled:c1 rdf:type owl:Class . _:m owl:someValuesFrom oiled:c1 . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:rx4 . oiled:c2 rdf:type owl:Class . _:o owl:someValuesFrom oiled:c2 . _:q rdf:first _:o . _:q rdf:rest rdf:nil . _:s rdf:first _:m . _:s rdf:rest _:q . _:u rdf:first _:c . _:u rdf:rest _:s . _:a owl:intersectionOf _:u . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:c1 rdf:type owl:Class . oiled:c2 rdf:type owl:Class . oiled:rx1 rdf:type owl:ObjectProperty . oiled:rx2 rdf:type owl:ObjectProperty . oiled:rx3 rdf:type owl:ObjectProperty . oiled:rx3 rdfs:subPropertyOf oiled:rx1 . oiled:rx3 rdfs:subPropertyOf oiled:rx . oiled:rx3 rdf:type owl:FunctionalProperty . oiled:rx4 rdf:type owl:ObjectProperty . oiled:rx4 rdfs:subPropertyOf oiled:rx2 . oiled:rx4 rdfs:subPropertyOf oiled:rx . oiled:rx4 rdf:type owl:FunctionalProperty . oiled:rxa rdf:type owl:ObjectProperty . 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 . oiled:rx rdf:type owl:ObjectProperty . oiled:rx rdf:type owl:FunctionalProperty . _:w rdf:type oiled:Unsatisfiable . |
DL Full | 整合性のあるドキュメント。 | 005 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest005#test>
|
|||
DLテスト: fact4.2 | |||
N3形式は参考情報です。 | |||
DL | 整合:
<description-logic/consistent005>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent005" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#rx3a"/> <owl:someValuesFrom> <owl:Class> <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:someValuesFrom> </owl:Restriction> </owl:complementOf> </owl:Class> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#rx3a"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#c1"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#rx4a"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#c2"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c1"/> <owl:Class rdf:about="http://oiled.man.example.net/test#c2"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx1"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx2"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx3"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx1"/> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx3"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx4"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx2"/> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#rx"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx4"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rxa"/> <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"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx3a"/> <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"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx4a"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#rx"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#rx"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/consistent005> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:rx3a . _:g rdf:type owl:Class . oiled:c1 rdf:type owl:Class . oiled:c2 rdf:type owl:Class . _:i rdf:first oiled:c2 . _:i rdf:rest rdf:nil . _:k rdf:first oiled:c1 . _:k rdf:rest _:i . _:g owl:intersectionOf _:k . _:e owl:someValuesFrom _:g . _:c owl:complementOf _:e . _:m rdf:type owl:Restriction . _:m owl:onProperty oiled:rx3a . oiled:c1 rdf:type owl:Class . _:m owl:someValuesFrom oiled:c1 . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:rx4a . oiled:c2 rdf:type owl:Class . _:o owl:someValuesFrom oiled:c2 . _:q rdf:first _:o . _:q rdf:rest rdf:nil . _:s rdf:first _:m . _:s rdf:rest _:q . _:u rdf:first _:c . _:u rdf:rest _:s . _:a owl:intersectionOf _:u . oiled:Satisfiable owl:equivalentClass _:a . oiled:c1 rdf:type owl:Class . oiled:c2 rdf:type owl:Class . oiled:rx1 rdf:type owl:ObjectProperty . oiled:rx2 rdf:type owl:ObjectProperty . oiled:rx3 rdf:type owl:ObjectProperty . oiled:rx3 rdfs:subPropertyOf oiled:rx1 . oiled:rx3 rdfs:subPropertyOf oiled:rx . oiled:rx3 rdf:type owl:FunctionalProperty . oiled:rx4 rdf:type owl:ObjectProperty . oiled:rx4 rdfs:subPropertyOf oiled:rx2 . oiled:rx4 rdfs:subPropertyOf oiled:rx . oiled:rx4 rdf:type owl:FunctionalProperty . oiled:rxa rdf:type owl:ObjectProperty . 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 . oiled:rx rdf:type owl:ObjectProperty . oiled:rx rdf:type owl:FunctionalProperty . _:w rdf:type oiled:Satisfiable . |
DL Full | 整合性のあるドキュメント。 | 006 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest006#test>
|
|||
DLテスト: t1.1 | |||
N3形式は参考情報です。 | |||
DL | 整合:
<description-logic/consistent006>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent006" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <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="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/consistent006> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty oiled:invR . _:c rdf:type owl:Class . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p1 . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . _:g owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:i rdf:first _:g . _:i rdf:rest rdf:nil . _:k rdf:first _:e . _:k rdf:rest _:i . _:c owl:intersectionOf _:k . _:a owl:someValuesFrom _:c . oiled:Satisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . _:m rdf:type owl:Class . _:o rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:q rdf:first oiled:p5 . _:q rdf:rest rdf:nil . _:s rdf:first oiled:p4 . _:s rdf:rest _:q . _:u rdf:first oiled:p3 . _:u rdf:rest _:s . _:w rdf:first oiled:p2 . _:w rdf:rest _:u . _:o owl:unionOf _:w . _:m owl:complementOf _:o . oiled:p1 rdfs:subClassOf _:m . oiled:p2 rdf:type owl:Class . _:y rdf:type owl:Class . _:a1 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:c1 rdf:first oiled:p5 . _:c1 rdf:rest rdf:nil . _:e1 rdf:first oiled:p4 . _:e1 rdf:rest _:c1 . _:g1 rdf:first oiled:p3 . _:g1 rdf:rest _:e1 . _:a1 owl:unionOf _:g1 . _:y owl:complementOf _:a1 . oiled:p2 rdfs:subClassOf _:y . oiled:p3 rdf:type owl:Class . _:i1 rdf:type owl:Class . _:k1 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:m1 rdf:first oiled:p5 . _:m1 rdf:rest rdf:nil . _:o1 rdf:first oiled:p4 . _:o1 rdf:rest _:m1 . _:k1 owl:unionOf _:o1 . _:i1 owl:complementOf _:k1 . oiled:p3 rdfs:subClassOf _:i1 . oiled:p4 rdf:type owl:Class . _:q1 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:q1 owl:complementOf oiled:p5 . oiled:p4 rdfs:subClassOf _:q1 . oiled:p5 rdf:type owl:Class . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:r rdf:type owl:ObjectProperty . _:s1 rdf:type oiled:Satisfiable . |
DL Full | 矛盾したドキュメント。 | 007 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest007#test>
|
|||
DLテスト: t1.2 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent007>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent007" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <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:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">2</owl:maxCardinality> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent007> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:c owl:someValuesFrom oiled:p1 . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:p2 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p2 . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . oiled:p3 rdf:type owl:Class . _:g owl:someValuesFrom oiled:p3 . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . _:i owl:maxCardinality "2"^^xsd:nonNegativeInteger . _: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 _:c . _:q rdf:rest _:o . _:a owl:intersectionOf _:q . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . _:s rdf:type owl:Class . _:u rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:w rdf:first oiled:p5 . _:w rdf:rest rdf:nil . _:y rdf:first oiled:p4 . _:y rdf:rest _:w . _:a1 rdf:first oiled:p3 . _:a1 rdf:rest _:y . _:c1 rdf:first oiled:p2 . _:c1 rdf:rest _:a1 . _:u owl:unionOf _:c1 . _:s owl:complementOf _:u . oiled:p1 rdfs:subClassOf _:s . oiled:p2 rdf:type owl:Class . _:e1 rdf:type owl:Class . _:g1 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:i1 rdf:first oiled:p5 . _:i1 rdf:rest rdf:nil . _:k1 rdf:first oiled:p4 . _:k1 rdf:rest _:i1 . _:m1 rdf:first oiled:p3 . _:m1 rdf:rest _:k1 . _:g1 owl:unionOf _:m1 . _:e1 owl:complementOf _:g1 . oiled:p2 rdfs:subClassOf _:e1 . oiled:p3 rdf:type owl:Class . _:o1 rdf:type owl:Class . _:q1 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:s1 rdf:first oiled:p5 . _:s1 rdf:rest rdf:nil . _:u1 rdf:first oiled:p4 . _:u1 rdf:rest _:s1 . _:q1 owl:unionOf _:u1 . _:o1 owl:complementOf _:q1 . oiled:p3 rdfs:subClassOf _:o1 . oiled:p4 rdf:type owl:Class . _:w1 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:w1 owl:complementOf oiled:p5 . oiled:p4 rdfs:subClassOf _:w1 . oiled:p5 rdf:type owl:Class . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:r rdf:type owl:ObjectProperty . _:y1 rdf:type oiled:Unsatisfiable . |
DL Full | 矛盾したドキュメント。 | 008 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest008#test>
|
|||
DLテスト: t1.3 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent008>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent008" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <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="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent008> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . oiled:p2 rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:invR . _:e rdf:type owl:Class . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:g owl:someValuesFrom oiled:p1 . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . _:i owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:k rdf:first _:i . _:k rdf:rest rdf:nil . _:m rdf:first _:g . _:m rdf:rest _:k . _:e owl:intersectionOf _:m . _:c owl:someValuesFrom _:e . _:o rdf:first _:c . _:o rdf:rest rdf:nil . _:q rdf:first oiled:p2 . _:q rdf:rest _:o . _:a owl:intersectionOf _:q . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . _:s rdf:type owl:Class . _:u rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:w rdf:first oiled:p5 . _:w rdf:rest rdf:nil . _:y rdf:first oiled:p4 . _:y rdf:rest _:w . _:a1 rdf:first oiled:p3 . _:a1 rdf:rest _:y . _:c1 rdf:first oiled:p2 . _:c1 rdf:rest _:a1 . _:u owl:unionOf _:c1 . _:s owl:complementOf _:u . oiled:p1 rdfs:subClassOf _:s . oiled:p2 rdf:type owl:Class . _:e1 rdf:type owl:Class . _:g1 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:i1 rdf:first oiled:p5 . _:i1 rdf:rest rdf:nil . _:k1 rdf:first oiled:p4 . _:k1 rdf:rest _:i1 . _:m1 rdf:first oiled:p3 . _:m1 rdf:rest _:k1 . _:g1 owl:unionOf _:m1 . _:e1 owl:complementOf _:g1 . oiled:p2 rdfs:subClassOf _:e1 . oiled:p3 rdf:type owl:Class . _:o1 rdf:type owl:Class . _:q1 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:s1 rdf:first oiled:p5 . _:s1 rdf:rest rdf:nil . _:u1 rdf:first oiled:p4 . _:u1 rdf:rest _:s1 . _:q1 owl:unionOf _:u1 . _:o1 owl:complementOf _:q1 . oiled:p3 rdfs:subClassOf _:o1 . oiled:p4 rdf:type owl:Class . _:w1 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:w1 owl:complementOf oiled:p5 . oiled:p4 rdfs:subClassOf _:w1 . oiled:p5 rdf:type owl:Class . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:r rdf:type owl:ObjectProperty . _:y1 rdf:type oiled:Unsatisfiable . |
DL Full | 整合性のあるドキュメント。 | 009 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest009#test>
|
|||
DLテスト: t10.1 | |||
N3形式は参考情報です。 | |||
DL | 整合:
<description-logic/consistent009> | ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent009" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> <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#invS"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF1"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f1"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/> <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"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#s"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f1"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/consistent009> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:f . oiled:p rdf:type owl:Class . _:c owl:someValuesFrom oiled:p . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:f1 . _:g rdf:type owl:Class . oiled:p rdf:type owl:Class . _:g owl:complementOf oiled:p . _:e owl:someValuesFrom _:g . _:i rdf:first _:e . _:i rdf:rest rdf:nil . _:k rdf:first _:c . _:k rdf:rest _:i . _:a owl:intersectionOf _:k . oiled:Satisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invS rdf:type owl:ObjectProperty . oiled:invS owl:inverseOf oiled:s . oiled:invF1 rdf:type owl:ObjectProperty . oiled:invF1 owl:inverseOf oiled:f1 . oiled:f rdf:type owl:ObjectProperty . oiled:f rdf:type owl:FunctionalProperty . 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:f1 rdf:type owl:ObjectProperty . oiled:f1 rdf:type owl:FunctionalProperty . _:m rdf:type oiled:Satisfiable . |
DL Full | 矛盾したドキュメント。 | 010 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest010#test>
|
|||
DLテスト: t10.2 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent010>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent010" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:complementOf> </owl:Class> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invS"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:allValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/> <owl:allValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:someValuesFrom> </owl:Restriction> </owl:allValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> <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#invS"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF1"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f1"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/> <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"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#s"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f1"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent010> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . oiled:p rdf:type owl:Class . _:c owl:complementOf oiled:p . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:f . _:g rdf:type owl:Class . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invS . oiled:p rdf:type owl:Class . _:i owl:allValuesFrom oiled:p . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:invF . _:m rdf:type owl:Restriction . _:m owl:onProperty oiled:s . oiled:p rdf:type owl:Class . _:m owl:someValuesFrom oiled:p . _:k owl:allValuesFrom _:m . _:o rdf:first _:k . _:o rdf:rest rdf:nil . _:q rdf:first _:i . _:q rdf:rest _:o . _:g owl:intersectionOf _:q . _:e owl:someValuesFrom _:g . _:s rdf:first _:e . _:s rdf:rest rdf:nil . _:u rdf:first _:c . _:u rdf:rest _:s . _:a owl:intersectionOf _:u . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invS rdf:type owl:ObjectProperty . oiled:invS owl:inverseOf oiled:s . oiled:invF1 rdf:type owl:ObjectProperty . oiled:invF1 owl:inverseOf oiled:f1 . oiled:f rdf:type owl:ObjectProperty . oiled:f rdf:type owl:FunctionalProperty . 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:f1 rdf:type owl:ObjectProperty . oiled:f1 rdf:type owl:FunctionalProperty . _:w rdf:type oiled:Unsatisfiable . |
DL Full | 矛盾したドキュメント。 | 011 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest011#test>
|
|||
DLテスト: t10.3 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent011>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent011" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/> <owl:allValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:complementOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invS"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> <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#invS"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF1"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f1"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/> <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"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#s"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f1"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent011> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:s . _:e rdf:type owl:Class . oiled:p rdf:type owl:Class . _:e owl:complementOf oiled:p . _:c owl:allValuesFrom _:e . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:s . _:i rdf:type owl:Class . oiled:p rdf:type owl:Class . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:invS . oiled:p rdf:type owl:Class . _:k owl:someValuesFrom oiled:p . _:m rdf:first _:k . _:m rdf:rest rdf:nil . _:o rdf:first oiled:p . _:o rdf:rest _:m . _:i owl:intersectionOf _:o . _:g owl:someValuesFrom _:i . _:q rdf:first _:g . _:q rdf:rest rdf:nil . _:s rdf:first _:c . _:s rdf:rest _:q . _:a owl:intersectionOf _:s . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invS rdf:type owl:ObjectProperty . oiled:invS owl:inverseOf oiled:s . oiled:invF1 rdf:type owl:ObjectProperty . oiled:invF1 owl:inverseOf oiled:f1 . oiled:f rdf:type owl:ObjectProperty . oiled:f rdf:type owl:FunctionalProperty . 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:f1 rdf:type owl:ObjectProperty . oiled:f1 rdf:type owl:FunctionalProperty . _:u rdf:type oiled:Unsatisfiable . |
DL Full | 矛盾したドキュメント。 | 012 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest012#test>
|
|||
DLテスト: t10.4 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent012>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent012" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/> <owl:someValuesFrom> <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> <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#invS"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF1"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f1"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/> <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"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#s"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f1"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent012> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:f . oiled:p rdf:type owl:Class . _:c owl:someValuesFrom oiled:p . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:s . owl:Thing rdf:type owl:Class . _:e owl:someValuesFrom owl:Thing . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:f1 . _:i rdf:type owl:Class . oiled:p rdf:type owl:Class . _:i owl:complementOf oiled:p . _:g owl:someValuesFrom _:i . _:k rdf:first _:g . _:k rdf:rest rdf:nil . _:m rdf:first _:e . _:m rdf:rest _:k . _:o rdf:first _:c . _:o rdf:rest _:m . _:a owl:intersectionOf _:o . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invS rdf:type owl:ObjectProperty . oiled:invS owl:inverseOf oiled:s . oiled:invF1 rdf:type owl:ObjectProperty . oiled:invF1 owl:inverseOf oiled:f1 . oiled:f rdf:type owl:ObjectProperty . oiled:f rdf:type owl:FunctionalProperty . 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:f1 rdf:type owl:ObjectProperty . oiled:f1 rdf:type owl:FunctionalProperty . _:q rdf:type oiled:Unsatisfiable . |
DL Full | 矛盾したドキュメント。 | 013 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest013#test>
|
|||
DLテスト: t10.5 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent013>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent013" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:complementOf> </owl:Class> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF1"/> <owl:allValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/> <owl:someValuesFrom> <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/> </owl:someValuesFrom> </owl:Restriction> </owl:allValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> <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#invS"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#s"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invF1"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#f1"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/> <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"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#s"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f1"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent013> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:f . oiled:p rdf:type owl:Class . _:c owl:someValuesFrom oiled:p . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:f1 . _:g rdf:type owl:Class . _:i rdf:type owl:Class . oiled:p rdf:type owl:Class . _:i owl:complementOf oiled:p . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:invF1 . _:m rdf:type owl:Restriction . _:m owl:onProperty oiled:s . owl:Thing rdf:type owl:Class . _:m owl:someValuesFrom owl:Thing . _:k owl:allValuesFrom _:m . _:o rdf:first _:k . _:o rdf:rest rdf:nil . _:q rdf:first _:i . _:q rdf:rest _:o . _:g owl:intersectionOf _:q . _:e owl:someValuesFrom _:g . _:s rdf:first _:e . _:s rdf:rest rdf:nil . _:u rdf:first _:c . _:u rdf:rest _:s . _:a owl:intersectionOf _:u . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invS rdf:type owl:ObjectProperty . oiled:invS owl:inverseOf oiled:s . oiled:invF1 rdf:type owl:ObjectProperty . oiled:invF1 owl:inverseOf oiled:f1 . oiled:f rdf:type owl:ObjectProperty . oiled:f rdf:type owl:FunctionalProperty . 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:f1 rdf:type owl:ObjectProperty . oiled:f1 rdf:type owl:FunctionalProperty . _:w rdf:type oiled:Unsatisfiable . |
DL Full | 矛盾したドキュメント。 | 014 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest014#test>
|
|||
DLテスト: t11.1 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent014>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent014" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:complementOf> </owl:Class> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invS"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:allValuesFrom> </owl:Restriction> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> <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#r"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent014> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . oiled:p rdf:type owl:Class . _:c owl:complementOf oiled:p . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . _:e owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invS . oiled:p rdf:type owl:Class . _:i owl:allValuesFrom oiled:p . _:g owl:someValuesFrom _:i . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:s . oiled:p rdf:type owl:Class . _:k owl:someValuesFrom oiled:p . _:m rdf:first _:k . _:m rdf:rest rdf:nil . _:o rdf:first _:g . _:o rdf:rest _:m . _:q rdf:first _:e . _:q rdf:rest _:o . _:s rdf:first _:c . _:s rdf:rest _:q . _:a owl:intersectionOf _:s . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:invS rdf:type owl:ObjectProperty . oiled:invS owl:inverseOf oiled:s . oiled:r rdf:type owl:ObjectProperty . oiled:s rdf:type owl:ObjectProperty . oiled:s rdfs:subPropertyOf oiled:r . _:u rdf:type oiled:Unsatisfiable . |
DL Full | 矛盾したドキュメント。 | 015 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest015#test>
|
|||
DLテスト: t12.1 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent015>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent015" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#q"/> </owl:complementOf> </owl:Class> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/> <owl:someValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#s"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:allValuesFrom> </owl:Restriction> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> <owl:Class rdf:about="http://oiled.man.example.net/test#q"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent015> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:s . _:e rdf:type owl:Class . _:g rdf:type owl:Class . oiled:p rdf:type owl:Class . _:g owl:complementOf oiled:p . _:i rdf:type owl:Class . oiled:q rdf:type owl:Class . _:i owl:complementOf oiled:q . _:k rdf:first _:i . _:k rdf:rest rdf:nil . _:m rdf:first _:g . _:m rdf:rest _:k . _:e owl:intersectionOf _:m . _:c owl:someValuesFrom _:e . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:r . _:q rdf:type owl:Class . _:s rdf:type owl:Restriction . _:s owl:onProperty oiled:invR . _:s owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:u rdf:type owl:Restriction . _:u owl:onProperty oiled:invR . _:w rdf:type owl:Restriction . _:w owl:onProperty oiled:s . oiled:p rdf:type owl:Class . _:w owl:allValuesFrom oiled:p . _:u owl:someValuesFrom _:w . _:y rdf:first _:u . _:y rdf:rest rdf:nil . _:a1 rdf:first _:s . _:a1 rdf:rest _:y . _:q owl:intersectionOf _:a1 . _:o owl:someValuesFrom _:q . _:c1 rdf:first _:o . _:c1 rdf:rest rdf:nil . _:e1 rdf:first _:c . _:e1 rdf:rest _:c1 . _:a owl:intersectionOf _:e1 . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:q rdf:type owl:Class . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:r rdf:type owl:ObjectProperty . oiled:s rdf:type owl:ObjectProperty . _:g1 rdf:type oiled:Unsatisfiable . |
DL Full | 整合性のあるドキュメント。 | 016 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest016#test>
|
|||
DLテスト: t2.1 | |||
N3形式は参考情報です。 | |||
DL | 整合:
<description-logic/consistent016>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent016" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/> <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#f2"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <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> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f2"/> <rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' > <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality> </owl:Restriction> </rdfs:subClassOf> </rdf:Description> <rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' > <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f2"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality> </owl:Restriction> </rdfs:subClassOf> </rdf:Description> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/consistent016> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:f1 . oiled:p1 rdf:type owl:Class . _:c owl:someValuesFrom oiled:p1 . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:f2 . oiled:p2 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p2 . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:i rdf:first _:c . _:i rdf:rest _:g . _:a owl:intersectionOf _:i . oiled:Satisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . _:k rdf:type owl:Class . oiled:p2 rdf:type owl:Class . _:k owl:complementOf oiled:p2 . oiled:p1 rdfs:subClassOf _:k . oiled:p2 rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . oiled:r rdfs:subPropertyOf oiled:f2 . oiled:r rdfs:subPropertyOf oiled:f1 . oiled:f1 rdf:type owl:ObjectProperty . oiled:f2 rdf:type owl:ObjectProperty . _:m rdf:type owl:Restriction . _:m owl:onProperty oiled:f1 . _:m owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:m . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:f2 . _:o owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:o . _:q rdf:type oiled:Satisfiable . |
DL Full | 矛盾したドキュメント。 | 017 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest017#test>
|
|||
DLテスト: t2.2 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent017>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent017" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/> <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#f2"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <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> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f1"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f2"/> <rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' > <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f1"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality> </owl:Restriction> </rdfs:subClassOf> </rdf:Description> <rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' > <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f2"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality> </owl:Restriction> </rdfs:subClassOf> </rdf:Description> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent017> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:f1 . oiled:p1 rdf:type owl:Class . _:c owl:someValuesFrom oiled:p1 . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:f2 . oiled:p2 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p2 . _:g rdf:type owl:Restriction . _: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 . _:a owl:intersectionOf _:m . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . _:o rdf:type owl:Class . oiled:p2 rdf:type owl:Class . _:o owl:complementOf oiled:p2 . oiled:p1 rdfs:subClassOf _:o . oiled:p2 rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . oiled:r rdfs:subPropertyOf oiled:f2 . oiled:r rdfs:subPropertyOf oiled:f1 . oiled:f1 rdf:type owl:ObjectProperty . oiled:f2 rdf:type owl:ObjectProperty . _:q rdf:type owl:Restriction . _:q owl:onProperty oiled:f1 . _:q owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:q ._:s rdf:type owl:Restriction . _:s owl:onProperty oiled:f2 . _:s owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:s . _:u rdf:type oiled:Unsatisfiable . |
DL Full | 整合性のあるドキュメント。 | 018 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest018#test>
|
|||
DLテスト: t3.1 充足可能なケースには90のパーティションが存在しえます。 | |||
N3形式は参考情報です。 | |||
DL | 整合:
<description-logic/consistent018>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent018" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <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:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">3</owl:maxCardinality> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/consistent018> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:c owl:someValuesFrom oiled:p1 . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:p2 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p2 . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . oiled:p3 rdf:type owl:Class . _:g owl:someValuesFrom oiled:p3 . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . _:k rdf:type owl:Class . oiled:p1 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:m rdf:first oiled:p . _:m rdf:rest rdf:nil . _:o rdf:first oiled:p1 . _:o rdf:rest _:m . _:k owl:intersectionOf _:o . _:i owl:someValuesFrom _:k . _:q rdf:type owl:Restriction . _:q owl:onProperty oiled:r . _:s rdf:type owl:Class .oiled:p2 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:u rdf:first oiled:p . _:u rdf:rest rdf:nil . _:w rdf:first oiled:p2 . _:w rdf:rest _:u . _:s owl:intersectionOf _:w . _:q owl:someValuesFrom _:s . _:y rdf:type owl:Restriction . _:y owl:onProperty oiled:r . _:a1 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:c1 rdf:first oiled:p . _:c1 rdf:rest rdf:nil . _:e1 rdf:first oiled:p3 . _:e1 rdf:rest _:c1 . _:a1 owl:intersectionOf _:e1 . _:y owl:someValuesFrom _:a1 . _:g1 rdf:type owl:Restriction . _:g1 owl:onProperty oiled:r . _:g1 owl:maxCardinality "3"^^xsd:nonNegativeInteger . _:i1 rdf:first _:g1 . _:i1 rdf:rest rdf:nil . _:k1 rdf:first _:y . _:k1 rdf:rest _:i1 . _:m1 rdf:first _:q . _:m1 rdf:rest _:k1 . _:o1 rdf:first _:i . _:o1 rdf:rest _:m1 . _:q1 rdf:first _:g . _:q1 rdf:rest _:o1 . _:s1 rdf:first _:e . _:s1 rdf:rest _:q1 . _:u1 rdf:first _:c . _:u1 rdf:rest _:s1 . _:a owl:intersectionOf _:u1 . oiled:Satisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:w1 rdf:type owl:Class . _:y1 rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:a2 rdf:first oiled:p5 . _:a2 rdf:rest rdf:nil . _:c2 rdf:first oiled:p4 . _:c2 rdf:rest _:a2 . _:e2 rdf:first oiled:p3 . _:e2 rdf:rest _:c2 . _:g2 rdf:first oiled:p2 . _:g2 rdf:rest _:e2 . _:y1 owl:unionOf _:g2 . _:w1 owl:complementOf _:y1 . oiled:p1 rdfs:subClassOf _:w1 . oiled:p2 rdf:type owl:Class . _:i2 rdf:type owl:Class . _:k2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:m2 rdf:first oiled:p5 . _:m2 rdf:rest rdf:nil . _:o2 rdf:first oiled:p4 . _:o2 rdf:rest _:m2 . _:q2 rdf:first oiled:p3 . _:q2 rdf:rest _:o2 . _:k2 owl:unionOf _:q2 . _:i2 owl:complementOf _:k2 . oiled:p2 rdfs:subClassOf _:i2 . oiled:p3 rdf:type owl:Class . _:s2 rdf:type owl:Class . _:u2 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:w2 rdf:first oiled:p5 . _:w2 rdf:rest rdf:nil . _:y2 rdf:first oiled:p4 . _:y2 rdf:rest _:w2 . _:u2 owl:unionOf _:y2 . _:s2 owl:complementOf _:u2 . oiled:p3 rdfs:subClassOf _:s2 . oiled:p4 rdf:type owl:Class . _:a3 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:a3 owl:complementOf oiled:p5 . oiled:p4 rdfs:subClassOf _:a3 . oiled:p5 rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . _:c3 rdf:type oiled:Satisfiable . |
DL Full | 矛盾したドキュメント。 | 019 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest019#test>
|
|||
DLテスト: t3.2 充足不可能なケースには301のパーティションが存在しえます。 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent019>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent019" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <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:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">3</owl:maxCardinality> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent019> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:c owl:someValuesFrom oiled:p1 . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:p2 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p2 . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . oiled:p3 rdf:type owl:Class . _:g owl:someValuesFrom oiled:p3 . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . _:k rdf:type owl:Class . oiled:p1 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:m rdf:first oiled:p . _:m rdf:rest rdf:nil . _:o rdf:first oiled:p1 . _:o rdf:rest _:m . _:k owl:intersectionOf _:o . _:i owl:someValuesFrom _:k . _:q rdf:type owl:Restriction . _:q owl:onProperty oiled:r . _:s rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:u rdf:first oiled:p . _:u rdf:rest rdf:nil . _:w rdf:first oiled:p2 . _:w rdf:rest _:u . _:s owl:intersectionOf _:w . _:q owl:someValuesFrom _:s . _:y rdf:type owl:Restriction . _:y owl:onProperty oiled:r . _:a1 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:c1 rdf:first oiled:p . _:c1 rdf:rest rdf:nil . _:e1 rdf:first oiled:p3 . _:e1 rdf:rest _:c1 . _:a1 owl:intersectionOf _:e1 . _:y owl:someValuesFrom _:a1 . _:g1 rdf:type owl:Restriction . _:g1 owl:onProperty oiled:r . _:g1 owl:maxCardinality "3"^^xsd:nonNegativeInteger . _:i1 rdf:type owl:Restriction . _:i1 owl:onProperty oiled:r . oiled:p4 rdf:type owl:Class . _:i1 owl:someValuesFrom oiled:p4 . _:k1 rdf:first _:i1 . _:k1 rdf:rest rdf:nil . _:m1 rdf:first _:g1 . _:m1 rdf:rest _:k1 . _:o1 rdf:first _:y . _:o1 rdf:rest _:m1 . _:q1 rdf:first _:q . _:q1 rdf:rest _:o1 . _:s1 rdf:first _:i . _:s1 rdf:rest _:q1 . _:u1 rdf:first _:g . _:u1 rdf:rest _:s1 . _:w1 rdf:first _:e . _:w1 rdf:rest _:u1 . _:y1 rdf:first _:c . _:y1 rdf:rest _:w1 . _:a owl:intersectionOf _:y1 . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:a2 rdf:type owl:Class . _:c2 rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:e2 rdf:first oiled:p5 . _:e2 rdf:rest rdf:nil . _:g2 rdf:first oiled:p4 . _:g2 rdf:rest _:e2 . _:i2 rdf:first oiled:p3 . _:i2 rdf:rest _:g2 . _:k2 rdf:first oiled:p2 . _:k2 rdf:rest _:i2 . _:c2 owl:unionOf _:k2 . _:a2 owl:complementOf _:c2 . oiled:p1 rdfs:subClassOf _:a2 . oiled:p2 rdf:type owl:Class . _:m2 rdf:type owl:Class . _:o2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:q2 rdf:first oiled:p5 . _:q2 rdf:rest rdf:nil . _:s2 rdf:first oiled:p4 . _:s2 rdf:rest _:q2 . _:u2 rdf:first oiled:p3 . _:u2 rdf:rest _:s2 . _:o2 owl:unionOf _:u2 . _:m2 owl:complementOf _:o2 . oiled:p2 rdfs:subClassOf _:m2 . oiled:p3 rdf:type owl:Class . _:w2 rdf:type owl:Class . _:y2 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:a3 rdf:first oiled:p5 . _:a3 rdf:rest rdf:nil . _:c3 rdf:first oiled:p4 . _:c3 rdf:rest _:a3 . _:y2 owl:unionOf _:c3 . _:w2 owl:complementOf _:y2 . oiled:p3 rdfs:subClassOf _:w2 . oiled:p4 rdf:type owl:Class . _:e3 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:e3 owl:complementOf oiled:p5 . oiled:p4 rdfs:subClassOf _:e3 . oiled:p5 rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . _:g3 rdf:type oiled:Unsatisfiable . |
DL Full | 整合性のあるドキュメント。 | 020 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest020#test>
|
|||
DLテスト: t3a.1 充足可能なケースには1,701のパーティションが存在しえます。 | |||
N3形式は参考情報です。 | |||
DL | 整合:
<description-logic/consistent020>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent020" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <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:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">4</owl:maxCardinality> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/consistent020> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:c owl:someValuesFrom oiled:p1 . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:p2 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p2 . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . oiled:p3 rdf:type owl:Class . _:g owl:someValuesFrom oiled:p3 . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . oiled:p4 rdf:type owl:Class . _:i owl:someValuesFrom oiled:p4 . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:r ._:m rdf:type owl:Class . oiled:p1 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:o rdf:first oiled:p . _:o rdf:rest rdf:nil . _:q rdf:first oiled:p1 . _:q rdf:rest _:o . _:m owl:intersectionOf _:q . _:k owl:someValuesFrom _:m . _:s rdf:type owl:Restriction . _:s owl:onProperty oiled:r . _:u rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:w rdf:first oiled:p . _:w rdf:rest rdf:nil . _:y rdf:first oiled:p2 . _:y rdf:rest _:w . _:u owl:intersectionOf _:y . _:s owl:someValuesFrom _:u . _:a1 rdf:type owl:Restriction . _:a1 owl:onProperty oiled:r . _:c1 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:e1 rdf:first oiled:p . _:e1 rdf:rest rdf:nil . _:g1 rdf:first oiled:p3 . _:g1 rdf:rest _:e1 . _:c1 owl:intersectionOf _:g1 . _:a1 owl:someValuesFrom _:c1 . _:i1 rdf:type owl:Restriction . _:i1 owl:onProperty oiled:r . _:k1 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:m1 rdf:first oiled:p . _:m1 rdf:rest rdf:nil . _:o1 rdf:first oiled:p4 . _:o1 rdf:rest _:m1 . _:k1 owl:intersectionOf _:o1 . _:i1 owl:someValuesFrom _:k1 . _:q1 rdf:type owl:Restriction . _:q1 owl:onProperty oiled:r . _:q1 owl:maxCardinality "4"^^xsd:nonNegativeInteger . _:s1 rdf:first _:q1 . _:s1 rdf:rest rdf:nil . _:u1 rdf:first _:i1 . _:u1 rdf:rest _:s1 . _:w1 rdf:first _:a1 . _:w1 rdf:rest _:u1 . _:y1 rdf:first _:s . _:y1 rdf:rest _:w1 . _:a2 rdf:first _:k . _:a2 rdf:rest _:y1 . _:c2 rdf:first _:i . _:c2 rdf:rest _:a2 . _:e2 rdf:first _:g . _:e2 rdf:rest _:c2 . _:g2 rdf:first _:e . _:g2 rdf:rest _:e2 . _:i2 rdf:first _:c . _:i2 rdf:rest _:g2 . _:a owl:intersectionOf _:i2 . oiled:Satisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:k2 rdf:type owl:Class . _:m2 rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:o2 rdf:first oiled:p5 . _:o2 rdf:rest rdf:nil . _:q2 rdf:first oiled:p4 . _:q2 rdf:rest _:o2 . _:s2 rdf:first oiled:p3 . _:s2 rdf:rest _:q2 . _:u2 rdf:first oiled:p2 . _:u2 rdf:rest _:s2 . _:m2 owl:unionOf _:u2 . _:k2 owl:complementOf _:m2 . oiled:p1 rdfs:subClassOf _:k2 . oiled:p2 rdf:type owl:Class . _:w2 rdf:type owl:Class . _:y2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:a3 rdf:first oiled:p5 . _:a3 rdf:rest rdf:nil . _:c3 rdf:first oiled:p4 . _:c3 rdf:rest _:a3 . _:e3 rdf:first oiled:p3 . _:e3 rdf:rest _:c3 . _:y2 owl:unionOf _:e3 . _:w2 owl:complementOf _:y2 . oiled:p2 rdfs:subClassOf _:w2 . oiled:p3 rdf:type owl:Class . _:g3 rdf:type owl:Class . _:i3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:k3 rdf:first oiled:p5 . _:k3 rdf:rest rdf:nil . _:m3 rdf:first oiled:p4 . _:m3 rdf:rest _:k3 . _:i3 owl:unionOf _:m3 . _:g3 owl:complementOf _:i3 . oiled:p3 rdfs:subClassOf _:g3 . oiled:p4 rdf:type owl:Class . _:o3 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:o3 owl:complementOf oiled:p5 . oiled:p4 rdfs:subClassOf _:o3 . oiled:p5 rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . _:q3 rdf:type oiled:Satisfiable . |
DL Full | 整合性のあるドキュメント。 | 021 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest021#test>
|
|||
DLテスト: t3a.2 充足不可能なケースには7,770のパーティションが存在しえます。 | |||
N3形式は参考情報です。 | |||
DL | 整合:
<description-logic/consistent021>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent021" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <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:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">5</owl:maxCardinality> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/consistent021> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:c owl:someValuesFrom oiled:p1 . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:p2 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p2 . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . oiled:p3 rdf:type owl:Class . _:g owl:someValuesFrom oiled:p3 . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . oiled:p4 rdf:type owl:Class . _:i owl:someValuesFrom oiled:p4 . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:r . _:m rdf:type owl:Class . oiled:p1 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:o rdf:first oiled:p . _:o rdf:rest rdf:nil . _:q rdf:first oiled:p1 . _:q rdf:rest _:o . _:m owl:intersectionOf _:q . _:k owl:someValuesFrom _:m . _:s rdf:type owl:Restriction . _:s owl:onProperty oiled:r . _:u rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:w rdf:first oiled:p . _:w rdf:rest rdf:nil . _:y rdf:first oiled:p2 . _:y rdf:rest _:w . _:u owl:intersectionOf _:y . _:s owl:someValuesFrom _:u . _:a1 rdf:type owl:Restriction . _:a1 owl:onProperty oiled:r . _:c1 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:e1 rdf:first oiled:p . _:e1 rdf:rest rdf:nil . _:g1 rdf:first oiled:p3 . _:g1 rdf:rest _:e1 . _:c1 owl:intersectionOf _:g1 . _:a1 owl:someValuesFrom _:c1 . _:i1 rdf:type owl:Restriction . _:i1 owl:onProperty oiled:r . _:k1 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:m1 rdf:first oiled:p . _:m1 rdf:rest rdf:nil . _:o1 rdf:first oiled:p4 . _:o1 rdf:rest _:m1 . _:k1 owl:intersectionOf _:o1 . _:i1 owl:someValuesFrom _:k1 . _:q1 rdf:type owl:Restriction . _:q1 owl:onProperty oiled:r . _:q1 owl:maxCardinality "5"^^xsd:nonNegativeInteger . _:s1 rdf:type owl:Restriction . _:s1 owl:onProperty oiled:r . oiled:p5 rdf:type owl:Class . _:s1 owl:someValuesFrom oiled:p5 . _:u1 rdf:type owl:Restriction . _:u1 owl:onProperty oiled:r . _:w1 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:y1 rdf:first oiled:p . _:y1 rdf:rest rdf:nil . _:a2 rdf:first oiled:p5 . _:a2 rdf:rest _:y1 . _:w1 owl:intersectionOf _:a2 . _:u1 owl:someValuesFrom _:w1 . _:c2 rdf:first _:u1 . _:c2 rdf:rest rdf:nil . _:e2 rdf:first _:s1 . _:e2 rdf:rest _:c2 . _:g2 rdf:first _:q1 . _:g2 rdf:rest _:e2 . _:i2 rdf:first _:i1 . _:i2 rdf:rest _:g2 . _:k2 rdf:first _:a1 . _:k2 rdf:rest _:i2 . _:m2 rdf:first _:s . _:m2 rdf:rest _:k2 . _:o2 rdf:first _:k . _:o2 rdf:rest _:m2 . _:q2 rdf:first _:i . _:q2 rdf:rest _:o2 . _:s2 rdf:first _:g . _:s2 rdf:rest _:q2 . _:u2 rdf:first _:e . _:u2 rdf:rest _:s2 . _:w2 rdf:first _:c . _:w2 rdf:rest _:u2 . _:a owl:intersectionOf _:w2 . oiled:Satisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:y2 rdf:type owl:Class . _:a3 rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:c3 rdf:first oiled:p5 . _:c3 rdf:rest rdf:nil . _:e3 rdf:first oiled:p4 . _:e3 rdf:rest _:c3 . _:g3 rdf:first oiled:p3 . _:g3 rdf:rest _:e3 . _:i3 rdf:first oiled:p2 . _:i3 rdf:rest _:g3 . _:a3 owl:unionOf _:i3 . _:y2 owl:complementOf _:a3 . oiled:p1 rdfs:subClassOf _:y2 . oiled:p2 rdf:type owl:Class . _:k3 rdf:type owl:Class . _:m3 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:o3 rdf:first oiled:p5 . _:o3 rdf:rest rdf:nil . _:q3 rdf:first oiled:p4 . _:q3 rdf:rest _:o3 . _:s3 rdf:first oiled:p3 . _:s3 rdf:rest _:q3 . _:m3 owl:unionOf _:s3 . _:k3 owl:complementOf _:m3 . oiled:p2 rdfs:subClassOf _:k3 . oiled:p3 rdf:type owl:Class . _:u3 rdf:type owl:Class . _:w3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:y3 rdf:first oiled:p5 . _:y3 rdf:rest rdf:nil . _:a4 rdf:first oiled:p4 . _:a4 rdf:rest _:y3 . _:w3 owl:unionOf _:a4 . _:u3 owl:complementOf _:w3 . oiled:p3 rdfs:subClassOf _:u3 . oiled:p4 rdf:type owl:Class . _:c4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:c4 owl:complementOf oiled:p5 . oiled:p4 rdfs:subClassOf _:c4 . oiled:p5 rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . _:e4 rdf:type oiled:Satisfiable . |
DL Full | 矛盾したドキュメント。 | 022 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest022#test>
|
|||
DLテスト: t3a.3 充足可能なケースには42,525のパーティションが存在しえます。 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent022>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent022" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <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:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">4</owl:maxCardinality> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent022> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:c owl:someValuesFrom oiled:p1 . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . oiled:p2 rdf:type owl:Class . _:e owl:someValuesFrom oiled:p2 . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r . oiled:p3 rdf:type owl:Class . _:g owl:someValuesFrom oiled:p3 . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . oiled:p4 rdf:type owl:Class . _:i owl:someValuesFrom oiled:p4 . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:r . _:m rdf:type owl:Class . oiled:p1 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:o rdf:first oiled:p . _:o rdf:rest rdf:nil . _:q rdf:first oiled:p1 . _:q rdf:rest _:o . _:m owl:intersectionOf _:q . _:k owl:someValuesFrom _:m . _:s rdf:type owl:Restriction . _:s owl:onProperty oiled:r . _:u rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:w rdf:first oiled:p . _:w rdf:rest rdf:nil . _:y rdf:first oiled:p2 . _:y rdf:rest _:w . _:u owl:intersectionOf _:y . _:s owl:someValuesFrom _:u . _:a1 rdf:type owl:Restriction . _:a1 owl:onProperty oiled:r . _:c1 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:e1 rdf:first oiled:p . _:e1 rdf:rest rdf:nil . _:g1 rdf:first oiled:p3 . _:g1 rdf:rest _:e1 . _:c1 owl:intersectionOf _:g1 . _:a1 owl:someValuesFrom _:c1 . _:i1 rdf:type owl:Restriction . _:i1 owl:onProperty oiled:r . _:k1 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p rdf:type owl:Class . _:m1 rdf:first oiled:p . _:m1 rdf:rest rdf:nil . _:o1 rdf:first oiled:p4 . _:o1 rdf:rest _:m1 . _:k1 owl:intersectionOf _:o1 . _:i1 owl:someValuesFrom _:k1 . _:q1 rdf:type owl:Restriction . _:q1 owl:onProperty oiled:r . _:q1 owl:maxCardinality "4"^^xsd:nonNegativeInteger . _:s1 rdf:type owl:Restriction . _:s1 owl:onProperty oiled:r . oiled:p5 rdf:type owl:Class . _:s1 owl:someValuesFrom oiled:p5 . _:u1 rdf:first _:s1 . _:u1 rdf:rest rdf:nil . _:w1 rdf:first _:q1 . _:w1 rdf:rest _:u1 . _:y1 rdf:first _:i1 . _:y1 rdf:rest _:w1 . _:a2 rdf:first _:a1 . _:a2 rdf:rest _:y1 . _:c2 rdf:first _:s . _:c2 rdf:rest _:a2 . _:e2 rdf:first _:k . _:e2 rdf:rest _:c2 . _:g2 rdf:first _:i . _:g2 rdf:rest _:e2 . _:i2 rdf:first _:g . _:i2 rdf:rest _:g2 . _:k2 rdf:first _:e . _:k2 rdf:rest _:i2 . _:m2 rdf:first _:c . _:m2 rdf:rest _:k2 . _:a owl:intersectionOf _:m2 . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:o2 rdf:type owl:Class . _:q2 rdf:type owl:Class . oiled:p2 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:s2 rdf:first oiled:p5 . _:s2 rdf:rest rdf:nil . _:u2 rdf:first oiled:p4 . _:u2 rdf:rest _:s2 . _:w2 rdf:first oiled:p3 . _:w2 rdf:rest _:u2 . _:y2 rdf:first oiled:p2 . _:y2 rdf:rest _:w2 . _:q2 owl:unionOf _:y2 . _:o2 owl:complementOf _:q2 . oiled:p1 rdfs:subClassOf _:o2 . oiled:p2 rdf:type owl:Class . _:a3 rdf:type owl:Class . _:c3 rdf:type owl:Class . oiled:p3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:e3 rdf:first oiled:p5 . _:e3 rdf:rest rdf:nil . _:g3 rdf:first oiled:p4 . _:g3 rdf:rest _:e3 . _:i3 rdf:first oiled:p3 . _:i3 rdf:rest _:g3 . _:c3 owl:unionOf _:i3 . _:a3 owl:complementOf _:c3 . oiled:p2 rdfs:subClassOf _:a3 . oiled:p3 rdf:type owl:Class . _:k3 rdf:type owl:Class . _:m3 rdf:type owl:Class . oiled:p4 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:o3 rdf:first oiled:p5 . _:o3 rdf:rest rdf:nil . _:q3 rdf:first oiled:p4 . _:q3 rdf:rest _:o3 . _:m3 owl:unionOf _:q3 . _:k3 owl:complementOf _:m3 . oiled:p3 rdfs:subClassOf _:k3 . oiled:p4 rdf:type owl:Class . _:s3 rdf:type owl:Class . oiled:p5 rdf:type owl:Class . _:s3 owl:complementOf oiled:p5 . oiled:p4 rdfs:subClassOf _:s3 . oiled:p5 rdf:type owl:Class . oiled:r rdf:type owl:ObjectProperty . _:u3 rdf:type oiled:Unsatisfiable . |
DL Full | 矛盾したドキュメント。 | 023 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest023#test>
|
|||
DLテスト: t4.1 動的ブロッキングの例。 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent023>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent023" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <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 rdf:resource="http://oiled.man.example.net/test#s"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#p"/> <owl:someValuesFrom> <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/> </owl:someValuesFrom> </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 rdf:resource="http://oiled.man.example.net/test#p"/> <owl:allValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/> </owl:someValuesFrom> </owl:Restriction> </owl:allValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#p"/> <owl:allValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#p"/> <owl:someValuesFrom> <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/> </owl:someValuesFrom> </owl:Restriction> </owl:allValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#p"/> <owl:allValuesFrom> <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:allValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#a"/> <owl:Class rdf:about="http://oiled.man.example.net/test#c"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/> <owl:allValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invP"/> <owl:allValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invS"/> <owl:allValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#a"/> </owl:complementOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </owl:allValuesFrom> </owl:Restriction> </owl:allValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invP"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#p"/> </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> <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"/> <owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#p"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#s"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent023> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . oiled:a rdf:type owl:Class . oiled:Unsatisfiable rdfs:subClassOf oiled:a . _:a rdf:type owl:Restriction . _:a owl:onProperty oiled:s . _:c rdf:type owl:Class . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r .owl:Thing rdf:type owl:Class . _:e owl:someValuesFrom owl:Thing . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:p . owl:Thing rdf:type owl:Class . _:g owl:someValuesFrom owl:Thing . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . oiled:c rdf:type owl:Class . _:i owl:allValuesFrom oiled:c . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:p . _:m rdf:type owl:Restriction . _:m owl:onProperty oiled:r . owl:Thing rdf:type owl:Class . _:m owl:someValuesFrom owl:Thing . _:k owl:allValuesFrom _:m . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:p . _:q rdf:type owl:Restriction . _:q owl:onProperty oiled:p . owl:Thing rdf:type owl:Class . _:q owl:someValuesFrom owl:Thing . _:o owl:allValuesFrom _:q . _:s rdf:type owl:Restriction . _:s owl:onProperty oiled:p . _:u rdf:type owl:Restriction . _:u owl:onProperty oiled:r . oiled:c rdf:type owl:Class . _:u owl:allValuesFrom oiled:c . _:s owl:allValuesFrom _:u . _:w rdf:first _:s . _:w rdf:rest rdf:nil . _:y rdf:first _:o . _:y rdf:rest _:w . _:a1 rdf:first _:k . _:a1 rdf:rest _:y . _:c1 rdf:first _:i . _:c1 rdf:rest _:a1 . _:e1 rdf:first _:g . _:e1 rdf:rest _:c1 . _:g1 rdf:first _:e . _:g1 rdf:rest _:e1 . _:c owl:intersectionOf _:g1 . _:a owl:someValuesFrom _:c . oiled:Unsatisfiable rdfs:subClassOf _:a . oiled:a rdf:type owl:Class . oiled:c rdf:type owl:Class . _:i1 rdf:type owl:Restriction . _:i1 owl:onProperty oiled:invR . _:k1 rdf:type owl:Restriction . _:k1 owl:onProperty oiled:invP . _:m1 rdf:type owl:Restriction . _:m1 owl:onProperty oiled:invS . _:o1 rdf:type owl:Class . oiled:a rdf:type owl:Class . _:o1 owl:complementOf oiled:a . _:m1 owl:allValuesFrom _:o1 . _:k1 owl:allValuesFrom _:m1 . _:i1 owl:allValuesFrom _:k1 . oiled:c owl:equivalentClass _:i1 . oiled:invP rdf:type owl:ObjectProperty . oiled:invP owl:inverseOf oiled:p . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . 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:r rdf:type owl:ObjectProperty . oiled:s rdf:type owl:ObjectProperty . _:q1 rdf:type oiled:Unsatisfiable . |
DL Full | 整合性のあるドキュメント。 | 024 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest024#test>
|
|||
DLテスト: t5.1 論文からの無限モデルの例 概念は可干渉的でしょうが、有限モデルはありません。 | |||
N3形式は参考情報です。 | |||
DL | 整合:
<description-logic/consistent024>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent024" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#a"/> </owl:complementOf> </owl:Class> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#a"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/> <owl:someValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#a"/> </owl:someValuesFrom> </owl:Restriction> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#a"/> <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#invR"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' > <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality> </owl:Restriction> </rdfs:subClassOf> </rdf:Description> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/consistent024> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . oiled:a rdf:type owl:Class . _:c owl:complementOf oiled:a . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:invF . oiled:a rdf:type owl:Class . _:e owl:someValuesFrom oiled:a . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:invR . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invF . oiled:a rdf:type owl:Class . _:i owl:someValuesFrom oiled:a . _:g owl:someValuesFrom _:i . _:k rdf:first _:g . _:k rdf:rest rdf:nil . _:m rdf:first _:e . _:m rdf:rest _:k . _:o rdf:first _:c . _:o rdf:rest _:m . _:a owl:intersectionOf _:o . oiled:Satisfiable owl:equivalentClass _:a . oiled:a rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:f rdfs:subPropertyOf oiled:r . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:q rdf:type owl:Restriction . _:q owl:onProperty oiled:f . _:q owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:q . _:s rdf:type oiled:Satisfiable . |
DL Full | 整合性のあるドキュメント。 | 025 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest025#test>
|
|||
DLテスト: t5f.1 論文からの無限モデルの例 概念は可干渉的でしょうが、有限モデルはありません。 | |||
N3形式は参考情報です。 | |||
DL | 整合:
<description-logic/consistent025>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent025" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#a"/> </owl:complementOf> </owl:Class> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#a"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/> <owl:someValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#a"/> </owl:someValuesFrom> </owl:Restriction> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#a"/> <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#invR"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/consistent025> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . oiled:a rdf:type owl:Class . _:c owl:complementOf oiled:a . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:invF . oiled:a rdf:type owl:Class . _:e owl:someValuesFrom oiled:a . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:invR . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invF . oiled:a rdf:type owl:Class . _:i owl:someValuesFrom oiled:a . _:g owl:someValuesFrom _:i . _:k rdf:first _:g . _:k rdf:rest rdf:nil . _:m rdf:first _:e . _:m rdf:rest _:k . _:o rdf:first _:c . _:o rdf:rest _:m . _:a owl:intersectionOf _:o . oiled:Satisfiable owl:equivalentClass _:a . oiled:a rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:f rdfs:subPropertyOf oiled:r . oiled:f rdf:type owl:FunctionalProperty . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:q rdf:type oiled:Satisfiable . |
DL Full | 矛盾したドキュメント。 | 026 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest026#test>
|
|||
DLテスト: t6.1 二重ブロッキングの例 概念は非干渉的でしょうが、二重ブロッキングを必要とします。 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent026>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent026" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> </owl:complementOf> </owl:Class> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/> <owl:allValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </owl:someValuesFrom> </owl:Restriction> </owl:allValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> <owl:Class rdf:about="http://oiled.man.example.net/test#d"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </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#invR"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' > <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality> </owl:Restriction> </rdfs:subClassOf> </rdf:Description> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent026> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . oiled:c rdf:type owl:Class . _:c owl:complementOf oiled:c . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:invF . oiled:d rdf:type owl:Class . _:e owl:someValuesFrom oiled:d . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:invR . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invF .oiled:d rdf:type owl:Class . _:i owl:someValuesFrom oiled:d . _:g owl:allValuesFrom _:i . _:k rdf:first _:g . _:k rdf:rest rdf:nil . _:m rdf:first _:e . _:m rdf:rest _:k . _:o rdf:first _:c . _:o rdf:rest _:m . _:a owl:intersectionOf _:o . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:c rdf:type owl:Class . oiled:d rdf:type owl:Class . _:q rdf:type owl:Class . oiled:c rdf:type owl:Class . _:s rdf:type owl:Restriction . _:s owl:onProperty oiled:f . _:u rdf:type owl:Class . oiled:c rdf:type owl:Class . _:u owl:complementOf oiled:c . _:s owl:someValuesFrom _:u . _:w rdf:first _:s . _:w rdf:rest rdf:nil . _:y rdf:first oiled:c . _:y rdf:rest _:w . _:q owl:intersectionOf _:y . oiled:d owl:equivalentClass _:q . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:f rdfs:subPropertyOf oiled:r . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:a1 rdf:type owl:Restriction . _:a1 owl:onProperty oiled:f . _:a1 owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:a1 . _:c1 rdf:type oiled:Unsatisfiable . |
DL Full | 矛盾したドキュメント。 | 027 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest027#test>
|
|||
DLテスト: t6f.1 二重ブロッキングの例 概念は非干渉的でしょうが、二重ブロッキングを必要とします。 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent027>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent027" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> </owl:complementOf> </owl:Class> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/> <owl:allValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#d"/> </owl:someValuesFrom> </owl:Restriction> </owl:allValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> <owl:Class rdf:about="http://oiled.man.example.net/test#d"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#c"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </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#invR"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"> <rdfs:subPropertyOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent027> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . oiled:c rdf:type owl:Class . _:c owl:complementOf oiled:c . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:invF . oiled:d rdf:type owl:Class . _:e owl:someValuesFrom oiled:d . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:invR . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invF . oiled:d rdf:type owl:Class . _:i owl:someValuesFrom oiled:d . _:g owl:allValuesFrom _:i . _:k rdf:first _:g . _:k rdf:rest rdf:nil . _:m rdf:first _:e . _:m rdf:rest _:k . _:o rdf:first _:c . _:o rdf:rest _:m . _:a owl:intersectionOf _:o . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:c rdf:type owl:Class . oiled:d rdf:type owl:Class . _:q rdf:type owl:Class . oiled:c rdf:type owl:Class . _:s rdf:type owl:Restriction . _:s owl:onProperty oiled:f . _:u rdf:type owl:Class . oiled:c rdf:type owl:Class . _:u owl:complementOf oiled:c . _:s owl:someValuesFrom _:u . _:w rdf:first _:s . _:w rdf:rest rdf:nil . _:y rdf:first oiled:c . _:y rdf:rest _:w . _:q owl:intersectionOf _:y . oiled:d owl:equivalentClass _:q . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:f rdfs:subPropertyOf oiled:r . oiled:f rdf:type owl:FunctionalProperty . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:a1 rdf:type oiled:Unsatisfiable . |
DL Full | 整合性のあるドキュメント。 | 028 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest028#test>
|
|||
DLテスト: t7.1 | |||
N3形式は参考情報です。 | |||
DL | 整合:
<description-logic/consistent028>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent028" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/> <owl:allValuesFrom> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> </owl:complementOf> </owl:Class> <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#p1"/> </owl:allValuesFrom> </owl:Restriction> </owl:unionOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <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#invR"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' > <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality> </owl:Restriction> </rdfs:subClassOf> </rdf:Description> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/consistent028> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . _:g rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invR . _:k rdf:type owl:Class . _:m rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:m owl:complementOf oiled:p1 . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:o owl:allValuesFrom oiled:p1 . _:q rdf:first _:o ._:q rdf:rest rdf:nil . _:s rdf:first _:m . _:s rdf:rest _:q . _:k owl:unionOf _:s . _:i owl:allValuesFrom _:k . _:u rdf:first _:i . _:u rdf:rest rdf:nil . _:w rdf:first oiled:p1 . _:w rdf:rest _:u . _:g owl:intersectionOf _:w . _:e owl:someValuesFrom _:g . _:c owl:someValuesFrom _:e . _:y rdf:first _:c . _:y rdf:rest rdf:nil . _:a1 rdf:first oiled:p1 . _:a1 rdf:rest _:y . _:a owl:intersectionOf _:a1 . oiled:Satisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:c1 rdf:type owl:Restriction . _:c1 owl:onProperty oiled:f . _:c1 owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:c1 . _:e1 rdf:type oiled:Satisfiable . |
DL Full | 矛盾したドキュメント。 | 029 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest029#test>
|
|||
DLテスト: t7.2 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent029>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent029" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/> <owl:allValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> </owl:complementOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <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#invR"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' > <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality> </owl:Restriction> </rdfs:subClassOf> </rdf:Description> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent029> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . _:g rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invR . _:k rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:k owl:complementOf oiled:p1 . _:i owl:allValuesFrom _:k . _:m rdf:first _:i . _:m rdf:rest rdf:nil . _:o rdf:first oiled:p1 . _:o rdf:rest _:m . _:g owl:intersectionOf _:o . _:e owl:someValuesFrom _:g . _:c owl:someValuesFrom _:e . _:q rdf:first _:c . _:q rdf:rest rdf:nil . _:s rdf:first oiled:p1 . _:s rdf:rest _:q . _:a owl:intersectionOf _:s . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:u rdf:type owl:Restriction . _:u owl:onProperty oiled:f . _:u owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:u . _:w rdf:type oiled:Unsatisfiable . |
DL Full | 矛盾したドキュメント。 | 030 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest030#test>
|
|||
DLテスト: t7.3 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent030>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent030" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/> <owl:someValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <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#invR"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description rdf:about='http://www.w3.org/2002/07/owl#Thing' > <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality> </owl:Restriction> </rdfs:subClassOf> </rdf:Description> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent030> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty oiled:f . _:c rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:invF . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:f . _:i rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:i owl:complementOf oiled:p1 . _:g owl:someValuesFrom _:i . _:e owl:someValuesFrom _:g . _:k rdf:first _:e . _:k rdf:rest rdf:nil . _:m rdf:first oiled:p1 . _:m rdf:rest _:k . _:c owl:intersectionOf _:m . _:a owl:someValuesFrom _:c . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:f . _:o owl:maxCardinality "1"^^xsd:nonNegativeInteger . owl:Thing rdfs:subClassOf _:o . _:q rdf:type oiled:Unsatisfiable . |
DL Full | 整合性のあるドキュメント。 | 031 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest031#test>
|
|||
DLテスト: t7f.1 | |||
N3形式は参考情報です。 | |||
DL | 整合:
<description-logic/consistent031>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent031" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/> <owl:allValuesFrom> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> </owl:complementOf> </owl:Class> <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#p1"/> </owl:allValuesFrom> </owl:Restriction> </owl:unionOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <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#invR"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/consistent031> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . _:g rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invR . _:k rdf:type owl:Class . _:m rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:m owl:complementOf oiled:p1 . _:o rdf:type owl:Restriction . _:o owl:onProperty oiled:r . oiled:p1 rdf:type owl:Class . _:o owl:allValuesFrom oiled:p1 . _:q rdf:first _:o . _:q rdf:rest rdf:nil . _:s rdf:first _:m . _:s rdf:rest _:q . _:k owl:unionOf _:s . _:i owl:allValuesFrom _:k . _:u rdf:first _:i . _:u rdf:rest rdf:nil . _:w rdf:first oiled:p1 . _:w rdf:rest _:u . _:g owl:intersectionOf _:w . _:e owl:someValuesFrom _:g . _:c owl:someValuesFrom _:e . _:y rdf:first _:c . _:y rdf:rest rdf:nil . _:a1 rdf:first oiled:p1 . _:a1 rdf:rest _:y . _:a owl:intersectionOf _:a1 . oiled:Satisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:f rdf:type owl:FunctionalProperty . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:c1 rdf:type oiled:Satisfiable . |
DL Full | 矛盾したドキュメント。 | 032 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest032#test>
|
|||
DLテスト: t7f.2 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent032>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent032" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/> <owl:allValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> </owl:complementOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <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#invR"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent032> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:r . _:g rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invR . _:k rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:k owl:complementOf oiled:p1 . _:i owl:allValuesFrom _:k . _:m rdf:first _:i . _:m rdf:rest rdf:nil . _:o rdf:first oiled:p1 . _:o rdf:rest _:m . _:g owl:intersectionOf _:o . _:e owl:someValuesFrom _:g . _:c owl:someValuesFrom _:e . _:q rdf:first _:c . _:q rdf:rest rdf:nil ._:s rdf:first oiled:p1 . _:s rdf:rest _:q . _:a owl:intersectionOf _:s . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:f rdf:type owl:FunctionalProperty . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:u rdf:type oiled:Unsatisfiable . |
DL Full | 矛盾したドキュメント。 | 033 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest033#test>
|
|||
DLテスト: t7f.3 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent033>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent033" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invF"/> <owl:allValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#f"/> <owl:someValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> </owl:complementOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:allValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <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#invR"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#f"/> <owl:FunctionalProperty rdf:about="http://oiled.man.example.net/test#f"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <owl:TransitiveProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/inconsistent033> rdf:type owl:Ontology . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty oiled:f . _:c rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:invF . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:f . _:i rdf:type owl:Class . oiled:p1 rdf:type owl:Class . _:i owl:complementOf oiled:p1 ._:g owl:someValuesFrom _:i . _:e owl:allValuesFrom _:g . _:k rdf:first _:e . _:k rdf:rest rdf:nil . _:m rdf:first oiled:p1 . _:m rdf:rest _:k . _:c owl:intersectionOf _:m . _:a owl:someValuesFrom _:c . oiled:Unsatisfiable owl:equivalentClass _:a . oiled:p1 rdf:type owl:Class . oiled:invF rdf:type owl:ObjectProperty . oiled:invF owl:inverseOf oiled:f . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:f rdf:type owl:ObjectProperty . oiled:f rdf:type owl:FunctionalProperty . oiled:r rdf:type owl:ObjectProperty . oiled:r rdf:type owl:TransitiveProperty . _:o rdf:type oiled:Unsatisfiable . |
DL Full | 整合性のあるドキュメント。 | 034 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest034#test>
|
|||
DLテスト: t8.1 | |||
N3形式は参考情報です。 | |||
DL | 整合:
<description-logic/consistent034>
| ||
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent034" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/> <owl:allValuesFrom> <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:allValuesFrom> </owl:Restriction> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invR"/> <owl:allValuesFrom> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r1"/> <owl:allValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:complementOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </owl:allValuesFrom> </owl:Restriction> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invR"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#r"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r1"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/> </rdf:Description> </rdf:RDF> | |||
<description-logic/consistent034> rdf:type owl:Ontology . oiled:Satisfiable rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:r . _:e rdf:type owl:Restriction . _:e owl:onProperty oiled:invR . _:g rdf:type owl:Restriction . _:g owl:onProperty oiled:r1 . oiled:p rdf:type owl:Class . _:g owl:allValuesFrom oiled:p . _:e owl:allValuesFrom _:g . _:c owl:someValuesFrom _:e . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:r . _:k rdf:type owl:Restriction . _:k owl:onProperty oiled:invR . _:m rdf:type owl:Restriction . _:m owl:onProperty oiled:r1 . _:o rdf:type owl:Class . oiled:p rdf:type owl:Class . _:o owl:complementOf oiled:p . _:m owl:allValuesFrom _:o . _:k owl:allValuesFrom _:m . _:i owl:someValuesFrom _:k . _:q rdf:first _:i . _:q rdf:rest rdf:nil . _:s rdf:first _:c . _:s rdf:rest _:q . _:a owl:intersectionOf _:s . oiled:Satisfiable owl:equivalentClass _:a . oiled:p rdf:type owl:Class . oiled:invR rdf:type owl:ObjectProperty . oiled:invR owl:inverseOf oiled:r . oiled:r rdf:type owl:ObjectProperty . oiled:r1 rdf:type owl:ObjectProperty . _:u rdf:type oiled:Satisfiable . |
DL Full | 矛盾したドキュメント。 | 035 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest035#test>
|
|||
スパイ・ポイント(spy point)の発想を利用したone-ofとinverseの相互関係のテスト すべてがプロパティーpを通じてスパイと関連付けられており、スパイが高々2のinvP継承を持っており、したがって、領域のカーディナリティーを高々2に制限するということが分かっています。 | |||
N3形式は参考情報です。 | |||
DL | 矛盾:
<description-logic/inconsistent035>
| ||
<rdf:RDF xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent035" xmlns:oiled="http://oiled.man.example.net/test#"> <owl:Ontology rdf:about=""> <rdfs:comment>An ontology illustrating the use of a spy point that limits the cardinality of the interpretation domain to having only two objects.</rdfs:comment> </owl:Ontology> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">3</owl:minCardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#p"> <owl:inverseOf rdf:resource="http://oiled.man.example.net/test#invP"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#invP"/> <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#p"/> <owl:someValuesFrom> <owl:Class> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:about="http://oiled.man.example.net/test#spy"/> </owl:oneOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <rdf:Description rdf:about="http://oiled.man.example.net/test#spy"> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#invP"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">2</owl:maxCardinality> </owl:Restriction> </rdf:type> </rdf:Description> <oiled:Unsatisfiable/> </rdf:RDF> | |||
<description-logic/inconsistent035> rdf:type owl:Ontology . <description-logic/inconsistent035> rdfs:comment """An ontology illustrating the use of a spy point that limits the cardinality of the interpretation domain to having only two objects.""" . oiled:Unsatisfiable rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty oiled:r . _:a owl:minCardinality "3"^^xsd:nonNegativeInteger . oiled:Unsatisfiable rdfs:subClassOf _:a . oiled:p rdf:type owl:ObjectProperty . oiled:p owl:inverseOf oiled:invP . oiled:r rdf:type owl:ObjectProperty . oiled:invP rdf:type owl:ObjectProperty . owl:Thing rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty oiled:p . _:e rdf:type owl:Class . oiled:spy rdf:type owl:Thing . _:g rdf:first oiled:spy . _:g rdf:rest rdf:nil . _:e owl:oneOf _:g . _:c owl:someValuesFrom _:e . owl:Thing rdfs:subClassOf _:c . _:i rdf:type owl:Restriction . _:i owl:onProperty oiled:invP . _:i owl:maxCardinality "2"^^xsd:nonNegativeInteger . oiled:spy rdf:type _:i . _:k rdf:type oiled:Unsatisfiable . |
DL Full | 矛盾したドキュメント。 | 040 | |
---|---|---|---|
記述:(参考情報)
<description-logic/Manifest040#test>
|
|||
この種のパターンは、より複雑なオントロジーで多く発生します。この種のパターンに対処できないことが、多くの推論システムがそのようなオントロジーに対処できない原因の1つです。 | |||
N3形式は参考情報です。 | |||
名前空間: | |||
@prefix eg: <http://example.org/factkb#> . | |||
DL | 矛盾:
<description-logic/inconsistent040>
| ||
<rdf:RDF xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:eg="http://example.org/factkb#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent040" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://example.org/factkb#A"/> <owl:Class rdf:about="http://example.org/factkb#B"/> <owl:Class rdf:about="http://example.org/factkb#A0"/> <owl:Class rdf:about="http://example.org/factkb#A1"/> <owl:Class rdf:about="http://example.org/factkb#A2"/> <owl:Class rdf:about="http://example.org/factkb#A3"/> <owl:Class rdf:about="http://example.org/factkb#A4"/> <owl:Class rdf:about="http://example.org/factkb#A5"/> <owl:Class rdf:about="http://example.org/factkb#A6"/> <owl:Class rdf:about="http://example.org/factkb#A7"/> <owl:Class rdf:about="http://example.org/factkb#A8"/> <owl:Class rdf:about="http://example.org/factkb#A9"/> <owl:Class rdf:about="http://example.org/factkb#B0"/> <owl:Class rdf:about="http://example.org/factkb#B1"/> <owl:Class rdf:about="http://example.org/factkb#B2"/> <owl:Class rdf:about="http://example.org/factkb#B3"/> <owl:Class rdf:about="http://example.org/factkb#B4"/> <owl:Class rdf:about="http://example.org/factkb#B5"/> <owl:Class rdf:about="http://example.org/factkb#B6"/> <owl:Class rdf:about="http://example.org/factkb#B7"/> <owl:Class rdf:about="http://example.org/factkb#B8"/> <owl:Class rdf:about="http://example.org/factkb#B9"/> <owl:Class rdf:about="http://example.org/factkb#C1"> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A0"/> <owl:Class rdf:about="http://example.org/factkb#B0"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A1"/> <owl:Class rdf:about="http://example.org/factkb#B1"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A2"/> <owl:Class rdf:about="http://example.org/factkb#B2"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A3"/> <owl:Class rdf:about="http://example.org/factkb#B3"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A4"/> <owl:Class rdf:about="http://example.org/factkb#B4"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A5"/> <owl:Class rdf:about="http://example.org/factkb#B5"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A6"/> <owl:Class rdf:about="http://example.org/factkb#B6"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A7"/> <owl:Class rdf:about="http://example.org/factkb#B7"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A8"/> <owl:Class rdf:about="http://example.org/factkb#B8"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A9"/> <owl:Class rdf:about="http://example.org/factkb#B9"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A10"/> <owl:Class rdf:about="http://example.org/factkb#B10"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A11"/> <owl:Class rdf:about="http://example.org/factkb#B11"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A12"/> <owl:Class rdf:about="http://example.org/factkb#B12"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A13"/> <owl:Class rdf:about="http://example.org/factkb#B13"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A14"/> <owl:Class rdf:about="http://example.org/factkb#B14"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A15"/> <owl:Class rdf:about="http://example.org/factkb#B15"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A16"/> <owl:Class rdf:about="http://example.org/factkb#B16"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A17"/> <owl:Class rdf:about="http://example.org/factkb#B17"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A18"/> <owl:Class rdf:about="http://example.org/factkb#B18"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A19"/> <owl:Class rdf:about="http://example.org/factkb#B19"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A20"/> <owl:Class rdf:about="http://example.org/factkb#B20"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A21"/> <owl:Class rdf:about="http://example.org/factkb#B21"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A22"/> <owl:Class rdf:about="http://example.org/factkb#B22"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A23"/> <owl:Class rdf:about="http://example.org/factkb#B23"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A24"/> <owl:Class rdf:about="http://example.org/factkb#B24"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A25"/> <owl:Class rdf:about="http://example.org/factkb#B25"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A26"/> <owl:Class rdf:about="http://example.org/factkb#B26"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A27"/> <owl:Class rdf:about="http://example.org/factkb#B27"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A28"/> <owl:Class rdf:about="http://example.org/factkb#B28"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A29"/> <owl:Class rdf:about="http://example.org/factkb#B29"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A30"/> <owl:Class rdf:about="http://example.org/factkb#B30"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A31"/> <owl:Class rdf:about="http://example.org/factkb#B31"/> </owl:unionOf> </owl:Class> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://example.org/factkb#C2"> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A"/> <owl:Class rdf:about="http://example.org/factkb#B"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#A"/> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://example.org/factkb#B"/> </owl:complementOf> </owl:Class> </owl:unionOf> </owl:Class> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://example.org/factkb#C3"> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://example.org/factkb#A"/> </owl:complementOf> </owl:Class> <owl:Class rdf:about="http://example.org/factkb#B"/> </owl:unionOf> </owl:Class> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://example.org/factkb#A"/> </owl:complementOf> </owl:Class> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://example.org/factkb#B"/> </owl:complementOf> </owl:Class> </owl:unionOf> </owl:Class> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://example.org/factkb#C4"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://example.org/factkb#R"/> <owl:someValuesFrom> <owl:Class rdf:about="http://example.org/factkb#C2"/> </owl:someValuesFrom> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://example.org/factkb#C5"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://example.org/factkb#R"/> <owl:allValuesFrom> <owl:Class rdf:about="http://example.org/factkb#C3"/> </owl:allValuesFrom> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://example.org/factkb#A10"/> <owl:Class rdf:about="http://example.org/factkb#A11"/> <owl:Class rdf:about="http://example.org/factkb#A12"/> <owl:Class rdf:about="http://example.org/factkb#A13"/> <owl:Class rdf:about="http://example.org/factkb#A14"/> <owl:Class rdf:about="http://example.org/factkb#A15"/> <owl:Class rdf:about="http://example.org/factkb#A16"/> <owl:Class rdf:about="http://example.org/factkb#A17"/> <owl:Class rdf:about="http://example.org/factkb#A18"/> <owl:Class rdf:about="http://example.org/factkb#A19"/> <owl:Class rdf:about="http://example.org/factkb#A20"/> <owl:Class rdf:about="http://example.org/factkb#A21"/> <owl:Class rdf:about="http://example.org/factkb#A22"/> <owl:Class rdf:about="http://example.org/factkb#A23"/> <owl:Class rdf:about="http://example.org/factkb#A24"/> <owl:Class rdf:about="http://example.org/factkb#A25"/> <owl:Class rdf:about="http://example.org/factkb#A26"/> <owl:Class rdf:about="http://example.org/factkb#A27"/> <owl:Class rdf:about="http://example.org/factkb#A28"/> <owl:Class rdf:about="http://example.org/factkb#A29"/> <owl:Class rdf:about="http://example.org/factkb#A30"/> <owl:Class rdf:about="http://example.org/factkb#A31"/> <owl:Class rdf:about="http://example.org/factkb#B10"/> <owl:Class rdf:about="http://example.org/factkb#B11"/> <owl:Class rdf:about="http://example.org/factkb#B12"/> <owl:Class rdf:about="http://example.org/factkb#B13"/> <owl:Class rdf:about="http://example.org/factkb#B14"/> <owl:Class rdf:about="http://example.org/factkb#B15"/> <owl:Class rdf:about="http://example.org/factkb#B16"/> <owl:Class rdf:about="http://example.org/factkb#B17"/> <owl:Class rdf:about="http://example.org/factkb#B18"/> <owl:Class rdf:about="http://example.org/factkb#B19"/> <owl:Class rdf:about="http://example.org/factkb#B20"/> <owl:Class rdf:about="http://example.org/factkb#B21"/> <owl:Class rdf:about="http://example.org/factkb#B22"/> <owl:Class rdf:about="http://example.org/factkb#B23"/> <owl:Class rdf:about="http://example.org/factkb#B24"/> <owl:Class rdf:about="http://example.org/factkb#B25"/> <owl:Class rdf:about="http://example.org/factkb#B26"/> <owl:Class rdf:about="http://example.org/factkb#B27"/> <owl:Class rdf:about="http://example.org/factkb#B28"/> <owl:Class rdf:about="http://example.org/factkb#B29"/> <owl:Class rdf:about="http://example.org/factkb#B30"/> <owl:Class rdf:about="http://example.org/factkb#B31"/> <owl:Class rdf:about="http://example.org/factkb#TEST"> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://example.org/factkb#C1"/> <owl:Class rdf:about="http://example.org/factkb#C4"/> <owl:Class rdf:about="http://example.org/factkb#C5"/> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:about="http://example.org/factkb#R"/> <eg:TEST/> </rdf:RDF> | |||
<description-logic/inconsistent040> rdf:type owl:Ontology . eg:A rdf:type owl:Class . eg:B rdf:type owl:Class . eg:A0 rdf:type owl:Class . eg:A1 rdf:type owl:Class . eg:A2 rdf:type owl:Class . eg:A3 rdf:type owl:Class . eg:A4 rdf:type owl:Class . eg:A5 rdf:type owl:Class . eg:A6 rdf:type owl:Class . eg:A7 rdf:type owl:Class . eg:A8 rdf:type owl:Class . eg:A9 rdf:type owl:Class . eg:B0 rdf:type owl:Class . eg:B1 rdf:type owl:Class . eg:B2 rdf:type owl:Class . eg:B3 rdf:type owl:Class . eg:B4 rdf:type owl:Class . eg:B5 rdf:type owl:Class . eg:B6 rdf:type owl:Class . eg:B7 rdf:type owl:Class . eg:B8 rdf:type owl:Class .eg:B9 rdf:type owl:Class . eg:C1 rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Class . eg:A0 rdf:type owl:Class . eg:B0 rdf:type owl:Class . _:e rdf:first eg:B0 . _:e rdf:rest rdf:nil . _:g rdf:first eg:A0 . _:g rdf:rest _:e . _:c owl:unionOf _:g . _:i rdf:type owl:Class . eg:A1 rdf:type owl:Class . eg:B1 rdf:type owl:Class . _:k rdf:first eg:B1 . _:k rdf:rest rdf:nil . _:m rdf:first eg:A1 . _:m rdf:rest _:k . _:i owl:unionOf _:m . _:o rdf:type owl:Class . eg:A2 rdf:type owl:Class . eg:B2 rdf:type owl:Class . _:q rdf:first eg:B2 . _:q rdf:rest rdf:nil . _:s rdf:first eg:A2 . _:s rdf:rest _:q . _:o owl:unionOf _:s . _:u rdf:type owl:Class . eg:A3 rdf:type owl:Class . eg:B3 rdf:type owl:Class . _:w rdf:first eg:B3 . _:w rdf:rest rdf:nil . _:y rdf:first eg:A3 . _:y rdf:rest _:w . _:u owl:unionOf _:y . _:a1 rdf:type owl:Class . eg:A4 rdf:type owl:Class . eg:B4 rdf:type owl:Class . _:c1 rdf:first eg:B4 . _:c1 rdf:rest rdf:nil . _:e1 rdf:first eg:A4 . _:e1 rdf:rest _:c1 . _:a1 owl:unionOf _:e1 . _:g1 rdf:type owl:Class . eg:A5 rdf:type owl:Class . eg:B5 rdf:type owl:Class . _:i1 rdf:first eg:B5 . _:i1 rdf:rest rdf:nil . _:k1 rdf:first eg:A5 . _:k1 rdf:rest _:i1 . _:g1 owl:unionOf _:k1 . _:m1 rdf:type owl:Class . eg:A6 rdf:type owl:Class . eg:B6 rdf:type owl:Class . _:o1 rdf:first eg:B6 . _:o1 rdf:rest rdf:nil . _:q1 rdf:first eg:A6 . _:q1 rdf:rest _:o1 . _:m1 owl:unionOf _:q1 . _:s1 rdf:type owl:Class . eg:A7 rdf:type owl:Class . eg:B7 rdf:type owl:Class . _:u1 rdf:first eg:B7 . _:u1 rdf:rest rdf:nil . _:w1 rdf:first eg:A7 . _:w1 rdf:rest _:u1 . _:s1 owl:unionOf _:w1 . _:y1 rdf:type owl:Class . eg:A8 rdf:type owl:Class . eg:B8 rdf:type owl:Class . _:a2 rdf:first eg:B8 . _:a2 rdf:rest rdf:nil . _:c2 rdf:first eg:A8 . _:c2 rdf:rest _:a2 . _:y1 owl:unionOf _:c2 . _:e2 rdf:type owl:Class . eg:A9 rdf:type owl:Class . eg:B9 rdf:type owl:Class . _:g2 rdf:first eg:B9 . _:g2 rdf:rest rdf:nil . _:i2 rdf:first eg:A9 . _:i2 rdf:rest _:g2 . _:e2 owl:unionOf _:i2 . _:k2 rdf:type owl:Class . eg:A10 rdf:type owl:Class . eg:B10 rdf:type owl:Class . _:m2 rdf:first eg:B10 . _:m2 rdf:rest rdf:nil . _:o2 rdf:first eg:A10 . _:o2 rdf:rest _:m2 . _:k2 owl:unionOf _:o2 . _:q2 rdf:type owl:Class . eg:A11 rdf:type owl:Class . eg:B11 rdf:type owl:Class . _:s2 rdf:first eg:B11 . _:s2 rdf:rest rdf:nil . _:u2 rdf:first eg:A11 . _:u2 rdf:rest _:s2 . _:q2 owl:unionOf _:u2 . _:w2 rdf:type owl:Class . eg:A12 rdf:type owl:Class . eg:B12 rdf:type owl:Class . _:y2 rdf:first eg:B12 . _:y2 rdf:rest rdf:nil . _:a3 rdf:first eg:A12 . _:a3 rdf:rest _:y2 . _:w2 owl:unionOf _:a3 . _:c3 rdf:type owl:Class . eg:A13 rdf:type owl:Class . eg:B13 rdf:type owl:Class . _:e3 rdf:first eg:B13 . _:e3 rdf:rest rdf:nil . _:g3 rdf:first eg:A13 . _:g3 rdf:rest _:e3 . _:c3 owl:unionOf _:g3 . _:i3 rdf:type owl:Class . eg:A14 rdf:type owl:Class . eg:B14 rdf:type owl:Class . _:k3 rdf:first eg:B14 . _:k3 rdf:rest rdf:nil . _:m3 rdf:first eg:A14 . _:m3 rdf:rest _:k3 ._:i3 owl:unionOf _:m3 . _:o3 rdf:type owl:Class . eg:A15 rdf:type owl:Class . eg:B15 rdf:type owl:Class . _:q3 rdf:first eg:B15 . _:q3 rdf:rest rdf:nil . _:s3 rdf:first eg:A15 . _:s3 rdf:rest _:q3 . _:o3 owl:unionOf _:s3 . _:u3 rdf:type owl:Class . eg:A16 rdf:type owl:Class . eg:B16 rdf:type owl:Class . _:w3 rdf:first eg:B16 . _:w3 rdf:rest rdf:nil . _:y3 rdf:first eg:A16 . _:y3 rdf:rest _:w3 . _:u3 owl:unionOf _:y3 . _:a4 rdf:type owl:Class . eg:A17 rdf:type owl:Class . eg:B17 rdf:type owl:Class . _:c4 rdf:first eg:B17 . _:c4 rdf:rest rdf:nil . _:e4 rdf:first eg:A17 . _:e4 rdf:rest _:c4 . _:a4 owl:unionOf _:e4 . _:g4 rdf:type owl:Class . eg:A18 rdf:type owl:Class . eg:B18 rdf:type owl:Class . _:i4 rdf:first eg:B18 . _:i4 rdf:rest rdf:nil . _:k4 rdf:first eg:A18 . _:k4 rdf:rest _:i4 . _:g4 owl:unionOf _:k4 . _:m4 rdf:type owl:Class . eg:A19 rdf:type owl:Class . eg:B19 rdf:type owl:Class . _:o4 rdf:first eg:B19 . _:o4 rdf:rest rdf:nil . _:q4 rdf:first eg:A19 . _:q4 rdf:rest _:o4 . _:m4 owl:unionOf _:q4 ._:s4 rdf:type owl:Class . eg:A20 rdf:type owl:Class . eg:B20 rdf:type owl:Class . _:u4 rdf:first eg:B20 . _:u4 rdf:rest rdf:nil . _:w4 rdf:first eg:A20 . _:w4 rdf:rest _:u4 . _:s4 owl:unionOf _:w4 . _:y4 rdf:type owl:Class . eg:A21 rdf:type owl:Class . eg:B21 rdf:type owl:Class . _:a5 rdf:first eg:B21 . _:a5 rdf:rest rdf:nil . _:c5 rdf:first eg:A21 . _:c5 rdf:rest _:a5 . _:y4 owl:unionOf _:c5 . _:e5 rdf:type owl:Class . eg:A22 rdf:type owl:Class . eg:B22 rdf:type owl:Class . _:g5 rdf:first eg:B22 . _:g5 rdf:rest rdf:nil . _:i5 rdf:first eg:A22 . _:i5 rdf:rest _:g5 . _:e5 owl:unionOf _:i5 . _:k5 rdf:type owl:Class . eg:A23 rdf:type owl:Class . eg:B23 rdf:type owl:Class . _:m5 rdf:first eg:B23 . _:m5 rdf:rest rdf:nil . _:o5 rdf:first eg:A23 . _:o5 rdf:rest _:m5 . _:k5 owl:unionOf _:o5 . _:q5 rdf:type owl:Class . eg:A24 rdf:type owl:Class . eg:B24 rdf:type owl:Class . _:s5 rdf:first eg:B24 . _:s5 rdf:rest rdf:nil . _:u5 rdf:first eg:A24 . _:u5 rdf:rest _:s5 . _:q5 owl:unionOf _:u5 . _:w5 rdf:type owl:Class . eg:A25 rdf:type owl:Class . eg:B25 rdf:type owl:Class . _:y5 rdf:first eg:B25 . _:y5 rdf:rest rdf:nil . _:a6 rdf:first eg:A25 . _:a6 rdf:rest _:y5 . _:w5 owl:unionOf _:a6 . _:c6 rdf:type owl:Class . eg:A26 rdf:type owl:Class . eg:B26 rdf:type owl:Class . _:e6 rdf:first eg:B26 . _:e6 rdf:rest rdf:nil . _:g6 rdf:first eg:A26 . _:g6 rdf:rest _:e6 . _:c6 owl:unionOf _:g6 . _:i6 rdf:type owl:Class . eg:A27 rdf:type owl:Class . eg:B27 rdf:type owl:Class . _:k6 rdf:first eg:B27 . _:k6 rdf:rest rdf:nil . _:m6 rdf:first eg:A27 . _:m6 rdf:rest _:k6 . _:i6 owl:unionOf _:m6 . _:o6 rdf:type owl:Class . eg:A28 rdf:type owl:Class . eg:B28 rdf:type owl:Class . _:q6 rdf:first eg:B28 . _:q6 rdf:rest rdf:nil . _:s6 rdf:first eg:A28 . _:s6 rdf:rest _:q6 . _:o6 owl:unionOf _:s6 . _:u6 rdf:type owl:Class . eg:A29 rdf:type owl:Class . eg:B29 rdf:type owl:Class . _:w6 rdf:first eg:B29 . _:w6 rdf:rest rdf:nil . _:y6 rdf:first eg:A29 . _:y6 rdf:rest _:w6 . _:u6 owl:unionOf _:y6 . _:a7 rdf:type owl:Class . eg:A30 rdf:type owl:Class . eg:B30 rdf:type owl:Class . _:c7 rdf:first eg:B30 . _:c7 rdf:rest rdf:nil . _:e7 rdf:first eg:A30 . _:e7 rdf:rest _:c7 . _:a7 owl:unionOf _:e7 . _:g7 rdf:type owl:Class . eg:A31 rdf:type owl:Class . eg:B31 rdf:type owl:Class . _:i7 rdf:first eg:B31 . _:i7 rdf:rest rdf:nil . _:k7 rdf:first eg:A31 . _:k7 rdf:rest _:i7 . _:g7 owl:unionOf _:k7 . _:m7 rdf:first _:g7 . _:m7 rdf:rest rdf:nil . _:o7 rdf:first _:a7 . _:o7 rdf:rest _:m7 . _:q7 rdf:first _:u6 . _:q7 rdf:rest _:o7 . _:s7 rdf:first _:o6 . _:s7 rdf:rest _:q7 . _:u7 rdf:first _:i6 . _:u7 rdf:rest _:s7 . _:w7 rdf:first _:c6 . _:w7 rdf:rest _:u7 . _:y7 rdf:first _:w5 . _:y7 rdf:rest _:w7 . _:a8 rdf:first _:q5 . _:a8 rdf:rest _:y7 . _:c8 rdf:first _:k5 . _:c8 rdf:rest _:a8 . _:e8 rdf:first _:e5 . _:e8 rdf:rest _:c8 . _:g8 rdf:first _:y4 . _:g8 rdf:rest _:e8 . _:i8 rdf:first _:s4 . _:i8 rdf:rest _:g8 . _:k8 rdf:first _:m4 . _:k8 rdf:rest _:i8 . _:m8 rdf:first _:g4 . _:m8 rdf:rest _:k8 . _:o8 rdf:first _:a4 . _:o8 rdf:rest _:m8 . _:q8 rdf:first _:u3 . _:q8 rdf:rest _:o8 . _:s8 rdf:first _:o3 . _:s8 rdf:rest _:q8 . _:u8 rdf:first _:i3 . _:u8 rdf:rest _:s8 . _:w8 rdf:first _:c3 . _:w8 rdf:rest _:u8 . _:y8 rdf:first _:w2 . _:y8 rdf:rest _:w8 . _:a9 rdf:first _:q2 . _:a9 rdf:rest _:y8 . _:c9 rdf:first _:k2 . _:c9 rdf:rest _:a9 . _:e9 rdf:first _:e2 . _:e9 rdf:rest _:c9 . _:g9 rdf:first _:y1 . _:g9 rdf:rest _:e9 . _:i9 rdf:first _:s1 . _:i9 rdf:rest _:g9 . _:k9 rdf:first _:m1 . _:k9 rdf:rest _:i9 . _:m9 rdf:first _:g1 . _:m9 rdf:rest _:k9 . _:o9 rdf:first _:a1 . _:o9 rdf:rest _:m9 . _:q9 rdf:first _:u . _:q9 rdf:rest _:o9 . _:s9 rdf:first _:o . _:s9 rdf:rest _:q9 . _:u9 rdf:first _:i . _:u9 rdf:rest _:s9 . _:w9 rdf:first _:c . _:w9 rdf:rest _:u9 . _:a owl:intersectionOf _:w9 . eg:C1 rdfs:subClassOf _:a . eg:C2 rdf:type owl:Class . _:y9 rdf:type owl:Class . _:a10 rdf:type owl:Class . eg:A rdf:type owl:Class . eg:B rdf:type owl:Class . _:c10 rdf:first eg:B . _:c10 rdf:rest rdf:nil . _:e10 rdf:first eg:A . _:e10 rdf:rest _:c10 . _:a10 owl:unionOf _:e10 . _:g10 rdf:type owl:Class . eg:A rdf:type owl:Class . _:i10 rdf:type owl:Class . eg:B rdf:type owl:Class . _:i10 owl:complementOf eg:B . _:k10 rdf:first _:i10 . _:k10 rdf:rest rdf:nil . _:m10 rdf:first eg:A . _:m10 rdf:rest _:k10 . _:g10 owl:unionOf _:m10 . _:o10 rdf:first _:g10 . _:o10 rdf:rest rdf:nil . _:q10 rdf:first _:a10 . _:q10 rdf:rest _:o10 . _:y9 owl:intersectionOf _:q10 . eg:C2 rdfs:subClassOf _:y9 . eg:C3 rdf:type owl:Class . _:s10 rdf:type owl:Class . _:u10 rdf:type owl:Class . _:w10 rdf:type owl:Class . eg:A rdf:type owl:Class . _:w10 owl:complementOf eg:A . eg:B rdf:type owl:Class . _:y10 rdf:first eg:B . _:y10 rdf:rest rdf:nil . _:a11 rdf:first _:w10 . _:a11 rdf:rest _:y10 . _:u10 owl:unionOf _:a11 . _:c11 rdf:type owl:Class . _:e11 rdf:type owl:Class . eg:A rdf:type owl:Class . _:e11 owl:complementOf eg:A . _:g11 rdf:type owl:Class . eg:B rdf:type owl:Class . _:g11 owl:complementOf eg:B . _:i11 rdf:first _:g11 . _:i11 rdf:rest rdf:nil . _:k11 rdf:first _:e11 . _:k11 rdf:rest _:i11 . _:c11 owl:unionOf _:k11 . _:m11 rdf:first _:c11 . _:m11 rdf:rest rdf:nil . _:o11 rdf:first _:u10 . _:o11 rdf:rest _:m11 . _:s10 owl:intersectionOf _:o11 . eg:C3 rdfs:subClassOf _:s10 . eg:C4 rdf:type owl:Class . _:q11 rdf:type owl:Restriction . _:q11 owl:onProperty eg:R . eg:C2 rdf:type owl:Class . _:q11 owl:someValuesFrom eg:C2 . eg:C4 rdfs:subClassOf _:q11 . eg:C5 rdf:type owl:Class . _:s11 rdf:type owl:Restriction . _:s11 owl:onProperty eg:R . eg:C3 rdf:type owl:Class . _:s11 owl:allValuesFrom eg:C3 . eg:C5 rdfs:subClassOf _:s11 . eg:A10 rdf:type owl:Class . eg:A11 rdf:type owl:Class . eg:A12 rdf:type owl:Class . eg:A13 rdf:type owl:Class . eg:A14 rdf:type owl:Class . eg:A15 rdf:type owl:Class . eg:A16 rdf:type owl:Class . eg:A17 rdf:type owl:Class . eg:A18 rdf:type owl:Class . eg:A19 rdf:type owl:Class . eg:A20 rdf:type owl:Class . eg:A21 rdf:type owl:Class . eg:A22 rdf:type owl:Class . eg:A23 rdf:type owl:Class . eg:A24 rdf:type owl:Class . eg:A25 rdf:type owl:Class . eg:A26 rdf:type owl:Class .eg:A27 rdf:type owl:Class . eg:A28 rdf:type owl:Class . eg:A29 rdf:type owl:Class . eg:A30 rdf:type owl:Class . eg:A31 rdf:type owl:Class . eg:B10 rdf:type owl:Class . eg:B11 rdf:type owl:Class . eg:B12 rdf:type owl:Class . eg:B13 rdf:type owl:Class . eg:B14 rdf:type owl:Class . eg:B15 rdf:type owl:Class . eg:B16 rdf:type owl:Class . eg:B17 rdf:type owl:Class . eg:B18 rdf:type owl:Class . eg:B19 rdf:type owl:Class . eg:B20 rdf:type owl:Class . eg:B21 rdf:type owl:Class . eg:B22 rdf:type owl:Class . eg:B23 rdf:type owl:Class . eg:B24 rdf:type owl:Class . eg:B25 rdf:type owl:Class . eg:B26 rdf:type owl:Class . eg:B27 rdf:type owl:Class . eg:B28 rdf:type owl:Class . eg:B29 rdf:type owl:Class . eg:B30 rdf:type owl:Class . eg:B31 rdf:type owl:Class . eg:TEST rdf:type owl:Class . _:u11 rdf:type owl:Class . eg:C1 rdf:type owl:Class . eg:C4 rdf:type owl:Class . eg:C5 rdf:type owl:Class . _:w11 rdf:first eg:C5 . _:w11 rdf:rest rdf:nil . _:y11 rdf:first eg:C4 . _:y11 rdf:rest _:w11 . _:a12 rdf:first eg:C1 . _:a12 rdf:rest _:y11 . _:u11 owl:intersectionOf _:a12 . eg:TEST rdfs:subClassOf _:u11 . eg:R rdf:type owl:ObjectProperty . _:c12 rdf:type eg:TEST . |