次へトップ目次索引

OWLウェブ・オントロジー言語
テストケース
7.1. 機能関連

Copyright © 2004 W3C^® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.

7.1. 機能関連

7.1.1. `owl:AllDifferent`

Full	ポジティブ含意テスト:		001
記述:（参考情報）`<AllDifferent/Manifest001#test>`
`differentFrom`を導くために`AllDifferent`を使用。
N3形式は参考情報です。
Full	前提: `<AllDifferent/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/AllDifferent/premises001#" xml:base="http://www.w3.org/2002/03owlt/AllDifferent/premises001" > <owl:AllDifferent> <owl:distinctMembers rdf:parseType="Collection"> <first:Person rdf:about="#Fred" /> <first:Person rdf:about="#Wilma" /> <first:Person rdf:about="#Barney" /> <first:Person rdf:about="#Betty" /> </owl:distinctMembers> </owl:AllDifferent> </rdf:RDF>
_:a rdf:type owl:AllDifferent . first:Fred rdf:type first:Person . first:Wilma rdf:type first:Person . first:Barney rdf:type first:Person . first:Betty rdf:type first:Person . _:c rdf:first first:Betty . _:c rdf:rest rdf:nil . _:e rdf:first first:Barney . _:e rdf:rest _:c . _:g rdf:first first:Wilma . _:g rdf:rest _:e . _:i rdf:first first:Fred . _:i rdf:rest _:g . _:a owl:distinctMembers _:i .
Full	結論: `<AllDifferent/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/AllDifferent/premises001#" xml:base="http://www.w3.org/2002/03owlt/AllDifferent/conclusions001" > <rdf:Description rdf:about="premises001#Barney"> <owl:differentFrom rdf:resource="premises001#Fred"/> </rdf:Description> </rdf:RDF>
first:Barney owl:differentFrom first:Fred .

7.1.2. `owl:AnnotationProperty`

Lite	ネガティブ含意テスト:		001
記述:（参考情報）`<AnnotationProperty/Manifest001#test>`
直接セマンティクスにおけるアノテーションのセマンティクスは、クラス値アノテーションと個体値アノテーションを厳密に区別します。
N3形式は参考情報です。
Lite	前提: `<AnnotationProperty/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/AnnotationProperty/premises001#" xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/premises001" > <owl:Class rdf:ID="A"> <first:ap> <owl:Class rdf:ID="B"/> </first:ap> </owl:Class> <owl:AnnotationProperty rdf:ID="ap"/> </rdf:RDF>
first:A rdf:type owl:Class . first:B rdf:type owl:Class . first:A first:ap first:B . first:ap rdf:type owl:AnnotationProperty .
Lite	結論: `<AnnotationProperty/nonconclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/AnnotationProperty/premises001#" xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/nonconclusions001" > <owl:Class rdf:about="premises001#A"> <first:ap> <owl:Thing /> </first:ap> </owl:Class> <owl:AnnotationProperty rdf:about="premises001#ap"/> </rdf:RDF>
first:A rdf:type owl:Class . _:a rdf:type owl:Thing . first:A first:ap _:a . first:ap rdf:type owl:AnnotationProperty .

Full	ポジティブ含意テスト:		002
記述:（参考情報）`<AnnotationProperty/Manifest002#test>`
rdfs互換のセマンティクスの下では、事実上、前述の非含意は含意です。
N3形式は参考情報です。
Lite	前提:`<AnnotationProperty/premises002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/AnnotationProperty/premises002#" xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/premises002" > <owl:Class rdf:ID="A"> <first:ap> <owl:Class rdf:ID="B"/> </first:ap> </owl:Class> <owl:AnnotationProperty rdf:ID="ap"/> </rdf:RDF>
first:A rdf:type owl:Class . first:B rdf:type owl:Class . first:A first:ap first:B . first:ap rdf:type owl:AnnotationProperty .
Lite	結論: `<AnnotationProperty/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/AnnotationProperty/premises002#" xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/conclusions002" > <owl:Class rdf:about="premises002#A"> <first:ap> <owl:Thing /> </first:ap> </owl:Class> <owl:AnnotationProperty rdf:about="premises002#ap"/> </rdf:RDF>
first:A rdf:type owl:Class . _:a rdf:type owl:Thing . first:A first:ap _:a . first:ap rdf:type owl:AnnotationProperty .

Full (EC)	整合性のあるドキュメント		003
記述:（参考情報）`<AnnotationProperty/Manifest003#test>`
アノテーションで使用されるURI参照は、タイプ付けされる必要はありません。
N3形式は参考情報です。
Lite	整合: `<AnnotationProperty/consistent003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/AnnotationProperty/consistent003#" xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/consistent003" > <owl:AnnotationProperty rdf:ID="ap"/> <owl:Class rdf:ID="A"> <first:ap> <rdf:Description rdf:ID="B"/> </first:ap> </owl:Class> </rdf:RDF>
first:ap rdf:type owl:AnnotationProperty . first:A rdf:type owl:Class . first:A first:ap first:B .

Full (EC)	整合性のあるドキュメント		004
記述:（参考情報）`<AnnotationProperty/Manifest004#test>`
OWL LiteおよびOWL DLにおけるAnnotationPropertyは、範囲制約を持つことができません。
N3形式は参考情報です。
Full	整合: `<AnnotationProperty/consistent004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base= "http://www.w3.org/2002/03owlt/AnnotationProperty/consistent004" > <owl:AnnotationProperty rdf:ID="ap"> <rdfs:range rdf:resource= "http://www.w3.org/2001/XMLSchema#string"/> </owl:AnnotationProperty> </rdf:RDF>
first:ap rdf:type owl:AnnotationProperty . first:ap rdfs:range xsd:string .

7.1.3. `owl:Class`

Full	OWLで記述されているOWL		001
記述:（参考情報）`<Class/Manifest001#test>`
OWL Fullでは全てのrdfs:Classはowl:Classで、特にrdfs:Classはowl:Classです。
N3形式は参考情報です。
Full	真: `<Class/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/Class/conclusions001" > <owl:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#Class"> <owl:equivalentClass> <rdfs:Class rdf:about="http://www.w3.org/2002/07/owl#Class"/> </owl:equivalentClass> </owl:Class> </rdf:RDF>
rdfs:Class rdf:type owl:Class . owl:Class rdf:type rdfs:Class . rdfs:Class owl:equivalentClass owl:Class .

Full	ポジティブ含意テスト:		002
記述:（参考情報）`<Class/Manifest002#test>`
OWL Fullでは、前提におけるトリプルは結論におけるトリプルと同義です。
N3形式は参考情報です。
Full	前提: `<Class/premises002>`
<rdf:RDF 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/Class/premises002" > <rdfs:Class rdf:ID="ex"/> </rdf:RDF>
first:ex rdf:type rdfs:Class .
Lite	結論: `<Class/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/Class/conclusions002" > <owl:Class rdf:about="premises002#ex"/> </rdf:RDF>
first:ex rdf:type owl:Class .

Full	ポジティブ含意テスト:		003
記述:（参考情報）`<Class/Manifest003#test>`
OWL Fullでは、前提におけるトリプルは結論におけるトリプルと同義です。
N3形式は参考情報です。
Lite	前提: `<Class/premises003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/Class/premises003" > <owl:Class rdf:ID="ex"/> </rdf:RDF>
first:ex rdf:type owl:Class .
Full	結論: `<Class/conclusions003>`
<rdf:RDF 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/Class/conclusions003" > <rdfs:Class rdf:about="premises003#ex"/> </rdf:RDF>
first:ex rdf:type rdfs:Class .

Full (EC)	ネガティブ含意テスト:		004
記述:（参考情報）`<Class/Manifest004#test>`
owl:Classに関するアノテーションはrdfs:Classに関するものと関連していません。
N3形式は参考情報です。
名前空間:
@prefix dc: <http://purl.org/dc/elements/1.0/> .
Full	前提: `<Class/premises004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/Class/premises004#" xmlns:dc='http://purl.org/dc/elements/1.0/' xml:base="http://www.w3.org/2002/03owlt/Class/premises004" > <owl:Class rdf:ID="WorkingGroup"/> <owl:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#Class"> <dc:creator> <first:WorkingGroup rdf:about="http://www.w3.org/RDF/Group/Schema/members" /> </dc:creator> </owl:Class> </rdf:RDF>
first:WorkingGroup rdf:type owl:Class . rdfs:Class rdf:type owl:Class . <http://www.w3.org/RDF/Group/Schema/members> rdf:type first:WorkingGroup . rdfs:Class dc:creator <http://www.w3.org/RDF/Group/Schema/members> .
Full	結論: `<Class/nonconclusions004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/Class/premises004#" xmlns:dc='http://purl.org/dc/elements/1.0/' xml:base="http://www.w3.org/2002/03owlt/Class/nonconclusions004" > <owl:Class rdf:about="premises004#WorkingGroup"/> <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Class"> <dc:creator> <first:WorkingGroup /> </dc:creator> </owl:Class> </rdf:RDF>
first:WorkingGroup rdf:type owl:Class . owl:Class rdf:type owl:Class . _:a rdf:type first:WorkingGroup . owl:Class dc:creator _:a .

DL Full	ネガティブ含意テスト:		005
記述:（参考情報）`<Class/Manifest005#test>`
このテストは、OWL Fullの内包規則に潜在する誤った適用を示します。また、これは、`owl:Class`のオプション・タイプのトリプルを示します。
N3形式は参考情報です。
Lite	前提: `<Class/premises005>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/Class/premises005" > <owl:Thing rdf:ID="x"/> </rdf:RDF>
first:x rdf:type owl:Thing .
DL	結論: `<Class/nonconclusions005>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/Class/nonconclusions005" > <owl:Class rdf:ID="c"/> <rdf:Description rdf:about="premises005#x"> <rdf:type> <rdf:Description> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/> <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> <owl:unionOf rdf:parseType="Collection"> <rdf:Description rdf:about="#c" /> <owl:Class> <owl:complementOf rdf:resource="#c"/> </owl:Class> </owl:unionOf> </rdf:Description> </rdf:type> </rdf:Description> </rdf:RDF>
second:c rdf:type owl:Class . _:a rdf:type owl:Class . _:a rdf:type rdfs:Class . _:c rdf:type owl:Class . _:c owl:complementOf second:c ._:e rdf:first _:c . _:e rdf:rest rdf:nil . _:g rdf:first second:c . _:g rdf:rest _:e . _:a owl:unionOf _:g . first:x rdf:type _:a .

Full	ポジティブ含意テスト:		006
記述:（参考情報）`<Class/Manifest006#test>`
このテストは、OWL Fullの内包規則の正しい適用を示します。また、これは、`owl:Class`の代わりに`rdfs:Class`を使用するとファイルがOWL DLから外れるかもしれないことを示します。
N3形式は参考情報です。
Lite	前提: `<Class/premises006>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/Class/premises006" > <owl:Thing rdf:ID="x"/> <owl:Class rdf:ID="c"/> </rdf:RDF>
first:x rdf:type owl:Thing . first:c rdf:type owl:Class .
Full	結論: `<Class/conclusions006>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/Class/conclusions006" > <rdf:Description rdf:about="premises006#x"> <rdf:type> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="premises006#c" /> <rdfs:Class> <owl:complementOf rdf:resource="premises006#c"/> </rdfs:Class> </owl:unionOf> </owl:Class> </rdf:type> </rdf:Description> </rdf:RDF>
_:a rdf:type owl:Class . first:c rdf:type owl:Class . _:c rdf:type rdfs:Class . _:c owl:complementOf first:c . _:e rdf:first _:c . _:e rdf:rest rdf:nil . _:g rdf:first first:c . _:g rdf:rest _:e . _:a owl:unionOf _:g . first:x rdf:type _:a .

7.1.4. `owl:DatatypeProperty`

Full (EC)	整合性のあるドキュメント		001
記述:（参考情報）`<DatatypeProperty/Manifest001#test>`
OWL Fullにおいて、DatatypePropertyは、タイプ付きリテラルをタイプ付きリテラルに関連付けるのに使用できます。
N3形式は参考情報です。
Full	整合: `<DatatypeProperty/consistent001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001#" xml:base="http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001" > <owl:DatatypeProperty rdf:ID="convertedAbsoluteValue"> <rdfs:domain rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/> <rdfs:range rdf:resource= "http://www.w3.org/2001/XMLSchema#nonNegativeInteger" /> </owl:DatatypeProperty> <rdf:Description> <owl:sameAs rdf:datatype= "http://www.w3.org/2001/XMLSchema#integer" >-3</owl:sameAs> <first:convertedAbsoluteValue rdf:datatype= "http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >3</first:convertedAbsoluteValue> </rdf:Description> </rdf:RDF>
first:convertedAbsoluteValue rdf:type owl:DatatypeProperty . first:convertedAbsoluteValue rdfs:domain xsd:integer . first:convertedAbsoluteValue rdfs:range xsd:nonNegativeInteger . _:a owl:sameAs "-3"^^xsd:integer . _:a first:convertedAbsoluteValue "3"^^xsd:nonNegativeInteger .

7.1.5. `owl:FunctionalProperty`

Full	ポジティブ含意テスト:		001
記述:（参考情報）`<FunctionalProperty/Manifest001#test>`
`prop`が`owl:FunctionalProperty`に属していて、`subject`が2つの`prop`トリプルの主語である資源を示す場合、これらのトリプルの`object`は表示上同じになります。
N3形式は参考情報です。
Full	前提: `<FunctionalProperty/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#" xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises001" > <owl:FunctionalProperty rdf:ID="prop"/> <rdf:Description rdf:ID="subject"> <first:prop rdf:resource="#object1" /> <first:prop rdf:resource="#object2" /> </rdf:Description> </rdf:RDF>
first:prop rdf:type owl:FunctionalProperty . first:subject first:prop first:object1 . first:subject first:prop first:object2 .
Full	結論: `<FunctionalProperty/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions001" > <rdf:Description rdf:about="premises001#object1"> <owl:sameAs rdf:resource="premises001#object2" /> </rdf:Description> </rdf:RDF>
first:object1 owl:sameAs first:object2 .

Full	ポジティブ含意テスト:		002
記述:（参考情報）`<FunctionalProperty/Manifest002#test>`
`prop`が`owl:FunctionalProperty`に属していて、`subject`が2つの`prop`トリプルの主語である資源を示す場合、これらのトリプルの`object`は表示上同じになります。したがって、そられのうちの1つを使用して作られたあらゆる言明を、もう一方へ移すことができます。
N3形式は参考情報です。
名前空間:
@prefix eg: <http://www.example.org/> .
Full	前提: `<FunctionalProperty/premises002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xmlns:eg ="http://www.example.org/" xmlns:first="http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#" xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises002" > <owl:FunctionalProperty rdf:ID="prop"/> <rdf:Description rdf:ID="subject"> <first:prop> <rdf:Description rdf:ID="object1"> <eg:prop2>value</eg:prop2> </rdf:Description> </first:prop> <first:prop rdf:resource="#object2" /> </rdf:Description> </rdf:RDF>
first:prop rdf:type owl:FunctionalProperty . first:object1 eg:prop2 "value" . first:subject first:prop first:object1 . first:subject first:prop first:object2 .
Full	結論: `<FunctionalProperty/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:eg ="http://www.example.org/" xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002" > <rdf:Description rdf:about="premises002#object2" > <eg:prop2>value</eg:prop2> </rdf:Description> </rdf:RDF>
first:object2 eg:prop2 "value" .

Full	ポジティブ含意テスト:		003
記述:（参考情報）`<FunctionalProperty/Manifest003#test>`
`prop`が`owl:FunctionalProperty`である場合、その逆は`owl:InverseFunctionalProperty`です。
N3形式は参考情報です。
Full	前提: `<FunctionalProperty/premises003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises003" > <owl:FunctionalProperty rdf:ID="prop"> <owl:inverseOf rdf:resource="#inv"/> </owl:FunctionalProperty> </rdf:RDF>
first:prop rdf:type owl:FunctionalProperty . first:prop owl:inverseOf first:inv .
Lite	結論: `<FunctionalProperty/conclusions003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003" > <owl:InverseFunctionalProperty rdf:about="premises003#inv"/> </rdf:RDF>
first:inv rdf:type owl:InverseFunctionalProperty .

Full	ポジティブ含意テスト:		004
記述:（参考情報）`<FunctionalProperty/Manifest004#test>`
`prop`の範囲が単集合である場合、必然的に関数型であり（つまり、その領域の全てのメンバーは、たった1つの値を持っている）、したがって、それは`owl:FunctionalProperty`です。
N3形式は参考情報です。
Full	前提: `<FunctionalProperty/premises004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises004" > <owl:ObjectProperty rdf:ID="prop"> <rdfs:range rdf:resource="#Singleton"/> </owl:ObjectProperty> <rdfs:Class rdf:ID="Singleton"> <owl:oneOf rdf:parseType="Collection"> <rdf:Description/> </owl:oneOf> </rdfs:Class> </rdf:RDF>
first:prop rdf:type owl:ObjectProperty . first:prop rdfs:range first:Singleton . first:Singleton rdf:type rdfs:Class . _:a rdf:first _:b . _:a rdf:rest rdf:nil . first:Singleton owl:oneOf _:a .
Full	結論: `<FunctionalProperty/conclusions004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions004" > <owl:FunctionalProperty rdf:about="premises004#prop"/> </rdf:RDF>
first:prop rdf:type owl:FunctionalProperty .

Full	ポジティブ含意テスト:		005
記述:（参考情報）`<FunctionalProperty/Manifest005#test>`
propが`owl:FunctionalProperty`に属している場合、OWLの個体はpropに対し高々1つの値を持ちます。
N3形式は参考情報です。
名前空間:
@prefix eg: <http://www.example.org/> .
Full	前提: `<FunctionalProperty/premises005>`
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises005" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xmlns:eg ="http://www.example.org/"> <owl:FunctionalProperty rdf:about="http://www.example.org/foo#prop" /> <owl:Thing rdf:about="http://www.example.org/foo#object" /> </rdf:RDF>
eg:foo#prop rdf:type owl:FunctionalProperty . eg:foo#object rdf:type owl:Thing .
Full	結論: `<FunctionalProperty/conclusions005>`
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions005" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xmlns:eg ="http://www.example.org/"> <owl:Thing rdf:about="http://www.example.org/foo#object"> <rdf:type> <owl:Restriction> <owl:onProperty> <owl:FunctionalProperty rdf:about="http://www.example.org/foo#prop" /> </owl:onProperty> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:maxCardinality> </owl:Restriction> </rdf:type> </owl:Thing> </rdf:RDF>
eg:foo#object rdf:type owl:Thing . _:a rdf:type owl:Restriction . eg:foo#prop rdf:type owl:FunctionalProperty . _:a owl:onProperty eg:foo#prop . _:a owl:maxCardinality "1"^^xsd:nonNegativeInteger . eg:foo#object rdf:type _:a .

7.1.6. `owl:InverseFunctionalProperty`

Full	ポジティブ含意テスト:		001
記述:（参考情報）`<InverseFunctionalProperty/Manifest001#test>`
`prop`が`owl:InverseFunctionalProperty`に属していて、`object`が2つの`prop`トリプルの目的語である資源を示す場合、これらのトリプルの`subject`は表示上同じになります。
N3形式は参考情報です。
Full	前提: `<InverseFunctionalProperty/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#" xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001" > <owl:InverseFunctionalProperty rdf:ID="prop"/> <rdf:Description rdf:ID="subject1"> <first:prop rdf:resource="#object" /> </rdf:Description> <rdf:Description rdf:ID="subject2"> <first:prop rdf:resource="#object" /> </rdf:Description> </rdf:RDF>
first:prop rdf:type owl:InverseFunctionalProperty . first:subject1 first:prop first:object . first:subject2 first:prop first:object .
Full	結論: `<InverseFunctionalProperty/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001" > <rdf:Description rdf:about="premises001#subject1"> <owl:sameAs rdf:resource="premises001#subject2" /> </rdf:Description> </rdf:RDF>
first:subject1 owl:sameAs first:subject2 .

Full	ポジティブ含意テスト:		002
記述:（参考情報）`<InverseFunctionalProperty/Manifest002#test>`
`prop`が`owl:InverseFunctionalProperty`に属していて、`object`が2つの`prop`トリプルの目的語である資源を示す場合、これらのトリプルの`subject`は表示上同じになります。したがって、それらのうちの1つを使用して作られたあらゆる言明を、もう一方に移すことができます。
N3形式は参考情報です。
名前空間:
@prefix eg: <http://www.example.org/> .
Full	前提: `<InverseFunctionalProperty/premises002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xmlns:eg ="http://www.example.org/" xmlns:first="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#" xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002" > <owl:InverseFunctionalProperty rdf:ID="prop"/> <rdf:Description rdf:ID="subject1" > <first:prop rdf:resource="#object" /> <eg:prop2>value</eg:prop2> </rdf:Description> <rdf:Description rdf:ID="subject2" > <first:prop rdf:resource="#object" /> </rdf:Description> </rdf:RDF>
first:prop rdf:type owl:InverseFunctionalProperty . first:subject1 first:prop first:object . first:subject1 eg:prop2 "value" . first:subject2 first:prop first:object .
Full	結論: `<InverseFunctionalProperty/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:eg ="http://www.example.org/" xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002" > <rdf:Description rdf:about="premises002#subject2" > <eg:prop2>value</eg:prop2> </rdf:Description> </rdf:RDF>
first:subject2 eg:prop2 "value" .

Full	ポジティブ含意テスト:		003
記述:（参考情報）`<InverseFunctionalProperty/Manifest003#test>`
`prop`が`owl:InverseFunctionalProperty`である場合、その逆は`owl:FunctionalProperty`です。
N3形式は参考情報です。
Full	前提: `<InverseFunctionalProperty/premises003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003" > <owl:InverseFunctionalProperty rdf:ID="prop"> <owl:inverseOf rdf:resource="#inv"/> </owl:InverseFunctionalProperty> </rdf:RDF>
first:prop rdf:type owl:InverseFunctionalProperty . first:prop owl:inverseOf first:inv .
Full	結論: `<InverseFunctionalProperty/conclusions003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions003" > <owl:FunctionalProperty rdf:about="premises003#inv"/> </rdf:RDF>
first:inv rdf:type owl:FunctionalProperty .

Full	ポジティブ含意テスト:		004
記述:（参考情報）`<InverseFunctionalProperty/Manifest004#test>`
`prop`の範囲が単集合である場合、必然的に逆関数型であり（つまり、その範囲の全てのメンバーは、たった1つのアイテムの値である) 、したがって、それは`owl:InverseFunctionalProperty`です。
N3形式は参考情報です。
Full	前提: `<InverseFunctionalProperty/premises004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004" > <owl:ObjectProperty rdf:ID="prop"> <rdfs:domain rdf:resource="#Singleton"/> </owl:ObjectProperty> <rdfs:Class rdf:ID="Singleton"> <owl:oneOf rdf:parseType="Collection"> <rdf:Description/> </owl:oneOf> </rdfs:Class> </rdf:RDF>
first:prop rdf:type owl:ObjectProperty . first:prop rdfs:domain first:Singleton . first:Singleton rdf:type rdfs:Class . _:a rdf:first _:b . _:a rdf:rest rdf:nil . first:Singleton owl:oneOf _:a .
Lite	結論: `<InverseFunctionalProperty/conclusions004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions004" > <owl:InverseFunctionalProperty rdf:about="premises004#prop"/> </rdf:RDF>
first:prop rdf:type owl:InverseFunctionalProperty .

7.1.7. `owl:Nothing`

Lite Full	矛盾したドキュメント		001
記述:（参考情報）`<Nothing/Manifest001#test>`
トリプルはタイプ`owl:Nothing`について何らかの言明を行いますが、それは空のクラスです。
N3形式は参考情報です。
Lite	矛盾: `<Nothing/inconsistent001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/Nothing/inconsistent001" > <owl:Nothing/> </rdf:RDF>
_:a rdf:type owl:Nothing .

DL Full	OWLで記述されているOWL		002
記述:（参考情報）`<Nothing/Manifest002#test>`
空の`owl:Class`は、`owl:Nothing`と同じクラスの外延を持ちます。
N3形式は参考情報です。
DL	真: `<Nothing/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xml:base='http://www.w3.org/2002/03owlt/Nothing/conclusions002' xmlns:owl="http://www.w3.org/2002/07/owl#"> <owl:Class> <owl:oneOf rdf:parseType="Collection"/> <owl:equivalentClass rdf:resource="http://www.w3.org/2002/07/owl#Nothing" /> </owl:Class> </rdf:RDF>
_:a rdf:type owl:Class . _:a owl:oneOf rdf:nil . _:a owl:equivalentClass owl:Nothing .

7.1.8. `owl:Ontology`

Lite Full	ポジティブ含意テスト:		001
記述:（参考情報）`<Ontology/Manifest001#test>`
これは、equivalentClass-001の1つのバリエーションで、前提と結論における`owl:Ontology`トリプルの使用を示しています。
N3形式は参考情報です。
Lite	前提: `<Ontology/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/Ontology/premises001#" xml:base="http://www.w3.org/2002/03owlt/Ontology/premises001" > <owl:Ontology rdf:about="" /> <owl:Class rdf:ID="Car"> <owl:equivalentClass> <owl:Class rdf:ID="Automobile"/> </owl:equivalentClass> </owl:Class> <first:Car rdf:ID="car"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Car> <first:Automobile rdf:ID="auto"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Automobile> </rdf:RDF>
<Ontology/premises001> rdf:type owl:Ontology . first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class . first:Car owl:equivalentClass first:Automobile . first:car rdf:type first:Car . first:car rdf:type owl:Thing . first:auto rdf:type first:Automobile . first:auto rdf:type owl:Thing .
Lite	結論: `<Ontology/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/Ontology/premises001#" xml:base="http://www.w3.org/2002/03owlt/Ontology/conclusions001" > <owl:Ontology /> <first:Car rdf:about="premises001#auto"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Car> <first:Automobile rdf:about="premises001#car"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Automobile> <owl:Class rdf:about="premises001#Car"/> <owl:Class rdf:about="premises001#Automobile"/> </rdf:RDF>
_:a rdf:type owl:Ontology . first:auto rdf:type first:Car . first:auto rdf:type owl:Thing . first:car rdf:type first:Automobile . first:car rdf:type owl:Thing . first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class .

Lite Full	ネガティブ含意テスト:		003
記述:（参考情報）`<Ontology/Manifest003#test>`
これは、equivalentClass-001の1つのバリエーションで、結論のみにおける`owl:Ontology`トリプルの使用を示しています。
N3形式は参考情報です。
Lite	前提: `<Ontology/premises003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/Ontology/premises003#" xml:base="http://www.w3.org/2002/03owlt/Ontology/premises003" > <owl:Class rdf:ID="Car"> <owl:equivalentClass> <owl:Class rdf:ID="Automobile"/> </owl:equivalentClass> </owl:Class> <first:Car rdf:ID="car"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Car> <first:Automobile rdf:ID="auto"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Automobile> </rdf:RDF>
first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class . first:Car owl:equivalentClass first:Automobile . first:car rdf:type first:Car . first:car rdf:type owl:Thing . first:auto rdf:type first:Automobile . first:auto rdf:type owl:Thing .
Lite	結論: `<Ontology/nonconclusions003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/Ontology/premises003#" xml:base="http://www.w3.org/2002/03owlt/Ontology/nonconclusions003" > <owl:Ontology /> <first:Car rdf:about="premises003#auto"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Car> <first:Automobile rdf:about="premises003#car"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Automobile> <owl:Class rdf:about="premises003#Car"/> <owl:Class rdf:about="premises003#Automobile"/> </rdf:RDF>
_:a rdf:type owl:Ontology . first:auto rdf:type first:Car . first:auto rdf:type owl:Thing . first:car rdf:type first:Automobile . first:car rdf:type owl:Thing . first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class .

Lite Full	ポジティブ含意テスト:		004
記述:（参考情報）`<Ontology/Manifest004#test>`
これは、equivalentClass-001の1つのバリエーションで、前提における2つの`owl:Ontology`トリプルの使用を示しています。
N3形式は参考情報です。
Lite	前提: `<Ontology/premises004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/Ontology/premises004#" xml:base="http://www.w3.org/2002/03owlt/Ontology/premises004" > <owl:Ontology rdf:about="" /> <owl:Ontology rdf:about="http://www.example.org/" /> <owl:Class rdf:ID="Car"> <owl:equivalentClass> <owl:Class rdf:ID="Automobile"/> </owl:equivalentClass> </owl:Class> <first:Car rdf:ID="car"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Car> <first:Automobile rdf:ID="auto"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Automobile> </rdf:RDF>
<Ontology/premises004> rdf:type owl:Ontology . <http://www.example.org/> rdf:type owl:Ontology . first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class . first:Car owl:equivalentClass first:Automobile . first:car rdf:type first:Car . first:car rdf:type owl:Thing . first:auto rdf:type first:Automobile . first:auto rdf:type owl:Thing .
Lite	結論: `<Ontology/conclusions004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/Ontology/premises004#" xml:base="http://www.w3.org/2002/03owlt/Ontology/conclusions004" > <first:Car rdf:about="premises004#auto"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Car> <first:Automobile rdf:about="premises004#car"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Automobile> <owl:Class rdf:about="premises004#Car"/> <owl:Class rdf:about="premises004#Automobile"/> </rdf:RDF>
first:auto rdf:type first:Car . first:auto rdf:type owl:Thing . first:car rdf:type first:Automobile . first:car rdf:type owl:Thing . first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class .

7.1.9. `owl:Restriction`

Lite Full	矛盾したドキュメント		001
記述:（参考情報）`<Restriction/Manifest001#test>`
このテストは、OWL Liteにおいて2度同じ制限を使用するための構文を示します。
N3形式は参考情報です。
Lite	矛盾: `<Restriction/inconsistent001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/Restriction/inconsistent001#" xml:base="http://www.w3.org/2002/03owlt/Restriction/inconsistent001" > <owl:ObjectProperty rdf:ID="op"/> <rdf:Description rdf:ID="a"> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="#op"/> <owl:someValuesFrom rdf:resource= "http://www.w3.org/2002/07/owl#Nothing" /> </owl:Restriction> </rdf:type> </rdf:Description> <rdf:Description rdf:ID="b"> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="#op"/> <owl:someValuesFrom rdf:resource= "http://www.w3.org/2002/07/owl#Nothing" /> </owl:Restriction> </rdf:type> </rdf:Description> </rdf:RDF>
first:op rdf:type owl:ObjectProperty . _:a rdf:type owl:Restriction . _:a owl:onProperty first:op . _:a owl:someValuesFrom owl:Nothing . first:a rdf:type _:a . _:c rdf:type owl:Restriction . _:c owl:onProperty first:op . _:c owl:someValuesFrom owl:Nothing . first:b rdf:type _:c .

Full	矛盾したドキュメント		002
記述:（参考情報）`<Restriction/Manifest002#test>`
このテストは、OWL LiteまたはOWL DLにおいて2度同じ制限を使用することが許されていない構文を示します。
N3形式は参考情報です。
Full	矛盾: `<Restriction/inconsistent002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/Restriction/inconsistent002" > <owl:ObjectProperty rdf:ID="op"/> <rdf:Description rdf:ID="a"> <rdf:type> <owl:Restriction rdf:nodeID="r"> <owl:onProperty rdf:resource="#op"/> <owl:someValuesFrom rdf:resource= "http://www.w3.org/2002/07/owl#Nothing" /> </owl:Restriction> </rdf:type> </rdf:Description> <rdf:Description rdf:ID="b"> <rdf:type rdf:nodeID="r"/> </rdf:Description> </rdf:RDF>
first:op rdf:type owl:ObjectProperty . _:a rdf:type owl:Restriction . _:a owl:onProperty first:op . _:a owl:someValuesFrom owl:Nothing . first:a rdf:type _:a . first:b rdf:type _:a .

Full (EC)	整合性のあるドキュメント		003
記述:（参考情報）`<Restriction/Manifest003#test>`
このテストは、OWL LiteまたはOWL DLにおいて2度同じ制限を使用することが許されていない構文を示します。
サポートされうる、またはされえないデータ型:		xsd:byte,
N3形式は参考情報です。
Full	整合: `<Restriction/consistent003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/Restriction/consistent003#" xml:base="http://www.w3.org/2002/03owlt/Restriction/consistent003" > <owl:DatatypeProperty rdf:ID="dp"/> <owl:Class rdf:ID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="superC"/> <owl:Restriction rdf:nodeID="r"> <owl:onProperty rdf:resource="#dp"/> <owl:someValuesFrom rdf:resource= "http://www.w3.org/2001/XMLSchema#byte" /> </owl:Restriction> </owl:intersectionOf> </owl:Class> <owl:Class rdf:ID="D"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="superD"/> <rdf:Description rdf:nodeID="r"/> </owl:intersectionOf> </owl:Class> </rdf:RDF>
first:dp rdf:type owl:DatatypeProperty . first:C rdf:type owl:Class . first:superC rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:dp . _:a owl:someValuesFrom xsd:byte . _:c rdf:first _:a . _:c rdf:rest rdf:nil . _:e rdf:first first:superC . _:e rdf:rest _:c . first:C owl:intersectionOf _:e . first:D rdf:type owl:Class . first:superD rdf:type owl:Class . _:g rdf:first _:a . _:g rdf:rest rdf:nil . _:i rdf:first first:superD . _:i rdf:rest _:g . first:D owl:intersectionOf _:i .

Lite Full	整合性のあるドキュメント		004
記述:（参考情報）`<Restriction/Manifest004#test>`
このテストは、2つの同等な制限を使用するためのOWL Lite構文を示します。
サポートされうる、またはされえないデータ型:		xsd:byte,
N3形式は参考情報です。
Lite	整合: `<Restriction/consistent004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/Restriction/consistent004" > <owl:DatatypeProperty rdf:ID="dp"/> <owl:Class rdf:ID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="superC"/> <owl:Restriction> <owl:onProperty rdf:resource="#dp"/> <owl:someValuesFrom rdf:resource= "http://www.w3.org/2001/XMLSchema#byte" /> </owl:Restriction> </owl:intersectionOf> </owl:Class> <owl:Class rdf:ID="D"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="superD"/> <owl:Restriction> <owl:onProperty rdf:resource="#dp"/> <owl:someValuesFrom rdf:resource= "http://www.w3.org/2001/XMLSchema#byte" /> </owl:Restriction> </owl:intersectionOf> </owl:Class> </rdf:RDF>
first:dp rdf:type owl:DatatypeProperty . first:C rdf:type owl:Class . first:superC rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:dp . _:a owl:someValuesFrom xsd:byte . _:c rdf:first _:a . _:c rdf:rest rdf:nil . _:e rdf:first first:superC . _:e rdf:rest _:c . first:C owl:intersectionOf _:e . first:D rdf:type owl:Class . first:superD rdf:type owl:Class . _:g rdf:type owl:Restriction . _:g owl:onProperty first:dp . _:g owl:someValuesFrom xsd:byte . _:i rdf:first _:g . _:i rdf:rest rdf:nil . _:k rdf:first first:superD . _:k rdf:rest _:i . first:D owl:intersectionOf _:k .

Lite Full	ネガティブ含意テスト:		005
記述:（参考情報）`<Restriction/Manifest005#test>`
このテストは、OWL Full内包規則に潜在する誤った適用を示します。これは、`owl:Restriction`におけるオプション・タイプのトリプルも示します。
N3形式は参考情報です。
Lite	前提: `<Restriction/premises005>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/Restriction/premises005" > <owl:Thing rdf:ID="x"> <rdf:type> <owl:Restriction> <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> <owl:onProperty> <owl:ObjectProperty rdf:about="premises005#p" /> </owl:onProperty> <owl:maxCardinality rdf:datatype= "http://www.w3.org/2001/XMLSchema#int" >0</owl:maxCardinality> </owl:Restriction> </rdf:type> </owl:Thing> <owl:ObjectProperty rdf:ID="p" /> </rdf:RDF>
first:x rdf:type owl:Thing . _:a rdf:type owl:Restriction . _:a rdf:type rdfs:Class . first:p rdf:type owl:ObjectProperty . _:a owl:onProperty first:p . _:a owl:maxCardinality "0"^^xsd:int . first:x rdf:type _:a . first:p rdf:type owl:ObjectProperty .
Lite	結論: `<Restriction/nonconclusions005>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/Restriction/premises005#" xmlns:second="http://www.w3.org/2002/03owlt/Restriction/nonconclusions005#" xml:base="http://www.w3.org/2002/03owlt/Restriction/nonconclusions005" > <rdf:Description rdf:about="premises005#x"> <rdf:type> <owl:Restriction> <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/> <owl:onProperty> <owl:ObjectProperty rdf:about="premises005#p" /> </owl:onProperty> <owl:allValuesFrom> <owl:Class rdf:ID="c"> <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </rdf:type> </rdf:Description> </rdf:RDF>
_:a rdf:type owl:Restriction . _:a rdf:type rdfs:Class . _:a rdf:type owl:Class . first:p rdf:type owl:ObjectProperty . _:a owl:onProperty first:p . second:c rdf:type owl:Class . second:c rdf:type rdfs:Class . _:a owl:allValuesFrom second:c . first:x rdf:type _:a .

Full	ポジティブ含意テスト:		006
記述:（参考情報）`<Restriction/Manifest006#test>`
このテストは、OWL Fullの内包規則の正しい適用を示します。これは、`owl:Restriction`におけるオプション・タイプのトリプルが必須であるものの代りにならないことも示します。
N3形式は参考情報です。
Lite	前提: `<Restriction/premises006>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/Restriction/premises006" > <owl:Thing rdf:ID="x"/> <owl:ObjectProperty rdf:ID="p" /> </rdf:RDF>
first:x rdf:type owl:Thing . first:p rdf:type owl:ObjectProperty .
Full	結論: `<Restriction/conclusions006>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/Restriction/conclusions006" > <rdf:Description rdf:about="premises006#x"> <rdf:type> <rdf:Description> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/> <owl:unionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="premises006#p" /> </owl:onProperty> <owl:someValuesFrom rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </owl:Restriction> <owl:Class> <owl:onProperty> <owl:ObjectProperty rdf:about="premises006#p" /> </owl:onProperty> <owl:maxCardinality rdf:datatype= "http://www.w3.org/2001/XMLSchema#int" >0</owl:maxCardinality> </owl:Class> </owl:unionOf> </rdf:Description> </rdf:type> </rdf:Description> </rdf:RDF>
_:a rdf:type owl:Class . _:c rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:c owl:onProperty first:p . _:c owl:someValuesFrom owl:Thing . _:e rdf:type owl:Class . first:p rdf:type owl:ObjectProperty . _:e owl:onProperty first:p . _:e owl:maxCardinality "0"^^xsd:int . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:i rdf:first _:c . _:i rdf:rest _:g . _:a owl:unionOf _:i . first:x rdf:type _:a .

7.1.10. `owl:SymmetricProperty`

Full	ポジティブ含意テスト:		001
記述:（参考情報）`<SymmetricProperty/Manifest001#test>`
対称的なプロパティーのシンプルな具体例。
N3形式は参考情報です。
Full	前提: `<SymmetricProperty/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#" xmlns:second="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001#" xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/premises001" > <rdf:Description rdf:about="premises001#Ghent"> <first:path rdf:resource="premises001#Antwerp"/> </rdf:Description> <owl:SymmetricProperty rdf:about="premises001#path"/> </rdf:RDF>
first:Ghent first:path first:Antwerp . first:path rdf:type owl:SymmetricProperty .
Full	結論: `<SymmetricProperty/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#" xmlns:second="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001#" xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001" > <rdf:Description rdf:about="premises001#Antwerp"> <first:path rdf:resource="premises001#Ghent"/> </rdf:Description> </rdf:RDF>
first:Antwerp first:path first:Ghent .

DL Full	ポジティブ含意テスト:		002
記述:（参考情報）`<SymmetricProperty/Manifest002#test>`
`owl:SymmetricProperty`の拡張セマンティクスを例示しているテスト。
N3形式は参考情報です。
DL	前提: `<SymmetricProperty/premises002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/SymmetricProperty/premises002#" xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/premises002" > <owl:InverseFunctionalProperty rdf:about="#equalityOnA"> <rdfs:range> <owl:Class rdf:ID="A"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:ID="a"/> <owl:Thing rdf:ID="b"/> </owl:oneOf> </owl:Class> </rdfs:range> </owl:InverseFunctionalProperty> <owl:Thing rdf:about="#a"> <first:equalityOnA rdf:resource="#a"/> </owl:Thing> <owl:Thing rdf:about="#b"> <first:equalityOnA rdf:resource="#b"/> </owl:Thing> <owl:Thing rdf:ID="c"/> </rdf:RDF>
first:equalityOnA rdf:type owl:InverseFunctionalProperty . first:A rdf:type owl:Class . first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . _:a rdf:first first:b . _:a rdf:rest rdf:nil . _:c rdf:first first:a . _:c rdf:rest _:a . first:A owl:oneOf _:c . first:equalityOnA rdfs:range first:A . first:a rdf:type owl:Thing . first:a first:equalityOnA first:a . first:b rdf:type owl:Thing . first:b first:equalityOnA first:b . first:c rdf:type owl:Thing .
DL	結論: `<SymmetricProperty/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/SymmetricProperty/premises002#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions002" > <owl:SymmetricProperty rdf:about="premises002#equalityOnA"> <rdfs:domain> <owl:Class> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:about="premises002#a"/> <owl:Thing rdf:about="premises002#b"/> <owl:Thing rdf:about="premises002#c"/> </owl:oneOf> </owl:Class> </rdfs:domain> </owl:SymmetricProperty> <owl:Thing rdf:about="premises002#a"> <first:equalityOnA rdf:resource="premises002#a"/> </owl:Thing> </rdf:RDF>
first:equalityOnA rdf:type owl:SymmetricProperty . _:a rdf:type owl:Class . first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . first:c rdf:type owl:Thing . _:c rdf:first first:c . _:c rdf:rest rdf:nil . _:e rdf:first first:b . _:e rdf:rest _:c . _:g rdf:first first:a . _:g rdf:rest _:e . _:a owl:oneOf _:g . first:equalityOnA rdfs:domain _:a . first:a rdf:type owl:Thing . first:a first:equalityOnA first:a .

Lite Full	ポジティブ含意テスト:		003
記述:（参考情報）`<SymmetricProperty/Manifest003#test>`
テスト001のLiteバージョン。
N3形式は参考情報です。
Lite	前提: `<SymmetricProperty/premises003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/SymmetricProperty/premises003#" xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/premises003" > <owl:Thing rdf:about="premises003#Ghent"> <first:path> <owl:Thing rdf:about="premises003#Antwerp"/> </first:path> </owl:Thing> <owl:SymmetricProperty rdf:about="premises003#path"/> </rdf:RDF>
first:Ghent rdf:type owl:Thing . first:Antwerp rdf:type owl:Thing . first:Ghent first:path first:Antwerp . first:path rdf:type owl:SymmetricProperty .
Lite	結論: `<SymmetricProperty/conclusions003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/SymmetricProperty/premises003#" xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions003" > <owl:Thing rdf:about="premises003#Antwerp"> <first:path> <owl:Thing rdf:about="premises003#Ghent"/> </first:path> </owl:Thing> <owl:ObjectProperty rdf:about="premises003#path"/> </rdf:RDF>
first:Antwerp rdf:type owl:Thing . first:Ghent rdf:type owl:Thing . first:Antwerp first:path first:Ghent . first:path rdf:type owl:ObjectProperty .

7.1.11. `owl:Thing`

Lite Full	矛盾したドキュメント		003
記述:（参考情報）`<Thing/Manifest003#test>`
OWL Thingの外延は空でないかもしれません。
N3形式は参考情報です。
Lite	矛盾: `<Thing/inconsistent003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/Thing/inconsistent003" > <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"> <owl:equivalentClass rdf:resource ="http://www.w3.org/2002/07/owl#Nothing"/> </owl:Class> </rdf:RDF>
owl:Thing rdf:type owl:Class . owl:Thing owl:equivalentClass owl:Nothing .

DL	整合性のあるドキュメント		004
記述:（参考情報）`<Thing/Manifest004#test>`
OWL Thingの外延はOWL DLにおいてシングルトン（singleton）であるかもしれません。
N3形式は参考情報です。
DL	整合: `<Thing/consistent004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/Thing/consistent004" > <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:about="#s"/> </owl:oneOf> </owl:Class> </rdf:RDF>
owl:Thing rdf:type owl:Class . first:s rdf:type owl:Thing . _:a rdf:first first:s . _:a rdf:rest rdf:nil . owl:Thing owl:oneOf _:a .

Full	矛盾したドキュメント		005
記述:（参考情報）`<Thing/Manifest005#test>`
OWL Thingの外延はOWL Fullにおいてシングルトンでないかもしれません。
N3形式は参考情報です。
Full	矛盾: `<Thing/inconsistent005>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/Thing/inconsistent005" > <rdf:Description rdf:about="http://www.w3.org/2002/07/owl#Thing"> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:about="#s"/> </owl:oneOf> </rdf:Description> </rdf:RDF>
_:a rdf:first first:s . _:a rdf:rest rdf:nil . owl:Thing owl:oneOf _:a .

7.1.12. `owl:TransitiveProperty`

Full	ポジティブ含意テスト:		001
記述:（参考情報）`<TransitiveProperty/Manifest001#test>`
推移性のシンプルな例示。
N3形式は参考情報です。
Full	前提: `<TransitiveProperty/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#" xmlns:second="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001#" xml:base="http://www.w3.org/2002/03owlt/TransitiveProperty/premises001" > <rdf:Description rdf:about="premises001#Antwerp"> <first:path rdf:resource="premises001#Amsterdam"/> </rdf:Description> <rdf:Description rdf:about="premises001#Ghent"> <first:path rdf:resource="premises001#Antwerp"/> </rdf:Description> <owl:TransitiveProperty rdf:about="premises001#path"/> </rdf:RDF>
first:Antwerp first:path first:Amsterdam . first:Ghent first:path first:Antwerp . first:path rdf:type owl:TransitiveProperty .
Full	結論: `<TransitiveProperty/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#" xmlns:second="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001#" xml:base="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001" > <rdf:Description rdf:about="premises001#Ghent"> <first:path rdf:resource="premises001#Amsterdam"/> </rdf:Description> </rdf:RDF>
first:Ghent first:path first:Amsterdam .

DL Full	ポジティブ含意テスト:		002
記述:（参考情報）`<TransitiveProperty/Manifest002#test>`
`owl:TransitiveProperty`の拡張セマンティクスを例示しているテスト。
N3形式は参考情報です。
DL	前提: `<TransitiveProperty/premises002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/TransitiveProperty/premises002#" xmlns:second="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002#" xml:base="http://www.w3.org/2002/03owlt/TransitiveProperty/premises002" > <owl:SymmetricProperty rdf:ID="symProp"> <rdfs:range> <owl:Class> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:ID="a"/> <owl:Thing rdf:ID="b"/> </owl:oneOf> </owl:Class> </rdfs:range> </owl:SymmetricProperty> <owl:Thing rdf:about="#a"> <first:symProp rdf:resource="#a"/> </owl:Thing> <owl:Thing rdf:about="#b"> <first:symProp rdf:resource="#b"/> </owl:Thing> </rdf:RDF>
first:symProp rdf:type owl:SymmetricProperty . _:a rdf:type owl:Class . first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . _:c rdf:first first:b . _:c rdf:rest rdf:nil . _:e rdf:first first:a . _:e rdf:rest _:c . _:a owl:oneOf _:e . first:symProp rdfs:range _:a . first:a rdf:type owl:Thing . first:a first:symProp first:a . first:b rdf:type owl:Thing . first:b first:symProp first:b .
Lite	結論: `<TransitiveProperty/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/TransitiveProperty/premises002#" xmlns:second="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002#" xml:base="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002" > <owl:TransitiveProperty rdf:about="premises002#symProp"/> <rdf:Description rdf:about="premises002#a"> <rdf:type> <owl:Restriction> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/> <owl:onProperty rdf:resource="premises002#symProp"/> <owl:someValuesFrom rdf:resource="http://www.w3.org/2002/07/owl#Thing"/> </owl:Restriction> </rdf:type> </rdf:Description> </rdf:RDF>
first:symProp rdf:type owl:TransitiveProperty . _:a rdf:type owl:Restriction . _:a rdf:type owl:Class . _:a owl:onProperty first:symProp . _:a owl:someValuesFrom owl:Thing . first:a rdf:type _:a .

7.1.13. `owl:allValuesFrom`

Lite Full	ポジティブ含意テスト:		001
記述:（参考情報）`<allValuesFrom/Manifest001#test>`
シンプルな例。
N3形式は参考情報です。
Lite	前提: `<allValuesFrom/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/allValuesFrom/premises001#" xml:base="http://www.w3.org/2002/03owlt/allValuesFrom/premises001" > <owl:Class rdf:ID="r"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:allValuesFrom rdf:resource="#c"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> <owl:Class rdf:ID="c"/> <first:r rdf:ID="i"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/> <first:p> <owl:Thing rdf:ID="o" /> </first:p> </first:r> </rdf:RDF>
first:r rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:allValuesFrom first:c . first:r rdfs:subClassOf _:a . first:p rdf:type owl:ObjectProperty . first:c rdf:type owl:Class . first:i rdf:type first:r . first:i rdf:type owl:Thing . first:o rdf:type owl:Thing . first:i first:p first:o .
Lite	結論: `<allValuesFrom/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:first="http://www.w3.org/2002/03owlt/allValuesFrom/premises001#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/allValuesFrom/conclusions001" > <first:c rdf:about="premises001#o"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/> </first:c> <owl:Class rdf:about="premises001#c"/> </rdf:RDF>
first:o rdf:type first:c . first:o rdf:type owl:Thing . first:c rdf:type owl:Class .

Lite Full	ネガティブ含意テスト:		002
記述:（参考情報）`<allValuesFrom/Manifest002#test>`
別のシンプルな例。`owl:someValuesFrom`と対照をなす。
N3形式は参考情報です。
Lite	前提: `<allValuesFrom/premises002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/allValuesFrom/premises002#" xml:base="http://www.w3.org/2002/03owlt/allValuesFrom/premises002" > <owl:Class rdf:ID="r"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:allValuesFrom rdf:resource="#c"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> <owl:Class rdf:ID="c"/> <first:r rdf:ID="i"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/> </first:r> </rdf:RDF>
first:r rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:allValuesFrom first:c . first:r rdfs:subClassOf _:a . first:p rdf:type owl:ObjectProperty . first:c rdf:type owl:Class . first:i rdf:type first:r . first:i rdf:type owl:Thing .
Lite	結論: `<allValuesFrom/nonconclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/allValuesFrom/premises002#" xmlns:second="http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002#" xml:base="http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002" > <owl:Thing rdf:about="premises002#i"> <first:p> <first:c rdf:nodeID="o" /> </first:p> </owl:Thing> <owl:Thing rdf:nodeID="o" /> <owl:ObjectProperty rdf:about="premises002#p"/> <owl:Class rdf:about="premises002#c"/> </rdf:RDF>
first:i rdf:type owl:Thing . _:a rdf:type first:c . first:i first:p _:a . _:a rdf:type owl:Thing . first:p rdf:type owl:ObjectProperty . first:c rdf:type owl:Class .

7.1.14. `owl:backwardCompatibleWith`

Lite Full	整合性のあるドキュメント		001
記述:（参考情報）`<backwardCompatibleWith/Manifest001#test>`
使用例。
N3形式は参考情報です。
Lite	整合: `<backwardCompatibleWith/consistent001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent001#" xml:base="http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent001" > <owl:Ontology> <owl:backwardCompatibleWith> <owl:Ontology rdf:about="http://www.example.org/"/> </owl:backwardCompatibleWith> </owl:Ontology> </rdf:RDF>
_:a rdf:type owl:Ontology . <http://www.example.org/> rdf:type owl:Ontology . _:a owl:backwardCompatibleWith <http://www.example.org/> .

Full (EC)	整合性のあるドキュメント		002
記述:（参考情報）`<backwardCompatibleWith/Manifest002#test>`
OWL LiteとDLにおいて、述語`owl:backwardCompatibleWith`を持つトリプルの主語と目的語は、両方とも明白に`owl:Ontology`とタイプ付けされていなければなりません。
N3形式は参考情報です。
Full	整合: `<backwardCompatibleWith/consistent002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent002#" xml:base="http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent002" > <rdf:Description> <owl:backwardCompatibleWith> <owl:Ontology rdf:about="http://www.example.org/"/> </owl:backwardCompatibleWith> </rdf:Description> </rdf:RDF>
<http://www.example.org/> rdf:type owl:Ontology . _:a owl:backwardCompatibleWith <http://www.example.org/> .

7.1.15. `owl:cardinality`

Lite Full	ポジティブ含意テスト:		001
記述:（参考情報）`<cardinality/Manifest001#test>`
`owl:cardinality`制約は、`owl:minCardinality`と`owl:maxCardinality`の一対の制約の単なる省略形です。
N3形式は参考情報です。
Lite	前提: `<cardinality/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/cardinality/premises001" > <owl:Class rdf:ID="c"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:cardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> </rdf:RDF>
first:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:cardinality "1"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:a . first:p rdf:type owl:ObjectProperty .
Lite	結論: `<cardinality/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions001" > <owl:Class rdf:about="premises001#c"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="premises001#p"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:maxCardinality> </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="premises001#p"/> <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:minCardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:about="premises001#p"/> </rdf:RDF>
first:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:maxCardinality "1"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:a . _:c rdf:type owl:Restriction . _:c owl:onProperty first:p . _:c owl:minCardinality "1"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:c . first:p rdf:type owl:ObjectProperty .

Lite Full	ポジティブ含意テスト:		002
記述:（参考情報）`<cardinality/Manifest002#test>`
`owl:cardinality`制約は、`owl:minCardinality`と`owl:maxCardinality`の一対の制約の単なる省略形です。
N3形式は参考情報です。
Lite	前提: `<cardinality/premises002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/cardinality/premises002" > <owl:Class rdf:about="conclusions002#c"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="conclusions002#p"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:maxCardinality> </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="conclusions002#p"/> <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:minCardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:about="conclusions002#p"/> </rdf:RDF>
second:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty second:p . _:a owl:maxCardinality "1"^^xsd:nonNegativeInteger . second:c rdfs:subClassOf _:a . _:c rdf:type owl:Restriction . _:c owl:onProperty second:p . _:c owl:minCardinality "1"^^xsd:nonNegativeInteger . second:c rdfs:subClassOf _:c . second:p rdf:type owl:ObjectProperty .
Lite	結論: `<cardinality/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions002" > <owl:Class rdf:ID="c"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:cardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> </rdf:RDF>
second:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty second:p . _:a owl:cardinality "1"^^xsd:nonNegativeInteger . second:c rdfs:subClassOf _:a . second:p rdf:type owl:ObjectProperty .

DL Full	ポジティブ含意テスト:		003
記述:（参考情報）`<cardinality/Manifest003#test>`
`owl:cardinality`制約は、`owl:minCardinality`と`owl:maxCardinality`の一対の制約の単なる省略形です。
N3形式は参考情報です。
DL	前提: `<cardinality/premises003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/cardinality/premises003" > <owl:Class rdf:ID="c"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:cardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> </rdf:RDF>
first:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:cardinality "2"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:a . first:p rdf:type owl:ObjectProperty .
DL	結論: `<cardinality/conclusions003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions003" > <owl:Class rdf:about="premises003#c"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="premises003#p"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:maxCardinality> </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="premises003#p"/> <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:minCardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:about="premises003#p"/> </rdf:RDF>
first:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:maxCardinality "2"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:a . _:c rdf:type owl:Restriction . _:c owl:onProperty first:p . _:c owl:minCardinality "2"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:c . first:p rdf:type owl:ObjectProperty .

DL Full	ポジティブ含意テスト:		004
記述:（参考情報）`<cardinality/Manifest004#test>`
`owl:cardinality`制約は、`owl:minCardinality`と`owl:maxCardinality`の一対の制約の単なる省略形です。
N3形式は参考情報です。
DL	前提: `<cardinality/premises004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/cardinality/premises004" > <owl:Class rdf:about="conclusions004#c"> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="conclusions004#p"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:maxCardinality> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="conclusions004#p"/> <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:minCardinality> </owl:Restriction> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:about="conclusions004#p"/> </rdf:RDF>
second:c rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty second:p . _:c owl:maxCardinality "2"^^xsd:nonNegativeInteger . _:e rdf:type owl:Restriction . _:e owl:onProperty second:p . _:e owl:minCardinality "2"^^xsd:nonNegativeInteger . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:i rdf:first _:c . _:i rdf:rest _:g . _:a owl:intersectionOf _:i . second:c rdfs:subClassOf _:a . second:p rdf:type owl:ObjectProperty .
DL	結論: `<cardinality/conclusions004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions004" > <owl:Class rdf:ID="c"> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:cardinality> </owl:Restriction> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> </rdf:RDF>
second:c rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty second:p . _:c owl:cardinality "2"^^xsd:nonNegativeInteger . _:e rdf:first _:c . _:e rdf:rest rdf:nil . _:a owl:intersectionOf _:e . second:c rdfs:subClassOf _:a . second:p rdf:type owl:ObjectProperty .

Full	ポジティブ含意テスト:		006
記述:（参考情報）`<cardinality/Manifest006#test>`
`owl:cardinality`制約は、`owl:minCardinality`および`owl:maxCardinality`の一対の制約の単なる省略形です。
N3形式は参考情報です。
Full	前提: `<cardinality/premises006>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/cardinality/premises006" > <rdf:Description rdf:about="conclusions006#c"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="conclusions006#p"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:maxCardinality> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="conclusions006#p"/> <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:minCardinality> </owl:Restriction> </owl:intersectionOf> </rdf:Description> </rdf:RDF>
_:a rdf:type owl:Restriction . _:a owl:onProperty second:p . _:a owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:c rdf:type owl:Restriction . _:c owl:onProperty second:p . _:c owl:minCardinality "1"^^xsd:nonNegativeInteger . _:e rdf:first _:c . _:e rdf:rest rdf:nil . _:g rdf:first _:a . _:g rdf:rest _:e . second:c owl:intersectionOf _:g .
Full	結論: `<cardinality/conclusions006>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions006" > <rdf:Description rdf:ID="c"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:cardinality> </owl:Restriction> </owl:intersectionOf> </rdf:Description> </rdf:RDF>
_:a rdf:type owl:Restriction . _:a owl:onProperty second:p . _:a owl:cardinality "1"^^xsd:nonNegativeInteger . _:c rdf:first _:a . _:c rdf:rest rdf:nil . second:c owl:intersectionOf _:c .

7.1.16. `owl:complementOf`

Full	ポジティブ含意テスト:		001
記述:（参考情報）`<complementOf/Manifest001#test>`
`complementOf`は`SymmetricProperty`です。
N3形式は参考情報です。
Full	前提: `<complementOf/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/complementOf/premises001#" xmlns:second="http://www.w3.org/2002/03owlt/complementOf/conclusions001#" xml:base="http://www.w3.org/2002/03owlt/complementOf/premises001" > <rdf:Description rdf:about="premises001#A"> <owl:complementOf rdf:resource="premises001#B"/> </rdf:Description> </rdf:RDF>
first:A owl:complementOf first:B .
Full	結論: `<complementOf/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/complementOf/premises001#" xmlns:second="http://www.w3.org/2002/03owlt/complementOf/conclusions001#" xml:base="http://www.w3.org/2002/03owlt/complementOf/conclusions001" > <rdf:Description rdf:about="premises001#B"> <owl:complementOf rdf:resource="premises001#A"/> </rdf:Description> </rdf:RDF>
first:B owl:complementOf first:A .

7.1.17. `owl:differentFrom`

Full	ポジティブ含意テスト:		001
記述:（参考情報）`<differentFrom/Manifest001#test>`
`differentFrom`は`SymmetricProperty`です。
N3形式は参考情報です。
Full	前提: `<differentFrom/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/differentFrom/premises001#" xmlns:second="http://www.w3.org/2002/03owlt/differentFrom/conclusions001#" xml:base="http://www.w3.org/2002/03owlt/differentFrom/premises001" > <rdf:Description rdf:about="premises001#a"> <owl:differentFrom rdf:resource="premises001#b"/> </rdf:Description> </rdf:RDF>
first:a owl:differentFrom first:b .
Full	結論: `<differentFrom/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/differentFrom/premises001#" xmlns:second="http://www.w3.org/2002/03owlt/differentFrom/conclusions001#" xml:base="http://www.w3.org/2002/03owlt/differentFrom/conclusions001" > <rdf:Description rdf:about="premises001#b"> <owl:differentFrom rdf:resource="premises001#a"/> </rdf:Description> </rdf:RDF>
first:b owl:differentFrom first:a .

Full	ポジティブ含意テスト:		002
記述:（参考情報）`<differentFrom/Manifest002#test>`
`differentFrom`を導くために`distinctMembers`を使用。
N3形式は参考情報です。
Full	前提: `<differentFrom/premises002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/differentFrom/premises002#" xml:base="http://www.w3.org/2002/03owlt/differentFrom/premises002" > <owl:AllDifferent> <owl:distinctMembers rdf:parseType="Collection"> <first:Person rdf:about="#Fred" /> <first:Person rdf:about="#Wilma" /> <first:Person rdf:about="#Barney" /> <first:Person rdf:about="#Betty" /> </owl:distinctMembers> </owl:AllDifferent> </rdf:RDF>
_:a rdf:type owl:AllDifferent . first:Fred rdf:type first:Person . first:Wilma rdf:type first:Person . first:Barney rdf:type first:Person . first:Betty rdf:type first:Person . _:c rdf:first first:Betty . _:c rdf:rest rdf:nil . _:e rdf:first first:Barney . _:e rdf:rest _:c . _:g rdf:first first:Wilma . _:g rdf:rest _:e . _:i rdf:first first:Fred . _:i rdf:rest _:g . _:a owl:distinctMembers _:i .
Full	結論: `<differentFrom/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/differentFrom/premises002#" xml:base="http://www.w3.org/2002/03owlt/differentFrom/conclusions002" > <rdf:Description rdf:about="premises002#Barney"> <owl:differentFrom rdf:resource="premises002#Wilma"/> </rdf:Description> </rdf:RDF>
first:Barney owl:differentFrom first:Wilma .

7.1.18. `owl:disjointWith`

DL Full	ポジティブ含意テスト:		001
記述:（参考情報）`<disjointWith/Manifest001#test>`
互いに素であるクラスは異なるメンバーを持っています。
N3形式は参考情報です。
DL	前提: `<disjointWith/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:first="http://www.w3.org/2002/03owlt/disjointWith/premises001#" xml:base="http://www.w3.org/2002/03owlt/disjointWith/premises001" > <owl:Class rdf:ID="A"> <owl:disjointWith> <owl:Class rdf:ID="B"/> </owl:disjointWith> </owl:Class> <first:A rdf:ID="a"/> <owl:Thing rdf:about="#a"/> <first:B rdf:ID="b"/> <owl:Thing rdf:about="#b"/> </rdf:RDF>
first:A rdf:type owl:Class . first:B rdf:type owl:Class . first:A owl:disjointWith first:B . first:a rdf:type first:A . first:a rdf:type owl:Thing . first:b rdf:type first:B . first:b rdf:type owl:Thing .
Lite	結論: `<disjointWith/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/disjointWith/premises001#" xml:base="http://www.w3.org/2002/03owlt/disjointWith/conclusions001" > <owl:Thing rdf:about="premises001#a"> <owl:differentFrom> <owl:Thing rdf:about="premises001#b"/> </owl:differentFrom> </owl:Thing> </rdf:RDF>
first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . first:a owl:differentFrom first:b .

Full	ポジティブ含意テスト:		002
記述:（参考情報）`<disjointWith/Manifest002#test>`
互いに素であるクラスは異なるメンバーを持っています。
N3形式は参考情報です。
Full	前提: `<disjointWith/premises002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/disjointWith/premises002#" xml:base="http://www.w3.org/2002/03owlt/disjointWith/premises002" > <rdf:Description rdf:ID="A"> <owl:disjointWith> <rdf:Description rdf:ID="B"/> </owl:disjointWith> </rdf:Description> <first:A rdf:ID="a"/> <first:B rdf:ID="b"/> </rdf:RDF>
first:A owl:disjointWith first:B . first:a rdf:type first:A . first:b rdf:type first:B .
Full	結論: `<disjointWith/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/disjointWith/conclusions002" > <rdf:Description rdf:about="premises002#a"> <owl:differentFrom rdf:resource="premises002#b"/> </rdf:Description> </rdf:RDF>
first:a owl:differentFrom first:b .

DL Full	整合性のあるドキュメント		003
記述:（参考情報）`<disjointWith/Manifest003#test>`
グラフにおけるowl:disjointWithの辺（edge）が、無向完全サブグラフを形成する場合、これはOWL DLに含まれえます。
N3形式は参考情報です。
DL	整合:`<disjointWith/consistent003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent003" > <owl:Class rdf:nodeID="A"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="A"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="B"/> <owl:disjointWith rdf:nodeID="D"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="B"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="B"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="A"/> <owl:disjointWith rdf:nodeID="C"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="C"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="A"/> <owl:disjointWith rdf:nodeID="D"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="D"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="D"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="C"/> <owl:disjointWith rdf:nodeID="B"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="E"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="E"/> </owl:intersectionOf> </owl:Class> </rdf:RDF>
_:a rdf:type owl:Class . first:A rdf:type owl:Class . _:c rdf:first first:A . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith _:e . _:a owl:disjointWith _:g . _:a owl:disjointWith _:i . _:e rdf:type owl:Class . first:B rdf:type owl:Class . _:k rdf:first first:B . _:k rdf:rest rdf:nil . _:e owl:intersectionOf _:k . _:e owl:disjointWith _:a . _:e owl:disjointWith _:m . _:e owl:disjointWith _:i . _:m rdf:type owl:Class . first:C rdf:type owl:Class . _:o rdf:first first:C . _:o rdf:rest rdf:nil . _:m owl:intersectionOf _:o . _:m owl:disjointWith _:a . _:m owl:disjointWith _:g . _:m owl:disjointWith _:i . _:g rdf:type owl:Class . first:D rdf:type owl:Class . _:q rdf:first first:D . _:q rdf:rest rdf:nil . _:g owl:intersectionOf _:q . _:g owl:disjointWith _:m . _:g owl:disjointWith _:e . _:g owl:disjointWith _:i . _:i rdf:type owl:Class . first:E rdf:type owl:Class . _:s rdf:first first:E . _:s rdf:rest rdf:nil . _:i owl:intersectionOf _:s .

Full (EC)	整合性のあるドキュメント		004
記述:（参考情報）`<disjointWith/Manifest004#test>`
この例は、DisjointClassesに対するマッピング規則では生成できないグラフにおけるowl:disjointWithの辺を持っています。ノードCとDの間にowl:disjointWithの辺が不足していることを考慮してください。
N3形式は参考情報です。
Full	整合: `<disjointWith/consistent004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent004" > <owl:Class rdf:nodeID="A"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="A"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="B"/> <owl:disjointWith rdf:nodeID="D"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="B"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="B"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="A"/> <owl:disjointWith rdf:nodeID="C"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="C"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="A"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="D"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="D"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="B"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="E"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="E"/> </owl:intersectionOf> </owl:Class> </rdf:RDF>
_:a rdf:type owl:Class . first:A rdf:type owl:Class . _:c rdf:first first:A . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith _:e . _:a owl:disjointWith _:g . _:a owl:disjointWith _:i . _:e rdf:type owl:Class . first:B rdf:type owl:Class . _:k rdf:first first:B . _:k rdf:rest rdf:nil . _:e owl:intersectionOf _:k . _:e owl:disjointWith _:a . _:e owl:disjointWith _:m . _:e owl:disjointWith _:i . _:m rdf:type owl:Class . first:C rdf:type owl:Class . _:o rdf:first first:C . _:o rdf:rest rdf:nil . _:m owl:intersectionOf _:o . _:m owl:disjointWith _:a . _:m owl:disjointWith _:i . _:g rdf:type owl:Class . first:D rdf:type owl:Class . _:q rdf:first first:D . _:q rdf:rest rdf:nil . _:g owl:intersectionOf _:q . _:g owl:disjointWith _:e . _:g owl:disjointWith _:i . _:i rdf:type owl:Class . first:E rdf:type owl:Class . _:s rdf:first first:E . _:s rdf:rest rdf:nil . _:i owl:intersectionOf _:s .

DL Full	整合性のあるドキュメント		005
記述:（参考情報）`<disjointWith/Manifest005#test>`
グラフにおけるowl:disjointWithの辺が、非連結の（unconnected）無向完全サブグラフを形成する場合、これはOWL DLに含まれえます。
N3形式は参考情報です。
DL	整合: `<disjointWith/consistent005>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent005" > <owl:Class rdf:nodeID="A"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="A"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="D"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="B"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="B"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="C"/> </owl:Class> <owl:Class rdf:nodeID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="C"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:nodeID="D"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="D"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="E"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="E"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="D"/> </owl:Class> </rdf:RDF>
_:a rdf:type owl:Class . first:A rdf:type owl:Class . _:c rdf:first first:A . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith _:e . _:a owl:disjointWith _:g . _:i rdf:type owl:Class . first:B rdf:type owl:Class . _:k rdf:first first:B . _:k rdf:rest rdf:nil . _:i owl:intersectionOf _:k . _:i owl:disjointWith _:m . _:m rdf:type owl:Class . first:C rdf:type owl:Class . _:o rdf:first first:C . _:o rdf:rest rdf:nil . _:m owl:intersectionOf _:o . _:e rdf:type owl:Class . first:D rdf:type owl:Class . _:q rdf:first first:D . _:q rdf:rest rdf:nil . _:e owl:intersectionOf _:q . _:e owl:disjointWith _:g . _:g rdf:type owl:Class . first:E rdf:type owl:Class . _:s rdf:first first:E . _:s rdf:rest rdf:nil . _:g owl:intersectionOf _:s . _:g owl:disjointWith _:e .

Full (EC)	整合性のあるドキュメント		006
記述:（参考情報）`<disjointWith/Manifest006#test>`
グラフにおけるowl:disjointWithの辺が、ブランク・ノードを共有する無向完全サブグラフを形成する場合、これはOWL DLに含まれていません。
N3形式は参考情報です。
Full	整合: `<disjointWith/consistent006>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent006" > <owl:Class rdf:nodeID="A"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="A"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="D"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="B"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="B"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="C"/> <owl:disjointWith rdf:nodeID="A"/> </owl:Class> <owl:Class rdf:nodeID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="C"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="A"/> </owl:Class> <owl:Class rdf:nodeID="D"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="D"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="E"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="E"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="D"/> </owl:Class> </rdf:RDF>
_:a rdf:type owl:Class . first:A rdf:type owl:Class . _:c rdf:first first:A . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith _:e . _:a owl:disjointWith _:g . _:i rdf:type owl:Class . first:B rdf:type owl:Class . _:k rdf:first first:B . _:k rdf:rest rdf:nil . _:i owl:intersectionOf _:k . _:i owl:disjointWith _:m . _:i owl:disjointWith _:a . _:m rdf:type owl:Class . first:C rdf:type owl:Class . _:o rdf:first first:C . _:o rdf:rest rdf:nil . _:m owl:intersectionOf _:o . _:m owl:disjointWith _:a . _:e rdf:type owl:Class . first:D rdf:type owl:Class . _:q rdf:first first:D . _:q rdf:rest rdf:nil . _:e owl:intersectionOf _:q . _:e owl:disjointWith _:g . _:g rdf:type owl:Class . first:E rdf:type owl:Class . _:s rdf:first first:E . _:s rdf:rest rdf:nil . _:g owl:intersectionOf _:s . _:g owl:disjointWith _:e .

DL Full	整合性のあるドキュメント		007
記述:（参考情報）`<disjointWith/Manifest007#test>`
グラフにおけるowl:disjointWithの辺が、URIrefノードを共有するがブランク・ノードは共有しない無向完全サブグラフを形成する場合、これはOWL DLに含まれえます。
N3形式は参考情報です。
DL	整合: `<disjointWith/consistent007>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent007" > <owl:Class rdf:ID="A"> <owl:disjointWith rdf:nodeID="D"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="B"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="B"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="C"/> <owl:disjointWith rdf:resource="#A"/> </owl:Class> <owl:Class rdf:nodeID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="C"/> </owl:intersectionOf> <owl:disjointWith rdf:resource="#A"/> </owl:Class> <owl:Class rdf:nodeID="D"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="D"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="E"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="E"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="D"/> </owl:Class> </rdf:RDF>
first:A rdf:type owl:Class . first:A owl:disjointWith _:a . first:A owl:disjointWith _:c . _:e rdf:type owl:Class . first:B rdf:type owl:Class . _:g rdf:first first:B . _:g rdf:rest rdf:nil . _:e owl:intersectionOf _:g . _:e owl:disjointWith _:i . _:e owl:disjointWith first:A . _:i rdf:type owl:Class . first:C rdf:type owl:Class . _:k rdf:first first:C . _:k rdf:rest rdf:nil . _:i owl:intersectionOf _:k . _:i owl:disjointWith first:A . _:a rdf:type owl:Class . first:D rdf:type owl:Class . _:m rdf:first first:D . _:m rdf:rest rdf:nil . _:a owl:intersectionOf _:m . _:a owl:disjointWith _:c . _:c rdf:type owl:Class . first:E rdf:type owl:Class . _:o rdf:first first:E . _:o rdf:rest rdf:nil . _:c owl:intersectionOf _:o . _:c owl:disjointWith _:a .

Full (EC)	整合性のあるドキュメント		008
記述:（参考情報）`<disjointWith/Manifest008#test>`
DisjointClassesに対するマッピング規則から生成できないさらなる例。
N3形式は参考情報です。
Full	整合: `<disjointWith/consistent008>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent008" > <owl:Class rdf:ID="A"/> <owl:Class rdf:nodeID="B"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="B"/> </owl:intersectionOf> <owl:disjointWith rdf:resource="#A"/> </owl:Class> <owl:Class rdf:nodeID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="C"/> </owl:intersectionOf> <owl:disjointWith rdf:resource="#A"/> </owl:Class> <owl:Class rdf:ID="D"> <owl:disjointWith rdf:nodeID="B"/> <owl:disjointWith rdf:nodeID="C"/> </owl:Class> </rdf:RDF>
first:A rdf:type owl:Class . _:a rdf:type owl:Class . first:B rdf:type owl:Class . _:c rdf:first first:B . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith first:A . _:e rdf:type owl:Class . first:C rdf:type owl:Class . _:g rdf:first first:C . _:g rdf:rest rdf:nil . _:e owl:intersectionOf _:g . _:e owl:disjointWith first:A . first:D rdf:type owl:Class . first:D owl:disjointWith _:a . first:D owl:disjointWith _:e .

DL Full	整合性のあるドキュメント		009
記述:（参考情報）`<disjointWith/Manifest009#test>`
グラフにおけるowl:disjointWithの辺が、URIrefノードを共有するがブランク・ノードは共有しない無向完全サブグラフを形成する場合、これはOWL DLに含まれえます。
N3形式は参考情報です。
DL	整合: `<disjointWith/consistent009>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent009" > <owl:Class rdf:ID="A"/> <owl:Class rdf:nodeID="B"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="B"/> </owl:intersectionOf> <owl:disjointWith rdf:resource="#A"/> </owl:Class> <owl:Class rdf:nodeID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="C"/> </owl:intersectionOf> <owl:disjointWith rdf:resource="#A"/> </owl:Class> <owl:Class rdf:ID="D"> <owl:disjointWith rdf:nodeID="B"/> <owl:disjointWith rdf:nodeID="C"/> <owl:disjointWith rdf:resource="#A"/> </owl:Class> </rdf:RDF>
first:A rdf:type owl:Class . _:a rdf:type owl:Class . first:B rdf:type owl:Class . _:c rdf:first first:B . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith first:A . _:e rdf:type owl:Class . first:C rdf:type owl:Class . _:g rdf:first first:C . _:g rdf:rest rdf:nil . _:e owl:intersectionOf _:g . _:e owl:disjointWith first:A . first:D rdf:type owl:Class . first:D owl:disjointWith _:a . first:D owl:disjointWith _:e . first:D owl:disjointWith first:A .

Full	矛盾したドキュメント		010
記述:（参考情報）`<disjointWith/Manifest010#test>`
`owl:disjointWith`ループはOWL DLには含まれません。自身と素であるクラスは必然的に空です。
N3形式は参考情報です。
Full	矛盾: `<disjointWith/inconsistent010>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/disjointWith/inconsistent010#" xml:base="http://www.w3.org/2002/03owlt/disjointWith/inconsistent010" > <owl:Restriction rdf:nodeID="n"> <owl:onProperty> <owl:ObjectProperty rdf:about="#p" /> </owl:onProperty> <owl:minCardinality rdf:datatype= "http://www.w3.org/2001/XMLSchema#int" >1</owl:minCardinality> <owl:disjointWith rdf:nodeID="n"/> </owl:Restriction> <owl:Thing> <first:p> <owl:Thing/> </first:p> </owl:Thing> </rdf:RDF>
_:a rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:a owl:onProperty first:p . _:a owl:minCardinality "1"^^xsd:int . _:a owl:disjointWith _:a . _:c rdf:type owl:Thing . _:e rdf:type owl:Thing . _:c first:p _:e .

7.1.19. `owl:distinctMembers`

Full	ポジティブ含意テスト:		001
記述:（参考情報）`<distinctMembers/Manifest001#test>`
`differentFrom`を導くために`distinctMembers`を使用。
N3形式は参考情報です。
Full	前提: `<distinctMembers/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/distinctMembers/premises001#" xml:base="http://www.w3.org/2002/03owlt/distinctMembers/premises001" > <owl:AllDifferent> <owl:distinctMembers rdf:parseType="Collection"> <first:Person rdf:about="#Fred" /> <first:Person rdf:about="#Wilma" /> <first:Person rdf:about="#Barney" /> <first:Person rdf:about="#Betty" /> </owl:distinctMembers> </owl:AllDifferent> </rdf:RDF>
_:a rdf:type owl:AllDifferent . first:Fred rdf:type first:Person . first:Wilma rdf:type first:Person . first:Barney rdf:type first:Person . first:Betty rdf:type first:Person . _:c rdf:first first:Betty . _:c rdf:rest rdf:nil . _:e rdf:first first:Barney . _:e rdf:rest _:c . _:g rdf:first first:Wilma . _:g rdf:rest _:e . _:i rdf:first first:Fred . _:i rdf:rest _:g . _:a owl:distinctMembers _:i .
Full	結論: `<distinctMembers/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/distinctMembers/premises001#" xml:base="http://www.w3.org/2002/03owlt/distinctMembers/conclusions001" > <rdf:Description rdf:about="premises001#Fred"> <owl:differentFrom rdf:resource="premises001#Barney"/> </rdf:Description> </rdf:RDF>
first:Fred owl:differentFrom first:Barney .

7.1.20. `owl:equivalentClass`

Lite Full	ポジティブ含意テスト:		001
記述:（参考情報）`<equivalentClass/Manifest001#test>`
2つのクラスは、同じクラスの外延を持つことができます。
N3形式は参考情報です。
Lite	前提: `<equivalentClass/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/equivalentClass/premises001#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises001" > <owl:Class rdf:ID="Car"> <owl:equivalentClass> <owl:Class rdf:ID="Automobile"/> </owl:equivalentClass> </owl:Class> <first:Car rdf:ID="car"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Car> <first:Automobile rdf:ID="auto"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Automobile> </rdf:RDF>
first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class . first:Car owl:equivalentClass first:Automobile . first:car rdf:type first:Car . first:car rdf:type owl:Thing . first:auto rdf:type first:Automobile . first:auto rdf:type owl:Thing .
Lite	結論: `<equivalentClass/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/equivalentClass/premises001#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/conclusions001" > <first:Car rdf:about="premises001#auto"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Car> <first:Automobile rdf:about="premises001#car"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Automobile> <owl:Class rdf:about="premises001#Car"/> <owl:Class rdf:about="premises001#Automobile"/> </rdf:RDF>
first:auto rdf:type first:Car . first:auto rdf:type owl:Thing . first:car rdf:type first:Automobile . first:car rdf:type owl:Thing . first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class .

Lite Full	ポジティブ含意テスト:		002
記述:（参考情報）`<equivalentClass/Manifest002#test>`
2つのクラスは、個体の同じ集合に対して異なった名前でありえます。
N3形式は参考情報です。
Lite	前提: `<equivalentClass/premises002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises002" > <owl:Class rdf:ID="Car"> <owl:equivalentClass> <owl:Class rdf:ID="Automobile"/> </owl:equivalentClass> </owl:Class> </rdf:RDF>
first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class . first:Car owl:equivalentClass first:Automobile .
Lite	結論: `<equivalentClass/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/conclusions002" > <owl:Class rdf:about="premises002#Car"> <rdfs:subClassOf> <owl:Class rdf:about="premises002#Automobile"> <rdfs:subClassOf rdf:resource="premises002#Car" /> </owl:Class> </rdfs:subClassOf> </owl:Class> </rdf:RDF>
first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class . first:Automobile rdfs:subClassOf first:Car . first:Car rdfs:subClassOf first:Automobile .

Lite Full	ポジティブ含意テスト:		003
記述:（参考情報）`<equivalentClass/Manifest003#test>`
2つのクラスは、個体の同じ集合に対して異なった名前でありえます。
N3形式は参考情報です。
Lite	前提: `<equivalentClass/premises003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises003" > <owl:Class rdf:about="conclusions003#Car"> <rdfs:subClassOf> <owl:Class rdf:about="conclusions003#Automobile"> <rdfs:subClassOf rdf:resource="conclusions003#Car" /> </owl:Class> </rdfs:subClassOf> </owl:Class> </rdf:RDF>
second:Car rdf:type owl:Class . second:Automobile rdf:type owl:Class . second:Automobile rdfs:subClassOf second:Car . second:Car rdfs:subClassOf second:Automobile .
Lite	結論: `<equivalentClass/conclusions003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/conclusions003" > <owl:Class rdf:ID="Car"> <owl:equivalentClass> <owl:Class rdf:ID="Automobile"/> </owl:equivalentClass> </owl:Class> </rdf:RDF>
second:Car rdf:type owl:Class . second:Automobile rdf:type owl:Class . second:Car owl:equivalentClass second:Automobile .

Lite Full	ポジティブ含意テスト:		004
記述:（参考情報）`<equivalentClass/Manifest004#test>`
同じ完全な記述を持つ2つのクラスは同等です。
N3形式は参考情報です。
Lite	前提: `<equivalentClass/premises004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises004" > <owl:Class rdf:ID="c1"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:cardinality> </owl:Restriction> </owl:intersectionOf> </owl:Class> <owl:Class rdf:ID="c2"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:cardinality> </owl:Restriction> </owl:intersectionOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> </rdf:RDF>
first:c1 rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:cardinality "1"^^xsd:nonNegativeInteger . _:c rdf:first _:a . _:c rdf:rest rdf:nil . first:c1 owl:intersectionOf _:c . first:c2 rdf:type owl:Class . _:e rdf:type owl:Restriction . _:e owl:onProperty first:p . _:e owl:cardinality "1"^^xsd:nonNegativeInteger . _:g rdf:first _:e . _:g rdf:rest rdf:nil . first:c2 owl:intersectionOf _:g . first:p rdf:type owl:ObjectProperty .
Lite	結論: `<equivalentClass/conclusions004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/conclusions004" > <owl:Class rdf:about="premises004#c1"> <owl:equivalentClass> <owl:Class rdf:about="premises004#c2"/> </owl:equivalentClass> </owl:Class> </rdf:RDF>
first:c1 rdf:type owl:Class . first:c2 rdf:type owl:Class . first:c1 owl:equivalentClass first:c2 .

Lite Full	ネガティブ含意テスト:		005
記述:（参考情報）`<equivalentClass/Manifest005#test>`
同じ部分的な記述を持つ2つのクラスは同等ではありません。
N3形式は参考情報です。
Lite	前提: `<equivalentClass/premises005>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises005" > <owl:Class rdf:ID="c1"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:cardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:ID="c2"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:cardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> </rdf:RDF>
first:c1 rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:cardinality "1"^^xsd:nonNegativeInteger . first:c1 rdfs:subClassOf _:a . first:c2 rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty first:p . _:c owl:cardinality "1"^^xsd:nonNegativeInteger . first:c2 rdfs:subClassOf _:c . first:p rdf:type owl:ObjectProperty .
Lite	結論: `<equivalentClass/nonconclusions005>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions005" > <owl:Class rdf:about="premises005#c1"> <owl:equivalentClass> <owl:Class rdf:about="premises005#c2"/> </owl:equivalentClass> </owl:Class> </rdf:RDF>
first:c1 rdf:type owl:Class . first:c2 rdf:type owl:Class . first:c1 owl:equivalentClass first:c2 .

DL Full	ポジティブ含意テスト:		006
記述:（参考情報）`<equivalentClass/Manifest006#test>`
ド・モルガンの法則。
N3形式は参考情報です。
Lite	前提: `<equivalentClass/premises006>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises006" > <owl:Class rdf:ID="A"/> <owl:Class rdf:ID="B"/> </rdf:RDF>
first:A rdf:type owl:Class . first:B rdf:type owl:Class .
DL	結論: `<equivalentClass/conclusions006>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/conclusions006" > <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf rdf:resource="premises006#A"/> </owl:Class> <owl:Class> <owl:complementOf rdf:resource="premises006#B"/> </owl:Class> </owl:intersectionOf> <owl:equivalentClass> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises006#A"/> <rdf:Description rdf:about="premises006#B"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="premises006#A"/> <owl:Class rdf:about="premises006#B"/> </rdf:RDF>
_:a rdf:type owl:Class . _:c rdf:type owl:Class . _:c owl:complementOf first:A . _:e rdf:type owl:Class . _:e owl:complementOf first:B . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:i rdf:first _:c . _:i rdf:rest _:g . _:a owl:intersectionOf _:i . _:k rdf:type owl:Class . _:m rdf:type owl:Class . _:o rdf:first first:B . _:o rdf:rest rdf:nil . _:q rdf:first first:A . _:q rdf:rest _:o . _:m owl:unionOf _:q . _:k owl:complementOf _:m . _:a owl:equivalentClass _:k . first:A rdf:type owl:Class .first:B rdf:type owl:Class .

Full	ポジティブ含意テスト:		007
記述:（参考情報）`<equivalentClass/Manifest007#test>`
ド・モルガンの法則。
N3形式は参考情報です。
Full	前提: `<equivalentClass/premises007>`
<rdf:RDF 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/equivalentClass/premises007" > <rdfs:Class rdf:ID="A"/> <rdfs:Class rdf:ID="B"/> </rdf:RDF>
first:A rdf:type rdfs:Class . first:B rdf:type rdfs:Class .
Full	結論: `<equivalentClass/conclusions007>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/conclusions007" > <rdf:Description> <owl:intersectionOf rdf:parseType="Collection"> <rdf:Description> <owl:complementOf rdf:resource="premises007#A"/> </rdf:Description> <rdf:Description> <owl:complementOf rdf:resource="premises007#B"/> </rdf:Description> </owl:intersectionOf> <owl:equivalentClass> <rdf:Description> <owl:complementOf> <rdf:Description> <owl:unionOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises007#A"/> <rdf:Description rdf:about="premises007#B"/> </owl:unionOf> </rdf:Description> </owl:complementOf> </rdf:Description> </owl:equivalentClass> </rdf:Description> </rdf:RDF>
_:a owl:complementOf first:A . _:c owl:complementOf first:B . _:e rdf:first _:c . _:e rdf:rest rdf:nil . _:g rdf:first _:a . _:g rdf:rest _:e . _:i owl:intersectionOf _:g . _:k rdf:first first:B . _:k rdf:rest rdf:nil . _:m rdf:first first:A . _:m rdf:rest _:k . _:o owl:unionOf _:m . _:q owl:complementOf _:o . _:i owl:equivalentClass _:q .

DL Full	ネガティブ含意テスト:		008
記述:（参考情報）`<equivalentClass/Manifest008#test>`
アノテーション・プロパティーはクラスのインスタンスを参照します。equivalentClassはクラスの外延を参照します。
N3形式は参考情報です。
Lite	前提: `<equivalentClass/premises008>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/equivalentClass/premises008#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises008" > <owl:Class rdf:ID="c1"> <owl:equivalentClass> <owl:Class rdf:ID="c2"/> </owl:equivalentClass> <first:annotate>description of c1</first:annotate> </owl:Class> <owl:AnnotationProperty rdf:ID="annotate" /> </rdf:RDF>
first:c1 rdf:type owl:Class . first:c2 rdf:type owl:Class . first:c1 owl:equivalentClass first:c2 . first:c1 first:annotate "description of c1" . first:annotate rdf:type owl:AnnotationProperty .
Lite	結論: `<equivalentClass/nonconclusions008>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/equivalentClass/premises008#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008" > <owl:Class rdf:about="premises008#c2"> <first:annotate>description of c1</first:annotate> </owl:Class> <owl:AnnotationProperty rdf:about="premises008#annotate" /> </rdf:RDF>
first:c2 rdf:type owl:Class . first:c2 first:annotate "description of c1" . first:annotate rdf:type owl:AnnotationProperty .

DL Full	整合性のあるドキュメント		009
記述:（参考情報）`<equivalentClass/Manifest009#test>`
EquivalentClasses公理の実現可能なマッピング（ハミルトン経路（Hamiltonian path）なしで接続される）。
N3形式は参考情報です。
DL	整合: `<equivalentClass/consistent009>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/consistent009" > <owl:Class rdf:nodeID="a"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:ID="A"/> </owl:oneOf> <owl:equivalentClass> <owl:Class rdf:nodeID="b"> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:ID="B"/> </owl:unionOf> </owl:Class> </owl:equivalentClass> <owl:equivalentClass> <owl:Class rdf:nodeID="c"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="C"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> <owl:equivalentClass> <owl:Class rdf:nodeID="d"> <owl:complementOf> <owl:Class rdf:ID="D"/> </owl:complementOf> </owl:Class> </owl:equivalentClass> </owl:Class> </rdf:RDF>
_:a rdf:type owl:Class . first:A rdf:type owl:Thing . _:c rdf:first first:A . _:c rdf:rest rdf:nil . _:a owl:oneOf _:c . _:e rdf:type owl:Class . first:B rdf:type owl:Class . _:g rdf:first first:B . _:g rdf:rest rdf:nil . _:e owl:unionOf _:g . _:a owl:equivalentClass _:e ._:i rdf:type owl:Class . first:C rdf:type owl:Class . _:k rdf:first first:C . _:k rdf:rest rdf:nil . _:i owl:intersectionOf _:k . _:a owl:equivalentClass _:i . _:m rdf:type owl:Class . first:D rdf:type owl:Class . _:m owl:complementOf first:D . _:a owl:equivalentClass _:m .

7.1.21. `owl:equivalentProperty`

Lite Full	ポジティブ含意テスト:		001
記述:（参考情報）`<equivalentProperty/Manifest001#test>`
`hasLeader`は、`hasHead`の`owl:equivalentProperty`であると述べることができます。
N3形式は参考情報です。
Lite	前提: `<equivalentProperty/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/equivalentProperty/premises001#" xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises001" > <owl:ObjectProperty rdf:ID="hasHead"> <owl:equivalentProperty> <owl:ObjectProperty rdf:ID="hasLeader"/> </owl:equivalentProperty> </owl:ObjectProperty> <owl:Thing rdf:ID="X"> <first:hasLeader> <owl:Thing rdf:ID="Y"/> </first:hasLeader> </owl:Thing> </rdf:RDF>
first:hasHead rdf:type owl:ObjectProperty . first:hasLeader rdf:type owl:ObjectProperty . first:hasHead owl:equivalentProperty first:hasLeader . first:X rdf:type owl:Thing . first:Y rdf:type owl:Thing . first:X first:hasLeader first:Y .
Lite	結論: `<equivalentProperty/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/equivalentProperty/premises001#" xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/conclusions001" > <owl:Thing rdf:about="premises001#X"> <first:hasHead> <owl:Thing rdf:about="premises001#Y"/> </first:hasHead> </owl:Thing> <owl:ObjectProperty rdf:about="premises001#hasHead"/> </rdf:RDF>
first:X rdf:type owl:Thing . first:Y rdf:type owl:Thing . first:X first:hasHead first:Y . first:hasHead rdf:type owl:ObjectProperty .

Lite Full	ポジティブ含意テスト:		002
記述:（参考情報）`<equivalentProperty/Manifest002#test>`
推論システムは、`hasLeader`が`hasHead`の`subProperty`であり、`hasHead`が`hasLeader`の`subProperty`であると推論することもできます。
N3形式は参考情報です。
Lite	前提: `<equivalentProperty/premises002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/equivalentProperty/premises002#" xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises002" > <owl:ObjectProperty rdf:ID="hasHead"> <owl:equivalentProperty> <owl:ObjectProperty rdf:ID="hasLeader"/> </owl:equivalentProperty> </owl:ObjectProperty> </rdf:RDF>
first:hasHead rdf:type owl:ObjectProperty . first:hasLeader rdf:type owl:ObjectProperty . first:hasHead owl:equivalentProperty first:hasLeader .
Lite	結論: `<equivalentProperty/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/equivalentProperty/premises002#" xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/conclusions002" > <owl:ObjectProperty rdf:about="premises002#hasHead"> <rdfs:subPropertyOf rdf:resource="premises002#hasLeader"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="premises002#hasLeader"> <rdfs:subPropertyOf rdf:resource="premises002#hasHead"/> </owl:ObjectProperty> </rdf:RDF>
first:hasHead rdf:type owl:ObjectProperty . first:hasHead rdfs:subPropertyOf first:hasLeader . first:hasLeader rdf:type owl:ObjectProperty . first:hasLeader rdfs:subPropertyOf first:hasHead .

Lite Full	ポジティブ含意テスト:		003
記述:（参考情報）`<equivalentProperty/Manifest003#test>`
テスト002の逆の含意も成立します。
N3形式は参考情報です。
Lite	前提: `<equivalentProperty/premises003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises003" > <owl:ObjectProperty rdf:about="conclusions003#hasHead"> <rdfs:subPropertyOf rdf:resource="conclusions003#hasLeader"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="conclusions003#hasLeader"> <rdfs:subPropertyOf rdf:resource="conclusions003#hasHead"/> </owl:ObjectProperty> </rdf:RDF>
second:hasHead rdf:type owl:ObjectProperty . second:hasHead rdfs:subPropertyOf second:hasLeader . second:hasLeader rdf:type owl:ObjectProperty . second:hasLeader rdfs:subPropertyOf second:hasHead .
Lite	結論: `<equivalentProperty/conclusions003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003" > <owl:ObjectProperty rdf:ID="hasHead"> <owl:equivalentProperty> <owl:ObjectProperty rdf:ID="hasLeader"/> </owl:equivalentProperty> </owl:ObjectProperty> </rdf:RDF>
second:hasHead rdf:type owl:ObjectProperty . second:hasLeader rdf:type owl:ObjectProperty . second:hasHead owl:equivalentProperty second:hasLeader .

DL Full	ポジティブ含意テスト:		004
記述:（参考情報）`<equivalentProperty/Manifest004#test>`
`p`と`q`が同じプロパティーの外延を持っている場合、`p` `equivalentProperty` `q`です。
N3形式は参考情報です。
DL	前提: `<equivalentProperty/premises004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises004" > <owl:ObjectProperty rdf:ID="p"> <rdfs:domain rdf:resource="#d"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:ID="q"> <rdfs:domain rdf:resource="#d"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="#q"/> <owl:FunctionalProperty rdf:about="#p"/> <owl:Thing rdf:ID="v"/> <owl:Class rdf:ID="d"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:hasValue rdf:resource="#v"/> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#q"/> <owl:hasValue rdf:resource="#v"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> </rdf:RDF>
first:p rdf:type owl:ObjectProperty . first:p rdfs:domain first:d . first:q rdf:type owl:ObjectProperty . first:q rdfs:domain first:d . first:q rdf:type owl:FunctionalProperty . first:p rdf:type owl:FunctionalProperty . first:v rdf:type owl:Thing . first:d rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:hasValue first:v . first:d owl:equivalentClass _:a . _:c rdf:type owl:Restriction . _:c owl:onProperty first:q . _:c owl:hasValue first:v . first:d owl:equivalentClass _:c .
Lite	結論: `<equivalentProperty/conclusions004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/conclusions004" > <owl:ObjectProperty rdf:about="premises004#p"> <owl:equivalentProperty> <owl:ObjectProperty rdf:about="premises004#q"/> </owl:equivalentProperty> </owl:ObjectProperty> </rdf:RDF>
first:p rdf:type owl:ObjectProperty . first:q rdf:type owl:ObjectProperty . first:p owl:equivalentProperty first:q .

Full	ポジティブ含意テスト:		005
記述:（参考情報）`<equivalentProperty/Manifest005#test>`
`p`と`q`が同じプロパティーの外延を持っている場合、`p` `owl:equivalentProperty` `q`です。
N3形式は参考情報です。
Full	前提: `<equivalentProperty/premises005>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises005" > <owl:FunctionalProperty rdf:about="#q"> <rdfs:domain rdf:nodeID="d"/> </owl:FunctionalProperty> <owl:FunctionalProperty rdf:about="#p"> <rdfs:domain rdf:nodeID="d"/> </owl:FunctionalProperty> <owl:Restriction rdf:nodeID="d"> <owl:onProperty rdf:resource="#p"/> <owl:onProperty rdf:resource="#q"/> <owl:hasValue rdf:resource="#v"/> </owl:Restriction> </rdf:RDF>
first:q rdf:type owl:FunctionalProperty . first:q rdfs:domain _:a . first:p rdf:type owl:FunctionalProperty . first:p rdfs:domain _:a . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:onProperty first:q . _:a owl:hasValue first:v .
Full	結論: `<equivalentProperty/conclusions005>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/conclusions005" > <rdf:Description rdf:about="premises005#p"> <owl:equivalentProperty rdf:resource="premises005#q"/> </rdf:Description> </rdf:RDF>
first:p owl:equivalentProperty first:q .

Full	ポジティブ含意テスト:		006
記述:（参考情報）`<equivalentProperty/Manifest006#test>`
`hasLeader`は、`hasHead`の`owl:equivalentProperty`であると述べることができます。
N3形式は参考情報です。
Full	前提: `<equivalentProperty/premises006>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/equivalentProperty/premises006#" xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises006" > <rdf:Description rdf:ID="hasHead"> <owl:equivalentProperty> <rdf:Description rdf:ID="hasLeader"/> </owl:equivalentProperty> </rdf:Description> <rdf:Description rdf:ID="X"> <first:hasLeader> <rdf:Description rdf:ID="Y"/> </first:hasLeader> </rdf:Description> </rdf:RDF>
first:hasHead owl:equivalentProperty first:hasLeader . first:X first:hasLeader first:Y .
Full	結論: `<equivalentProperty/conclusions006>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:first="http://www.w3.org/2002/03owlt/equivalentProperty/premises006#" xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/conclusions006" > <rdf:Description rdf:about="premises006#X"> <first:hasHead rdf:resource="premises006#Y" /> </rdf:Description> </rdf:RDF>
first:X first:hasHead first:Y .

7.1.22. `owl:imports`

Full	インポート含意テスト:		001
記述:（参考情報）`<imports/Manifest001#test>`
ドキュメントが別のドキュメントをインポートする場合、それは2つのドキュメントの結合によって含意されるものは何でも含意します。
N3形式は参考情報です。
名前空間:
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support001-A#> .
Full	前提: `<imports/premises001>`
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xmlns:ont='http://www.w3.org/2002/03owlt/imports/support001-A#' xml:base='http://www.w3.org/2002/03owlt/imports/premises001' > <rdf:Description rdf:about=''> <owl:imports rdf:resource="http://www.w3.org/2002/03owlt/imports/support001-A"/> </rdf:Description> <ont:Man rdf:about='http://example.org/data#Socrates'/> </rdf:RDF>
<imports/premises001> owl:imports <imports/support001-A> . <http://example.org/data#Socrates> rdf:type ont:Man .
Lite	インポートされた前提 `<imports/support001-A>`
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xml:base='http://www.w3.org/2002/03owlt/imports/support001-A' > <owl:Ontology rdf:about=''/> <owl:Class rdf:ID='Man'> <rdfs:subClassOf rdf:resource='#Mortal'/> </owl:Class> <owl:Class rdf:ID='Mortal'/> </rdf:RDF>
<imports/support001-A> rdf:type owl:Ontology . ont:Man rdf:type owl:Class . ont:Man rdfs:subClassOf ont:Mortal . ont:Mortal rdf:type owl:Class .
Full	結論: `<imports/conclusions001>`
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xml:base='http://www.w3.org/2002/03owlt/imports/conclusions001' > <rdf:Description rdf:about='http://example.org/data#Socrates'> <rdf:type rdf:resource='http://www.w3.org/2002/03owlt/imports/support001-A#Mortal'/> </rdf:Description> </rdf:RDF>
<http://example.org/data#Socrates> rdf:type ont:Mortal .

Full (EC)	ネガティブ含意テスト:		002
記述:（参考情報）`<imports/Manifest002#test>`
前提ドキュメントが名前空間を使用するけれどもその名前空間に対応しているドキュメントをインポートしない場合、その前提は必ずしも2つのドキュメントの結合によって含意されるものを何でも含意するわけではありません。
N3形式は参考情報です。
名前空間:
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support002-A#> .
Full	前提: `<imports/premises002>`
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xmlns:ont='http://www.w3.org/2002/03owlt/imports/support002-A#' xml:base='http://www.w3.org/2002/03owlt/imports/premises002' > <ont:Man rdf:about='http://example.org/data#Socrates'/> </rdf:RDF>
<http://example.org/data#Socrates> rdf:type ont:Man .
Lite	インポートされた前提 `<imports/support002-A>`
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xml:base='http://www.w3.org/2002/03owlt/imports/support002-A' > <owl:Ontology rdf:about=''/> <owl:Class rdf:ID='Man'> <rdfs:subClassOf rdf:resource='#Mortal'/> </owl:Class> <owl:Class rdf:ID='Mortal'/> </rdf:RDF>
<imports/support002-A> rdf:type owl:Ontology . ont:Man rdf:type owl:Class . ont:Man rdfs:subClassOf ont:Mortal . ont:Mortal rdf:type owl:Class .
Full	結論: `<imports/nonconclusions002>`
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xml:base='http://www.w3.org/2002/03owlt/imports/nonconclusions002' > <rdf:Description rdf:about='http://example.org/data#Socrates'> <rdf:type rdf:resource='http://www.w3.org/2002/03owlt/imports/support002-A#Mortal'/> </rdf:Description> </rdf:RDF>
<http://example.org/data#Socrates> rdf:type ont:Mortal .

Full	インポート含意テスト:		003
記述:（参考情報）`<imports/Manifest003#test>`
ドキュメントが、次に3番目のドキュメントをインポートするドキュメントをインポートする場合、3つのドキュメントのステートメントの結合によって含意されるものは何でも含意します。すなわち、インポートは推移的です。
N3形式は参考情報です。
名前空間:
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support003-A#> .
Full	前提: `<imports/premises003>`
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xmlns:ont='http://www.w3.org/2002/03owlt/imports/support003-A#' xml:base='http://www.w3.org/2002/03owlt/imports/premises003' > <rdf:Description rdf:about=''> <owl:imports rdf:resource='http://www.w3.org/2002/03owlt/imports/support003-A'/> </rdf:Description> <ont:Man rdf:about='http://example.org/data#Socrates'/> </rdf:RDF>
<imports/premises003> owl:imports <imports/support003-A> . <http://example.org/data#Socrates> rdf:type ont:Man .
Lite	インポートされた前提 `<imports/support003-A>`
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xml:base='http://www.w3.org/2002/03owlt/imports/support003-A' > <owl:Ontology rdf:about=''> <owl:imports rdf:resource='http://www.w3.org/2002/03owlt/imports/support003-B'/> </owl:Ontology> <owl:Class rdf:ID='Man'> <rdfs:subClassOf rdf:resource='#Person'/> </owl:Class> <owl:Class rdf:ID='Person'/> </rdf:RDF>
<imports/support003-A> rdf:type owl:Ontology . <imports/support003-A> owl:imports <imports/support003-B> . ont:Man rdf:type owl:Class . ont:Man rdfs:subClassOf ont:Person . ont:Person rdf:type owl:Class .
Lite	インポートされた前提 `<imports/support003-B>`
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xml:base='http://www.w3.org/2002/03owlt/imports/support003-B' > <owl:Ontology rdf:about=''/> <owl:Class rdf:about='http://www.w3.org/2002/03owlt/imports/support003-A#Person'> <rdfs:subClassOf rdf:resource='#Mortal'/> </owl:Class> <owl:Class rdf:ID='Mortal'/> </rdf:RDF>
<imports/support003-B> rdf:type owl:Ontology . ont:Person rdf:type owl:Class . ont:Person rdfs:subClassOf <imports/support003-B#Mortal> . <imports/support003-B#Mortal> rdf:type owl:Class .
Full	結論: `<imports/conclusions003>`
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xml:base='http://www.w3.org/2002/03owlt/imports/conclusions003' > <rdf:Description rdf:about='http://example.org/data#Socrates'> <rdf:type rdf:resource='http://www.w3.org/2002/03owlt/imports/support003-B#Mortal'/> </rdf:Description> </rdf:RDF>
<http://example.org/data#Socrates> rdf:type <imports/support003-B#Mortal> .

Full	インポート・レベル・テスト:		004
記述:（参考情報）`<imports/Manifest004#test>`
OWL Fullドキュメントをインポートすると、OWL LiteまたはOWL DLドキュメントのレベルが変化するかもしれません。
N3形式は参考情報です。
Full	インポートされたドキュメント: `<imports/imports004>`
<rdf:RDF 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/imports/imports004" > <rdfs:Class rdf:ID="c" /> </rdf:RDF>
first:c rdf:type rdfs:Class .
Full	メイン・ドキュメント: `<imports/main004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/imports/main004" > <owl:Ontology rdf:about=""> <owl:imports rdf:resource="imports004" /> </owl:Ontology> </rdf:RDF>
<imports/main004> rdf:type owl:Ontology . <imports/main004> owl:imports <imports/imports004> .

DL	インポート・レベル・テスト:		005
記述:（参考情報）`<imports/Manifest005#test>`
OWL LiteドキュメントがOWL DLドキュメントをインポートする場合、それはOWL DLになります。
N3形式は参考情報です。
DL	インポートされたドキュメント: `<imports/imports005>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/imports/imports005" > <owl:Ontology rdf:about=""/> <owl:Class rdf:ID="c"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:ID="x"/> </owl:oneOf> </owl:Class> </rdf:RDF>
<imports/imports005> rdf:type owl:Ontology . first:c rdf:type owl:Class . first:x rdf:type owl:Thing . _:a rdf:first first:x . _:a rdf:rest rdf:nil .first:c owl:oneOf _:a .
DL	メイン・ドキュメント: `<imports/main005>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/imports/main005" > <owl:Ontology rdf:about=""> <owl:imports rdf:resource="imports005" /> </owl:Ontology> </rdf:RDF>
<imports/main005> rdf:type owl:Ontology . <imports/main005> owl:imports <imports/imports005> .

Lite	インポート・レベル・テスト:		006
記述:（参考情報）`<imports/Manifest006#test>`
セマンティックの階層化で要求されるタイプ宣言をOWL LiteまたはOWL DLのファイルにインポートすることができます。
N3形式は参考情報です。
Lite	インポートされたドキュメント: `<imports/imports006>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/imports/imports006" > <owl:Ontology rdf:about=""/> <owl:Class rdf:ID="c"/> </rdf:RDF>
<imports/imports006> rdf:type owl:Ontology . first:c rdf:type owl:Class .
Lite	メイン・ドキュメント: `<imports/main006>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/imports/imports006#" xml:base="http://www.w3.org/2002/03owlt/imports/main006" > <owl:Ontology rdf:about=""> <owl:imports rdf:resource="imports006"/> </owl:Ontology> <first:c rdf:ID="x"/> </rdf:RDF>
<imports/main006> rdf:type owl:Ontology . <imports/main006> owl:imports <imports/imports006> . second:x rdf:type first:c .

Lite	インポート・レベル・テスト:		007
記述:（参考情報）`<imports/Manifest007#test>`
セマンティックの階層化で要求されるタイプ宣言をOWL LiteまたはOWL DLのファイルにインポートすることができます。
N3形式は参考情報です。
Lite	インポートされたドキュメント:`<imports/imports007>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/imports/imports007" > <owl:Ontology rdf:about=""/> <owl:ObjectProperty rdf:ID="p"/> </rdf:RDF>
<imports/imports007> rdf:type owl:Ontology . first:p rdf:type owl:ObjectProperty .
Lite	メイン・ドキュメント: `<imports/main007>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/imports/imports007#" xml:base="http://www.w3.org/2002/03owlt/imports/main007" > <owl:Ontology rdf:about=""> <owl:imports rdf:resource="imports007"/> </owl:Ontology> <owl:Thing> <first:p> <owl:Thing /> </first:p> </owl:Thing> </rdf:RDF>
<imports/main007> rdf:type owl:Ontology . <imports/main007> owl:imports <imports/imports007> . _:a rdf:type owl:Thing . _:c rdf:type owl:Thing . _:a first:p _:c .

Lite	インポート・レベル・テスト:		008
記述:（参考情報）`<imports/Manifest008#test>`
多くの場合、OWL Liteドキュメントに普通のRDFSドキュメントを変更なしにインポートできます。インポート・ドキュメントに追加のタイプ宣言が必要かもしれません。
N3形式は参考情報です。
Full	インポートされたドキュメント: `<imports/imports008>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/imports/imports008#" xmlns:second="http://www.w3.org/2002/03owlt/imports/main008#" xml:base="http://www.w3.org/2002/03owlt/imports/imports008" > <rdfs:Class rdf:ID="sub"> <rdfs:subClassOf rdf:resource="#super"/> </rdfs:Class> </rdf:RDF>
first:sub rdf:type rdfs:Class . first:sub rdfs:subClassOf first:super .
Lite	メイン・ドキュメント: `<imports/main008>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/imports/imports008#" xmlns:second="http://www.w3.org/2002/03owlt/imports/main008#" xml:base="http://www.w3.org/2002/03owlt/imports/main008" > <owl:Ontology rdf:about=""> <owl:imports> <owl:Ontology rdf:about="imports008"/> </owl:imports> </owl:Ontology> <owl:Class rdf:about="imports008#sub"/> <owl:Class rdf:about="imports008#super"/> </rdf:RDF>
<imports/main008> rdf:type owl:Ontology . <imports/imports008> rdf:type owl:Ontology . <imports/main008> owl:imports <imports/imports008> . first:sub rdf:type owl:Class . first:super rdf:type owl:Class .

Full	OWLで記述されているOWL		010
記述:（参考情報）`<imports/Manifest010#test>`
このテストは、owl:importsに対する領域と範囲を指定します。
N3形式は参考情報です。
Full	真: `<imports/conclusions010>`
<rdf:RDF 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/imports/conclusions010" > <rdf:Property rdf:about="http://www.w3.org/2002/07/owl#imports"> <rdfs:range rdf:resource="http://www.w3.org/2002/07/owl#Ontology"/> <rdfs:domain rdf:resource="http://www.w3.org/2002/07/owl#Ontology"/> </rdf:Property> </rdf:RDF>
owl:imports rdf:type rdf:Property . owl:imports rdfs:range owl:Ontology . owl:imports rdfs:domain owl:Ontology .

Lite	インポート含意テスト:		011
記述:（参考情報）`<imports/Manifest011#test>`
テストimports-001のLiteバージョン。
N3形式は参考情報です。
名前空間:
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support011-A#> .
Lite	前提: `<imports/premises011>`
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xmlns:ont='http://www.w3.org/2002/03owlt/imports/support011-A#' xml:base='http://www.w3.org/2002/03owlt/imports/premises011' > <owl:Ontology rdf:about=''> <owl:imports rdf:resource="http://www.w3.org/2002/03owlt/imports/support011-A"/> </owl:Ontology> <ont:Man rdf:about='http://example.org/data#Socrates'/> </rdf:RDF>
<imports/premises011> rdf:type owl:Ontology . <imports/premises011> owl:imports <imports/support011-A> . <http://example.org/data#Socrates> rdf:type ont:Man .
Lite	インポートされた前提 `<imports/support011-A>`
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xml:base='http://www.w3.org/2002/03owlt/imports/support011-A' > <owl:Ontology rdf:about=''/> <owl:Class rdf:ID='Man'> <rdfs:subClassOf rdf:resource='#Mortal'/> </owl:Class> <owl:Class rdf:ID='Mortal'/> </rdf:RDF>
<imports/support011-A> rdf:type owl:Ontology . ont:Man rdf:type owl:Class . ont:Man rdfs:subClassOf ont:Mortal . ont:Mortal rdf:type owl:Class .
Lite	結論: `<imports/conclusions011>`
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xml:base='http://www.w3.org/2002/03owlt/imports/conclusions011' > <rdf:Description rdf:about='http://example.org/data#Socrates'> <rdf:type> <owl:Class rdf:about='support011-A#Mortal'/> </rdf:type> </rdf:Description> </rdf:RDF>
ont:Mortal rdf:type owl:Class . <http://example.org/data#Socrates> rdf:type ont:Mortal .

Lite Full	整合性のあるドキュメント		012
記述:（参考情報）`<imports/Manifest012#test>`
インポート処理コードにおける無限ループのシンプルなテスト。
N3形式は参考情報です。
Lite	整合: `<imports/consistent012>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/imports/consistent012" > <owl:Ontology rdf:about="http://example.org/"> <owl:imports> <owl:Ontology rdf:about=""/> </owl:imports> </owl:Ontology> </rdf:RDF>
<http://example.org/> rdf:type owl:Ontology . <imports/consistent012> rdf:type owl:Ontology . <http://example.org/> owl:imports <imports/consistent012> .

Full	インポート・レベル・テスト:		013
記述:（参考情報）`<imports/Manifest013#test>`
インポートされたオントロジーは、DLに含まれるタイプowl:Ontologyを持っていなければなりません。
N3形式は参考情報です。
Lite	インポートされたドキュメント: `<imports/imports013>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/imports/imports013" > <owl:Class rdf:ID="c" /> </rdf:RDF>
first:c rdf:type owl:Class .
Full	メイン・ドキュメント: `<imports/main013>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/imports/main013" > <owl:Ontology> <owl:imports rdf:resource="imports013"/> </owl:Ontology> </rdf:RDF>
_:a rdf:type owl:Ontology . _:a owl:imports <imports/imports013> .

Full	インポート・レベル・テスト:		014
記述:（参考情報）`<imports/Manifest014#test>`
xml:base宣言を使用しているファイルをインポートする時に、`owl:imports`トリプルで異なったURLを使用した場合、そのURLは明白なタイプを持っていないかもしれません。
N3形式は参考情報です。
Lite	インポートされたドキュメント: `<imports/imports014>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/imports/imports014" > <owl:Ontology rdf:about=""/> </rdf:RDF>
<imports/imports014> rdf:type owl:Ontology .
Full	メイン・ドキュメント: `<imports/main014>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/imports/imports014#" xmlns:second="http://www.w3.org/2002/03owlt/imports/main014#" xml:base="http://www.w3.org/2002/03owlt/imports/main014" > <owl:Ontology> <owl:imports rdf:resource="imports014.rdf"/> </owl:Ontology> </rdf:RDF>
_:a rdf:type owl:Ontology . _:a owl:imports <imports/imports014.rdf> .

7.1.23. `owl:intersectionOf`

Full	ポジティブ含意テスト:		001
記述:（参考情報）`<intersectionOf/Manifest001#test>`
`intersectionOf`構成子におけるクラスの順序は重要ではありません。
N3形式は参考情報です。
Full	前提: `<intersectionOf/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/intersectionOf/premises001#" xml:base="http://www.w3.org/2002/03owlt/intersectionOf/premises001" > <rdf:Description rdf:about="premises001#B"> <owl:intersectionOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises001#Student"/> <rdf:Description rdf:about="premises001#Employee"/> </owl:intersectionOf> </rdf:Description> <rdf:Description rdf:about="premises001#C"> <owl:intersectionOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises001#Employee"/> <rdf:Description rdf:about="premises001#Student"/> </owl:intersectionOf> </rdf:Description> <first:B rdf:about="premises001#John"/> </rdf:RDF>
_:a rdf:first first:Employee . _:a rdf:rest rdf:nil . _:c rdf:first first:Student . _:c rdf:rest _:a . first:B owl:intersectionOf _:c . _:e rdf:first first:Student . _:e rdf:rest rdf:nil ._:g rdf:first first:Employee . _:g rdf:rest _:e . first:C owl:intersectionOf _:g . first:John rdf:type first:B .
Full	結論: `<intersectionOf/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:first="http://www.w3.org/2002/03owlt/intersectionOf/premises001#" xml:base="http://www.w3.org/2002/03owlt/intersectionOf/conclusions001" > <first:C rdf:about="premises001#John"/> </rdf:RDF>
first:John rdf:type first:C .

7.1.24. `owl:inverseOf`

Full	ポジティブ含意テスト:		001
記述:（参考情報）`<inverseOf/Manifest001#test>`
対`(x,y)`が`P`のインスタンスである場合、対`(y,x)`は名前付きプロパティーのインスタンスです。
N3形式は参考情報です。
名前空間:
@prefix my: <http://example.net/myVocab#> . @prefix your: <http://example.net/yourVocab#> . @prefix eg: <http://example.net/vocab#> .
Full	前提: `<inverseOf/premises001>`
<rdf:RDF xmlns:my="http://example.net/myVocab#" xmlns:eg="http://example.net/vocab#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xml:base='http://www.w3.org/2002/03owlt/inverseOf/premises001' xmlns:your="http://example.net/yourVocab#"> <rdf:Description rdf:about="http://example.net/myVocab#hasBrother"> <owl:inverseOf rdf:resource="http://example.net/yourVocab#isBrotherOf"/> </rdf:Description> <rdf:Description rdf:about="http://example.net/vocab#joe"> <my:hasBrother rdf:resource="http://example.net/vocab#bob"/> </rdf:Description> </rdf:RDF>
my:hasBrother owl:inverseOf your:isBrotherOf . eg:joe my:hasBrother eg:bob .
Full	結論: `<inverseOf/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xml:base='http://www.w3.org/2002/03owlt/inverseOf/conclusions001' xmlns:your="http://example.net/yourVocab#"> <rdf:Description rdf:about="http://example.net/vocab#bob"> <your:isBrotherOf rdf:resource="http://example.net/vocab#joe"/> </rdf:Description> </rdf:RDF>
eg:bob your:isBrotherOf eg:joe .

7.1.25. `owl:maxCardinality`

Full	矛盾したドキュメント		001
記述:（参考情報）`<maxCardinality/Manifest001#test>`
最大カーディナリティー「2」を持つプロパティーは、ある主語ノードにおいて3つの異なる値を取ることができません。
N3形式は参考情報です。
Full	矛盾: `<maxCardinality/inconsistent001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/maxCardinality/inconsistent001#" xml:base="http://www.w3.org/2002/03owlt/maxCardinality/inconsistent001" > <rdf:Description rdf:about="inconsistent001#sb1"> <rdf:type rdf:parseType="Resource"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Restriction"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:maxCardinality> <owl:onProperty rdf:resource="inconsistent001#prop"/> </rdf:type> <first:prop rdf:resource="inconsistent001#ob1"/> <first:prop rdf:resource="inconsistent001#ob2"/> <first:prop rdf:resource="inconsistent001#ob3"/> </rdf:Description> <rdf:Description rdf:about="inconsistent001#ob1"> <owl:differentFrom rdf:resource="inconsistent001#ob2"/> <owl:differentFrom rdf:resource="inconsistent001#ob3"/> </rdf:Description> <rdf:Description rdf:about="inconsistent001#ob2"> <owl:differentFrom rdf:resource="inconsistent001#ob3"/> </rdf:Description> <owl:ObjectProperty rdf:about="inconsistent001#prop"/> </rdf:RDF>
_:a rdf:type owl:Restriction . _:a owl:maxCardinality "2"^^xsd:nonNegativeInteger . _:a owl:onProperty first:prop . first:sb1 rdf:type _:a . first:sb1 first:prop first:ob1 . first:sb1 first:prop first:ob2 . first:sb1 first:prop first:ob3 . first:ob1 owl:differentFrom first:ob2 . first:ob1 owl:differentFrom first:ob3 . first:ob2 owl:differentFrom first:ob3 . first:prop rdf:type owl:ObjectProperty .

Full	矛盾したドキュメント		002
記述:（参考情報）`<maxCardinality/Manifest002#test>`
最大カーディナリティー「2」を持つプロパティーは、ある主語ノードにおいて3つの異なる値を取ることができません。この例では、3つの値のうちの1つは暗示的です。
N3形式は参考情報です。
Full	矛盾: `<maxCardinality/inconsistent002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/maxCardinality/inconsistent002#" xml:base="http://www.w3.org/2002/03owlt/maxCardinality/inconsistent002" > <rdf:Description rdf:about="inconsistent002#sb1"> <rdf:type rdf:parseType="Resource"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Restriction"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:maxCardinality> <owl:onProperty rdf:resource="inconsistent002#prop"/> </rdf:type> <first:prop rdf:resource="inconsistent002#ob1"/> <first:prop rdf:resource="inconsistent002#ob2"/> <first:otherprop rdf:resource="inconsistent002#ob3"/> </rdf:Description> <rdf:Description rdf:about="inconsistent002#ob1"> <owl:differentFrom rdf:resource="inconsistent002#ob2"/> <owl:differentFrom rdf:resource="inconsistent002#ob3"/> </rdf:Description> <rdf:Description rdf:about="inconsistent002#ob2"> <owl:differentFrom rdf:resource="inconsistent002#ob3"/> </rdf:Description> <owl:ObjectProperty rdf:about="inconsistent002#prop"/> <rdf:Description rdf:about="inconsistent002#otherprop"> <rdfs:subPropertyOf rdf:resource="inconsistent002#prop"/> </rdf:Description> </rdf:RDF>
_:a rdf:type owl:Restriction . _:a owl:maxCardinality "2"^^xsd:nonNegativeInteger . _:a owl:onProperty first:prop . first:sb1 rdf:type _:a . first:sb1 first:prop first:ob1 . first:sb1 first:prop first:ob2 . first:sb1 first:otherprop first:ob3 . first:ob1 owl:differentFrom first:ob2 . first:ob1 owl:differentFrom first:ob3 . first:ob2 owl:differentFrom first:ob3 . first:prop rdf:type owl:ObjectProperty . first:otherprop rdfs:subPropertyOf first:prop .

7.1.26. `owl:oneOf`

Full (EC)	整合性のあるドキュメント		001
記述:（参考情報）`<oneOf/Manifest001#test>`
`oneOf`は、複数の名前付き個体が別個のものであることを示しません。したがって、このファイルの一貫した解釈は、すべての個体の名前が同じ個体を示している場合です。
N3形式は参考情報です。
Full	整合: `<oneOf/consistent001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/oneOf/consistent001#" xml:base="http://www.w3.org/2002/03owlt/oneOf/consistent001" > <owl:Class> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:ID="amy"/> <rdf:Description rdf:ID="bob"/> <rdf:Description rdf:ID="caroline"/> </owl:oneOf> <owl:equivalentClass> <owl:Class> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:ID="yolanda"/> <rdf:Description rdf:ID="zebedee"/> </owl:oneOf> </owl:Class> </owl:equivalentClass> </owl:Class> </rdf:RDF>
_:a rdf:type owl:Class . _:c rdf:first first:caroline . _:c rdf:rest rdf:nil . _:e rdf:first first:bob . _:e rdf:rest _:c . _:g rdf:first first:amy . _:g rdf:rest _:e . _:a owl:oneOf _:g . _:i rdf:type owl:Class . _:k rdf:first first:zebedee . _:k rdf:rest rdf:nil . _:m rdf:first first:yolanda . _:m rdf:rest _:k . _:i owl:oneOf _:m . _:a owl:equivalentClass _:i .

Full	ポジティブ含意テスト:		002
記述:（参考情報）`<oneOf/Manifest002#test>`
`oneOf`は、その個体を列挙することによって、クラスを記述します。
N3形式は参考情報です。
Full	前提: `<oneOf/premises002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises002#" xmlns:second="http://www.w3.org/2002/03owlt/oneOf/conclusions002#" xml:base="http://www.w3.org/2002/03owlt/oneOf/premises002" > <rdf:Description rdf:about="premises002#TShirt"> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises002#small"/> <rdf:Description rdf:about="premises002#medium"/> <rdf:Description rdf:about="premises002#large"/> </owl:oneOf> </rdf:Description> </rdf:RDF>
_:a rdf:first first:large . _:a rdf:rest rdf:nil . _:c rdf:first first:medium . _:c rdf:rest _:a . _:e rdf:first first:small . _:e rdf:rest _:c . first:TShirt owl:oneOf _:e .
Full	結論: `<oneOf/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises002#" xmlns:second="http://www.w3.org/2002/03owlt/oneOf/conclusions002#" xml:base="http://www.w3.org/2002/03owlt/oneOf/conclusions002" > <first:TShirt rdf:about="premises002#small"/> </rdf:RDF>
first:small rdf:type first:TShirt .

Full	ポジティブ含意テスト:		003
記述:（参考情報）`<oneOf/Manifest003#test>`
`owl:oneOf`構成子におけるインスタンスの順序は重要ではありません。
N3形式は参考情報です。
Full	前提: `<oneOf/premises003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises003#" xml:base="http://www.w3.org/2002/03owlt/oneOf/premises003" > <rdf:Description rdf:about="premises003#T1"> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises003#small"/> <rdf:Description rdf:about="premises003#medium"/> <rdf:Description rdf:about="premises003#large"/> </owl:oneOf> </rdf:Description> <rdf:Description rdf:about="premises003#T2"> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises003#large"/> <rdf:Description rdf:about="premises003#medium"/> <rdf:Description rdf:about="premises003#small"/> </owl:oneOf> </rdf:Description> <first:T1 rdf:about="premises003#myT"/> </rdf:RDF>
_:a rdf:first first:large . _:a rdf:rest rdf:nil . _:c rdf:first first:medium . _:c rdf:rest _:a . _:e rdf:first first:small . _:e rdf:rest _:c . first:T1 owl:oneOf _:e . _:g rdf:first first:small . _:g rdf:rest rdf:nil . _:i rdf:first first:medium . _:i rdf:rest _:g . _:k rdf:first first:large . _:k rdf:rest _:i . first:T2 owl:oneOf _:k . first:myT rdf:type first:T1 .
Full	結論: `<oneOf/conclusions003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises003#" xml:base="http://www.w3.org/2002/03owlt/oneOf/conclusions003" > <first:T2 rdf:about="premises003#myT"/> </rdf:RDF>
first:myT rdf:type first:T2 .

DL Full	ポジティブ含意テスト:		004
記述:（参考情報）`<oneOf/Manifest004#test>`
このテストは、OWL DLにおけるdataRangeの使用を例示しています。このテストは、XML、RDF、およびOWLの最も厄介な機能のいくつかを結合します。
N3形式は参考情報です。
DL	前提: `<oneOf/premises004>`
<!DOCTYPE rdf:RDF [ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#"> <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#"> ]> <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises004#" xml:base="http://www.w3.org/2002/03owlt/oneOf/premises004" > <owl:DatatypeProperty rdf:ID="p"> <rdfs:range> <owl:DataRange> <owl:oneOf> <rdf:List> <rdf:first rdf:datatype="&xsd;integer">1</rdf:first> <rdf:rest> <rdf:List> <rdf:first rdf:datatype="&xsd;integer">2</rdf:first> <rdf:rest> <rdf:List> <rdf:first rdf:datatype="&xsd;integer">3</rdf:first> <rdf:rest> <rdf:List> <rdf:first rdf:datatype="&xsd;integer">4</rdf:first> <rdf:rest rdf:resource="&rdf;nil"/> </rdf:List> </rdf:rest> </rdf:List> </rdf:rest> </rdf:List> </rdf:rest> </rdf:List> </owl:oneOf> </owl:DataRange> </rdfs:range> <rdfs:range> <owl:DataRange> <owl:oneOf> <rdf:List> <rdf:first rdf:datatype="&xsd;integer">4</rdf:first> <rdf:rest> <rdf:List> <rdf:first rdf:datatype="&xsd;integer">5</rdf:first> <rdf:rest> <rdf:List> <rdf:first rdf:datatype="&xsd;integer">6</rdf:first> <rdf:rest rdf:resource="&rdf;nil"/> </rdf:List> </rdf:rest> </rdf:List> </rdf:rest> </rdf:List> </owl:oneOf> </owl:DataRange> </rdfs:range> </owl:DatatypeProperty> <owl:Thing rdf:ID="i"> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:minCardinality rdf:datatype="&xsd;int">1</owl:minCardinality> </owl:Restriction> </rdf:type> </owl:Thing> </rdf:RDF>
first:p rdf:type owl:DatatypeProperty . _:a rdf:type owl:DataRange . _:c rdf:type rdf:List . _:c rdf:first "1"^^xsd:integer . _:e rdf:type rdf:List . _:e rdf:first "2"^^xsd:integer . _:g rdf:type rdf:List . _:g rdf:first "3"^^xsd:integer . _:i rdf:type rdf:List . _:i rdf:first "4"^^xsd:integer . _:i rdf:rest rdf:nil . _:g rdf:rest _:i . _:e rdf:rest _:g . _:c rdf:rest _:e . _:a owl:oneOf _:c . first:p rdfs:range _:a . _:k rdf:type owl:DataRange . _:m rdf:type rdf:List . _:m rdf:first "4"^^xsd:integer . _:o rdf:type rdf:List . _:o rdf:first "5"^^xsd:integer . _:q rdf:type rdf:List . _:q rdf:first "6"^^xsd:integer . _:q rdf:rest rdf:nil . _:o rdf:rest _:q . _:m rdf:rest _:o . _:k owl:oneOf _:m . first:p rdfs:range _:k . first:i rdf:type owl:Thing . _:s rdf:type owl:Restriction . _:s owl:onProperty first:p . _:s owl:minCardinality "1"^^xsd:int . first:i rdf:type _:s .
Lite	結論: `<oneOf/conclusions004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises004#" xml:base="http://www.w3.org/2002/03owlt/oneOf/conclusions004" > <owl:DatatypeProperty rdf:about="premises004#p"/> <owl:Thing rdf:about="premises004#i"> <first:p rdf:datatype= "http://www.w3.org/2001/XMLSchema#integer">4</first:p> </owl:Thing> </rdf:RDF>
first:p rdf:type owl:DatatypeProperty . first:i rdf:type owl:Thing . first:i first:p "4"^^xsd:integer .

7.1.27. `owl:sameAs`

Full	ポジティブ含意テスト:		001
記述:（参考情報）`<sameAs/Manifest001#test>`
アノテーション・プロパティーはクラスのインスタンスを参照します。OWL FullにおけるsameAsもクラスのインスタンスを参照します。
N3形式は参考情報です。
Full	前提: `<sameAs/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/sameAs/premises001#" xml:base="http://www.w3.org/2002/03owlt/sameAs/premises001" > <owl:Class rdf:ID="c1"> <owl:sameAs> <owl:Class rdf:ID="c2"/> </owl:sameAs> <first:annotate>description of c1</first:annotate> </owl:Class> <owl:AnnotationProperty rdf:ID="annotate" /> </rdf:RDF>
first:c1 rdf:type owl:Class . first:c2 rdf:type owl:Class . first:c1 owl:sameAs first:c2 . first:c1 first:annotate "description of c1" . first:annotate rdf:type owl:AnnotationProperty .
Lite	結論: `<sameAs/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/sameAs/premises001#" xml:base="http://www.w3.org/2002/03owlt/sameAs/conclusions001" > <owl:Class rdf:about="premises001#c2"> <first:annotate>description of c1</first:annotate> </owl:Class> <owl:AnnotationProperty rdf:about="premises001#annotate" /> </rdf:RDF>
first:c2 rdf:type owl:Class . first:c2 first:annotate "description of c1" . first:annotate rdf:type owl:AnnotationProperty .

7.1.28. `owl:someValuesFrom`

Full	ポジティブ含意テスト:		001
記述:（参考情報）`<someValuesFrom/Manifest001#test>`
シンプルな例。
N3形式は参考情報です。
Lite	前提: `<someValuesFrom/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises001#" xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/premises001" > <owl:Class rdf:ID="r"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:someValuesFrom rdf:resource="#c"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> <owl:Class rdf:ID="c"/> <first:r rdf:ID="i"/> </rdf:RDF>
first:r rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:someValuesFrom first:c . first:r rdfs:subClassOf _:a . first:p rdf:type owl:ObjectProperty . first:c rdf:type owl:Class . first:i rdf:type first:r .
Full	結論: `<someValuesFrom/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises001#" xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/conclusions001" > <rdf:Description rdf:about="premises001#i"> <first:p> <first:c /> </first:p> </rdf:Description> </rdf:RDF>
_:a rdf:type first:c . first:i first:p _:a .

Full (EC)	ネガティブ含意テスト:		002
記述:（参考情報）`<someValuesFrom/Manifest002#test>`
`owl:someValuesFrom`がどのように`owl:allValuesFrom`と異なっているかを示すシンプルな例。
N3形式は参考情報です。
Full	前提: `<someValuesFrom/premises002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises002#" xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/premises002" > <owl:Class rdf:ID="r"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:someValuesFrom rdf:resource="#c"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> <owl:Class rdf:ID="c"/> <first:r rdf:ID="i"> <first:p rdf:resource="#o"/> </first:r> </rdf:RDF>
first:r rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:someValuesFrom first:c . first:r rdfs:subClassOf _:a . first:p rdf:type owl:ObjectProperty . first:c rdf:type owl:Class . first:i rdf:type first:r . first:i first:p first:o .
Full	結論: `<someValuesFrom/nonconclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises002#" xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/nonconclusions002" > <first:c rdf:about="premises001#o"/> </rdf:RDF>
<someValuesFrom/premises001#o> rdf:type first:c .

Lite Full	ポジティブ含意テスト:		003
記述:（参考情報）`<someValuesFrom/Manifest003#test>`
実装者が避けるべきシンプルな無限ループ。
N3形式は参考情報です。
Lite	前提: `<someValuesFrom/premises003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises003#" xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/premises003" > <owl:Class rdf:ID="person"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="parent"/> </owl:onProperty> <owl:someValuesFrom rdf:resource="#person" /> </owl:Restriction> </owl:equivalentClass> </owl:Class> <first:person rdf:ID="fred" /> </rdf:RDF>
first:person rdf:type owl:Class . _:a rdf:type owl:Restriction . first:parent rdf:type owl:ObjectProperty . _:a owl:onProperty first:parent . _:a owl:someValuesFrom first:person . first:person owl:equivalentClass _:a . first:fred rdf:type first:person .
Lite	結論: `<someValuesFrom/conclusions003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises003#" xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/conclusions003" > <owl:ObjectProperty rdf:about="premises003#parent"/> <owl:Thing rdf:about="premises003#fred"> <first:parent> <owl:Thing> <first:parent> <owl:Thing/> </first:parent> </owl:Thing> </first:parent> </owl:Thing> </rdf:RDF>
first:parent rdf:type owl:ObjectProperty . first:fred rdf:type owl:Thing . _:a rdf:type owl:Thing . _:c rdf:type owl:Thing . _:a first:parent _:c . first:fred first:parent _:a .

7.1.29. `owl:unionOf`

Full	ポジティブ含意テスト:		001
記述:（参考情報）`<unionOf/Manifest001#test>`
和集合はその部分のスーパークラスです。
N3形式は参考情報です。
Full	前提: `<unionOf/premises001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/unionOf/premises001#" xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions001#" xml:base="http://www.w3.org/2002/03owlt/unionOf/premises001" > <rdf:Description rdf:about="premises001#A"> <owl:unionOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises001#Human"/> <rdf:Description rdf:about="premises001#Animal"/> </owl:unionOf> </rdf:Description> <first:Human rdf:about="premises001#John"/> </rdf:RDF>
_:a rdf:first first:Animal . _:a rdf:rest rdf:nil . _:c rdf:first first:Human . _:c rdf:rest _:a . first:A owl:unionOf _:c . first:John rdf:type first:Human .
Full	結論: `<unionOf/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/unionOf/premises001#" xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions001#" xml:base="http://www.w3.org/2002/03owlt/unionOf/conclusions001" > <first:A rdf:about="premises001#John"/> </rdf:RDF>
first:John rdf:type first:A .

Full	ポジティブ含意テスト:		002
記述:（参考情報）`<unionOf/Manifest002#test>`
和集合は集合理論和に極めて似た動作をします。
N3形式は参考情報です。
Full	前提: `<unionOf/premises002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/unionOf/premises002#" xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions002#" xml:base="http://www.w3.org/2002/03owlt/unionOf/premises002" > <rdf:Description rdf:about="premises002#A"> <owl:unionOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises002#Human"/> <rdf:Description rdf:about="premises002#Animal"/> </owl:unionOf> </rdf:Description> <rdf:Description rdf:about="premises002#B"> <owl:unionOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises002#Animal"/> <rdf:Description rdf:about="premises002#Human"/> <rdf:Description rdf:about="premises002#Stone"/> </owl:unionOf> </rdf:Description> <first:A rdf:about="premises002#John"/> </rdf:RDF>
_:a rdf:first first:Animal . _:a rdf:rest rdf:nil . _:c rdf:first first:Human . _:c rdf:rest _:a . first:A owl:unionOf _:c . _:e rdf:first first:Stone . _:e rdf:rest rdf:nil . _:g rdf:first first:Human . _:g rdf:rest _:e . _:i rdf:first first:Animal . _:i rdf:rest _:g . first:B owl:unionOf _:i . first:John rdf:type first:A .
Full	結論: `<unionOf/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/unionOf/premises002#" xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions002#" xml:base="http://www.w3.org/2002/03owlt/unionOf/conclusions002" > <first:B rdf:about="premises002#John"/> </rdf:RDF>
first:John rdf:type first:B .

DL Full	ポジティブ含意テスト:		003
記述:（参考情報）`<unionOf/Manifest003#test>`
適切な外延を持つ集合はunionOfによって関係づけられています。
N3形式は参考情報です。
DL	前提: `<unionOf/premises003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/unionOf/premises003" > <owl:Class rdf:ID="A"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:ID="a"/> </owl:oneOf> </owl:Class> <owl:Class rdf:ID="B"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:ID="b"/> </owl:oneOf> </owl:Class> <owl:Class rdf:ID="A-and-B"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:about="#a"/> <owl:Thing rdf:about="#b"/> </owl:oneOf> </owl:Class> </rdf:RDF>
first:A rdf:type owl:Class . first:a rdf:type owl:Thing . _:a rdf:first first:a . _:a rdf:rest rdf:nil . first:A owl:oneOf _:a . first:B rdf:type owl:Class . first:b rdf:type owl:Thing . _:c rdf:first first:b . _:c rdf:rest rdf:nil . first:B owl:oneOf _:c . first:A-and-B rdf:type owl:Class . first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . _:e rdf:first first:b . _:e rdf:rest rdf:nil . _:g rdf:first first:a . _:g rdf:rest _:e . first:A-and-B owl:oneOf _:g .
DL	結論: `<unionOf/conclusions003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/unionOf/conclusions003" > <owl:Class rdf:about="premises003#A-and-B"> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="premises003#A"/> <owl:Class rdf:about="premises003#B"/> </owl:unionOf> </owl:Class> </rdf:RDF>
first:A-and-B rdf:type owl:Class . first:A rdf:type owl:Class . first:B rdf:type owl:Class . _:a rdf:first first:B . _:a rdf:rest rdf:nil . _:c rdf:first first:A . _:c rdf:rest _:a . first:A-and-B owl:unionOf _:c .

DL Full	ポジティブ含意テスト:		004
記述:（参考情報）`<unionOf/Manifest004#test>`
テスト003の逆。
N3形式は参考情報です。
DL	前提: `<unionOf/premises004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/unionOf/premises004#" xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions004#" xml:base="http://www.w3.org/2002/03owlt/unionOf/premises004" > <owl:Class rdf:about="#A-and-B"> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="#A"/> <owl:Class rdf:about="#B"/> </owl:unionOf> </owl:Class> <owl:Class rdf:ID="A"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:ID="a"/> </owl:oneOf> </owl:Class> <owl:Class rdf:ID="B"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:ID="b"/> </owl:oneOf> </owl:Class> </rdf:RDF>
first:A-and-B rdf:type owl:Class . first:A rdf:type owl:Class . first:B rdf:type owl:Class . _:a rdf:first first:B . _:a rdf:rest rdf:nil . _:c rdf:first first:A . _:c rdf:rest _:a . first:A-and-B owl:unionOf _:c . first:A rdf:type owl:Class . first:a rdf:type owl:Thing . _:e rdf:first first:a . _:e rdf:rest rdf:nil . first:A owl:oneOf _:e . first:B rdf:type owl:Class . first:b rdf:type owl:Thing . _:g rdf:first first:b . _:g rdf:rest rdf:nil . first:B owl:oneOf _:g .
DL	結論: `<unionOf/conclusions004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/unionOf/premises004#" xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions004#" xml:base="http://www.w3.org/2002/03owlt/unionOf/conclusions004" > <owl:Class rdf:about="premises004#A-and-B"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:about="premises004#a"/> <owl:Thing rdf:about="premises004#b"/> </owl:oneOf> </owl:Class> </rdf:RDF>
first:A-and-B rdf:type owl:Class . first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . _:a rdf:first first:b . _:a rdf:rest rdf:nil . _:c rdf:first first:a . _:c rdf:rest _:a . first:A-and-B owl:oneOf _:c .

次へトップ目次索引