Copyright © 2004 W3C® (MIT, ERCIM, Keio), tous droits réservés. Les règles de responsabilité, de marque commerciale, d'utilisation des documents et d'octroi de licences logicielles du W3C s'appliquent.
Sommaire
owl:AllDifferentowl:AnnotationPropertyowl:Classowl:DatatypePropertyowl:FunctionalPropertyowl:InverseFunctionalPropertyowl:Nothingowl:Ontologyowl:Restrictionowl:SymmetricPropertyowl:Thingowl:TransitivePropertyowl:allValuesFromowl:backwardCompatibleWithowl:cardinalityowl:complementOfowl:differentFromowl:disjointWithowl:distinctMembersowl:equivalentClassowl:equivalentPropertyowl:importsowl:intersectionOfowl:inverseOfowl:maxCardinalityowl:oneOfowl:sameAsowl:someValuesFromowl:unionOfowl:AllDifferent| Full | Test d'inférence positive : | 001 | |
|---|---|---|---|
Description : (informatif)
<AllDifferent/Manifest001#test> |
|||
Utiliser AllDifferent pour déduire differentFrom |
|||
| Le format N3 est informatif. | |||
| Full | Prémisses :
<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 | Conclusions :
<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 . |
|||
owl:AnnotationProperty| Lite | Test d'inférence négative : | 001 | |
|---|---|---|---|
Description : (informatif)
<AnnotationProperty/Manifest001#test> |
|||
| La sémantique des annotations, dans la sémantique directe, distingue strictement les annotations à valeur de classe de celles à valeur d'individu. | |||
| Le format N3 est informatif. | |||
| Lite | Prémisses :
<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 | Conclusions :
<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 | Test d'inférence positive : | 002 | |
|---|---|---|---|
Description : (informatif)
<AnnotationProperty/Manifest002#test> |
|||
Pour la sémantique compatible rdfs, la non-inférence précédente
est, en fait, une inférence. |
|||
| Le format N3 est informatif. | |||
| Lite | Prémisses :
<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 | Conclusions :
<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) | Document cohérent. | 003 | |
|---|---|---|---|
Description : (informatif)
<AnnotationProperty/Manifest003#test> |
|||
| Les appels d'adresse URI dans les annotations n'ont pas besoin de typage. | |||
| Le format N3 est informatif. | |||
| Lite | Cohérent :
<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) | Document cohérent. | 004 | |
|---|---|---|---|
Description : (informatif)
<AnnotationProperty/Manifest004#test> |
|||
| La propriété AnnotationProperty, dans OWL Lite et OWL DL, peut ne pas avoir de contraintes d'image. | |||
| Le format N3 est informatif. | |||
| Full | Cohérent :
<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 . |
|||
owl:Class| Full | OWL décrit en langage OWL. | 001 | |
|---|---|---|---|
Description : (informatif)
<Class/Manifest001#test> |
|||
Dans OWL Full, chaque structure rdfs:Class est une structure owl:Class, en particulier rdfs:Class est une structure owl:Class. |
|||
| Le format N3 est informatif. | |||
| Full | Vrai :
<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 | Test d'inférence positive : | 002 | |
|---|---|---|---|
Description : (informatif)
<Class/Manifest002#test> |
|||
| Dans OWL Full, le triplet dans les prémisses est synonyme du triplet dans les conclusions. | |||
| Le format N3 est informatif. | |||
| Full | Prémisses :
<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 | Conclusions :
<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 | Test d'inférence positive : | 003 | |
|---|---|---|---|
Description : (informatif)
<Class/Manifest003#test> |
|||
| Dans OWL Full, le triplet dans les prémisses est synonyme du triplet dans les conclusions. | |||
| Le format N3 est informatif. | |||
| Lite | Prémisses :
<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 | Conclusions :
<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) | Test d'inférence négative : | 004 | |
|---|---|---|---|
Description : (informatif)
<Class/Manifest004#test> |
|||
Les annotations concernant une structure owl:Class ne sont pas apparentées à celles concernant une structure rdfs:Class. |
|||
| Le format N3 est informatif. | |||
| Espaces de nommage : | |||
@prefix dc: <http://purl.org/dc/elements/1.0/> . |
|||
| Full | Prémisses :
<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 | Conclusions :
<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 | Test d'inférence négative : | 005 | |
|---|---|---|---|
Description : (informatif)
<Class/Manifest005#test> |
|||
Ce test montre une possible mauvaise application des règles de compréhension OWL Full. Il montre aussi les triplets de type optionnels sur une structure owl:Class. |
|||
| Le format N3 est informatif. | |||
| Lite | Prémisses :
<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 | Conclusions :
<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 | Test d'inférence positive : | 006 | |
|---|---|---|---|
Description : (informatif)
<Class/Manifest006#test> |
|||
Ce test montre une application correcte des règles de compréhensions OWL Full. Il montre aussi que l'utilisation d'une structure rdfs:Class au lieu de owl:Class peut pousser un fichier hors de OWL DL. |
|||
| Le format N3 est informatif. | |||
| Lite | Prémisses :
<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 | Conclusions :
<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 . |
|||
owl:DatatypeProperty| Full(EC) | Document cohérent. | 001 | |
|---|---|---|---|
Description : (informatif)
<DatatypeProperty/Manifest001#test> |
|||
La propriété DatatypeProperty peut servir à relier des littéraux typés à d'autres littéraux typés dans OWL Full. |
|||
| Le format N3 est informatif. | |||
| Full | Cohérent :
<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 . |
|||
owl:FunctionalProperty| Full | Test d'inférence positive : | 001 | |
|---|---|---|---|
Description : (informatif)
<FunctionalProperty/Manifest001#test> |
|||
Si propappartient à une structure owl:FunctionalProperty et que subjectdénote une ressource qui est sujet de deux triplets prop, alors les objets de ces triplets ont la même dénotation. |
|||
| Le format N3 est informatif. | |||
| Full | Prémisses :
<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 | Conclusions :
<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 | Test d'inférence positive : | 002 | |
|---|---|---|---|
Description : (informatif)
<FunctionalProperty/Manifest002#test> |
|||
Si propappartient à la structure owl:FunctionalProperty et que subjectdénote une ressource qui est le sujet de deux triplets prop, alors ces triplets ont la même dénotation. Donc toute assertion faite avec l'un d'eux peut s'appliquer à l'autre. |
|||
| Le format N3 est informatif. | |||
| Espaces de nommage : | |||
@prefix eg: <http://www.example.org/> . |
|||
| Full | Prémisses :
<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 | Conclusions :
<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 | Test d'inférence positive : | 003 | |
|---|---|---|---|
Description : (informatif)
<FunctionalProperty/Manifest003#test> |
|||
Si propest du type owl:FunctionalProperty, alors sa réciproque est du type owl:InverseFunctionalProperty. |
|||
| Le format N3 est informatif. | |||
| Full | Prémisses :
<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 | Conclusions :
<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 | Test d'inférence positive : | 004 | |
|---|---|---|---|
Description : (informatif)
<FunctionalProperty/Manifest004#test> |
|||
Si l'image de propest un singleton, alors cette propriété est forcément fonctionnelle, (c'est-à-dire, chaque membre de son domaine a une seule valeur) et elle est donc du type owl:FunctionalProperty. |
|||
| Le format N3 est informatif. | |||
| Full | Prémisses :
<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 | Conclusions :
<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 | Test d'inférence positive : | 005 | |
|---|---|---|---|
Description : (informatif)
<FunctionalProperty/Manifest005#test> |
|||
Si propest du type owl:FunctionalProperty, alors un individu OWL a une valeur au plus pour prop. |
|||
| Le format N3 est informatif. | |||
| Espaces de nommage : | |||
@prefix eg: <http://www.example.org/> . |
|||
| Full | Prémisses :
<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 | Conclusions :
<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 . |
|||
owl:InverseFunctionalProperty| Full | Test d'inférence positive : | 001 | |
|---|---|---|---|
Description : (informatif)
<InverseFunctionalProperty/Manifest001#test> |
|||
Si propest du type owl:InverseFunctionalProperty et objectdénote une ressource qui est l'objet de deux triplets prop, alors les sujets de ces triplets ont la même dénotation. |
|||
| Le format N3 est informatif. | |||
| Full | Prémisses :
<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 | Conclusions :
<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 | Test d'inférence positive : | 002 | |
|---|---|---|---|
Description : (informatif)
<InverseFunctionalProperty/Manifest002#test> |
|||
Si propest du type owl:InverseFunctionalProperty et objectdénote une ressource qui est l'objet de deux triplets prop, alors les sujets de ces triplets ont la même dénotation. Donc toute assertion faite avec l'un deux peut s'appliquer à l'autre. |
|||
| Le format N3 est informatif. | |||
| Espaces de nommage : | |||
@prefix eg: <http://www.example.org/> . |
|||
| Full | Prémisses :
<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 | Conclusions :
<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 | Test d'inférence positive : | 003 | |
|---|---|---|---|
Description : (informatif)
<InverseFunctionalProperty/Manifest003#test> |
|||
Si propest du type owl:InverseFunctionalProperty, alors sa réciproque est du type owl:FunctionalPropertyIf. |
|||
| Le format N3 est informatif. | |||
| Full | Prémisses :
<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 | Conclusions :
<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 | Test d'inférence positive : | 004 | |
|---|---|---|---|
Description : (informatif)
<InverseFunctionalProperty/Manifest004#test> |
|||
Si le domaine de propest un singleton, alors cette propriété est forcément fonctionnelle réciproque (c'est-à-dire, chaque membre de son image est la valeur d'un seul élément) et elle est donc du type owl:InverseFunctionalProperty. |
|||
| Le format N3 est informatif. | |||
| Full | Prémisses :
<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 | Conclusions :
<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 . |
|||
owl:Nothing| Lite Full | Document incohérent. | 001 | |
|---|---|---|---|
Description : (informatif)
<Nothing/Manifest001#test> |
|||
Le triplet fait valoir quelque chose de type owl:Nothing, c'est néanmoins la classe vide. |
|||
| Le format N3 est informatif. | |||
| Lite | Incohérent :
<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 décrit en langage OWL. | 002 | |
|---|---|---|---|
Description : (informatif)
<Nothing/Manifest002#test> |
|||
Une structure owl:Class vide a la même extension de classe que la structure owl:Nothing. |
|||
| Le format N3 est informatif. | |||
| DL | Vrai :
<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 . |
|||
owl:Ontology| Lite Full | Test d'inférence positive : | 001 | |
|---|---|---|---|
Description : (informatif)
<Ontology/Manifest001#test> |
|||
C'est une variation du test equivalentClass-001 montrant l'utilisation de triplets owl:Ontology dans les prémisses et les conclusions. |
|||
| Le format N3 est informatif. | |||
| Lite | Prémisses :
<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 | Conclusions :
<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 | Test d'inférence négative : | 003 | |
|---|---|---|---|
Description : (informatif)
<Ontology/Manifest003#test> |
|||
C'est une variation du test equivalentClass-001 montrant l'utilisation de triplets owl:Ontology seulement dans les conclusions. |
|||
| Le format N3 est informatif. | |||
| Lite | Prémisses :
<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 | Conclusions :
<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 | Test d'inférence positive : | 004 | |
|---|---|---|---|
Description : (informatif)
<Ontology/Manifest004#test> |
|||
C'est une variation du test equivalentClass-001 montrant l'utilisation de triplets owl:Ontology dans les prémisses. |
|||
| Le format N3 est informatif. | |||
| Lite | Prémisses :
<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 | Conclusions :
<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 . |
|||
owl:Restriction| Lite Full | Document incohérent. | 001 | |
|---|---|---|---|
Description : (informatif)
<Restriction/Manifest001#test> |
|||
| Ce test montre la syntaxe pour utiliser deux fois la même restriction dans OWL Lite. | |||
| Le format N3 est informatif. | |||
| Lite | Incohérent :
<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 | Document incohérent. | 002 | |
|---|---|---|---|
Description : (informatif)
<Restriction/Manifest002#test> |
|||
| Ce test montre la syntaxe interdite dans OWL Lite ou OWL DL pour utiliser deux fois la même restriction. | |||
| Le format N3 est informatif. | |||
| Full | Incohérent :
<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) | Document cohérent. | 003 | |
|---|---|---|---|
Description : (informatif)
<Restriction/Manifest003#test> |
|||
| Ce test montre la syntaxe interdite dans OWL Lite ou OWL DL pour utiliser deux fois la même restriction. | |||
| Les types de données à gérer ou non : | xsd:byte | ||
| Le format N3 est informatif. | |||
| Full | Cohérent :
<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 | Document cohérent. | 004 | |
|---|---|---|---|
Description : (informatif)
<Restriction/Manifest004#test> |
|||
| Ce test montre la syntaxe OWL Lite afin d'utiliser deux restrictions équivalentes. | |||
| Les types de données à gérer ou non : | xsd:byte | ||
| Le format N3 est informatif. | |||
| Lite | Cohérent :
<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 | Test d'inférence négative : | 005 | |
|---|---|---|---|
Description : (informatif)
<Restriction/Manifest005#test> |
|||
Ce test montre une possible mauvaise application des règles de compréhension OWL Full. Il montre aussi les triplets de type optionnels sur une structure owl:Restriction. |
|||
| Le format N3 est informatif. | |||
| Lite | Prémisses :
<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 | Conclusions :
<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 | Test d'inférence positive : | 006 | |
|---|---|---|---|
Description : (informatif)
<Restriction/Manifest006#test> |
|||
Ce test montre une application correcte des règles de compréhension OWL Full. Il montre aussi que les triplets de type optionnels sur une structure owl:Restriction ne remplacent pas ceux qui sont obligatoires. |
|||
| Le format N3 est informatif. | |||
| Lite | Prémisses :
<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 | Conclusions :
<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 . |
|||
owl:SymmetricProperty| Full | Test d'inférence positive : | 001 | |
|---|---|---|---|
Description : (informatif)
<SymmetricProperty/Manifest001#test> |
|||
| Une illustration simple des propriétés symétriques. | |||
| Le format N3 est informatif. | |||
| Full | Prémisses :
<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 | Conclusions :
<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 | Test d'inférence positive : | 002 | |
|---|---|---|---|
Description : (informatif)
<SymmetricProperty/Manifest002#test> |
|||
Un test illustrant la sémantique extensionnelle de la structure owl:SymmetricProperty. |
|||
| Le format N3 est informatif. | |||
| DL | Prémisses :
<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 | Conclusions :
<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 | Test d'inférence positive : | 003 | |
|---|---|---|---|
Description : (informatif)
<SymmetricProperty/Manifest003#test> |
|||
| Une version OWL Lite du test 001. | |||
| Le format N3 est informatif. | |||
| Lite | Prémisses :
<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 | Conclusions :
<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 . |
|||
owl:Thing| Lite Full | Document incohérent. | 003 | |
|---|---|---|---|
Description : (informatif)
<Thing/Manifest003#test> |
|||
L'extension de la classe owl:Thing peut ne pas être vide. |
|||
| Le format N3 est informatif. | |||
| Lite | Incohérent :
<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 | Document cohérent. | 004 | |
|---|---|---|---|
Description : (informatif)
<Thing/Manifest004#test> |
|||
L'extension de la classe owl:Thing peut être un singleton dans OWL DL. |
|||
| Le format N3 est informatif. | |||
| DL | Cohérent :
<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 | Document incohérent. | 005 | |
|---|---|---|---|
Description : (informatif)
<Thing/Manifest005#test>< | |||