previous next top contents index

OWL Web Ontology Language
Test Cases
C.4.3. Annotations


Contents


C.4.3. Annotations

These tests concern the semantics of annotations.

FullNegative Entailment Test:301
Description: (informative) <miscellaneous/Manifest301#test>
Annotations participate a little in the semantics.
N3 format is informative.
FullPremises: <miscellaneous/premises301>
<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/miscellaneous/premises301#"
    xml:base="http://www.w3.org/2002/03owlt/miscellaneous/premises301" >

<owl:Thing rdf:about="#a">
   <first:prop>foo</first:prop>
</owl:Thing>

</rdf:RDF>
first:a rdf:type owl:Thing .
first:a first:prop "foo" .
FullConclusions: <miscellaneous/nonconclusions301>
<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/miscellaneous/premises301#"
    xml:base="http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions301" >

<owl:Thing rdf:about="premises301#a">
   <first:prop>bar</first:prop>
</owl:Thing>

</rdf:RDF>
first:a rdf:type owl:Thing .
first:a first:prop "bar" .

LiteNegative Entailment Test:302
Description: (informative) <miscellaneous/Manifest302#test>
Annotations participate a little in the semantics.
N3 format is informative.
LitePremises: <miscellaneous/premises302>
<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/miscellaneous/premises302#"
    xml:base="http://www.w3.org/2002/03owlt/miscellaneous/premises302" >

<owl:AnnotationProperty rdf:ID="prop" />
<owl:Thing rdf:about="#a">
   <first:prop>foo</first:prop>
</owl:Thing>

</rdf:RDF>
first:prop rdf:type owl:AnnotationProperty .
first:a rdf:type owl:Thing .
first:a first:prop "foo" .
LiteConclusions: <miscellaneous/nonconclusions302>
<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/miscellaneous/premises302#"
    xml:base="http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions302" >

<owl:AnnotationProperty rdf:about="premises302#prop" />

<owl:Thing rdf:about="premises302#a">
   <first:prop>bar</first:prop>
</owl:Thing>

</rdf:RDF>
first:prop rdf:type owl:AnnotationProperty .
first:a rdf:type owl:Thing .
first:a first:prop "bar" .

LiteConsistent document.303
Description: (informative) <miscellaneous/Manifest303#test>
dc:creator may be declared as an annotation property.
N3 format is informative.
LiteConsistent: <miscellaneous/consistent303>
<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/miscellaneous/consistent303" >

  <owl:AnnotationProperty rdf:about='http://purl.org/dc/elements/1.0/creator'/>

</rdf:RDF>
<http://purl.org/dc/elements/1.0/creator> rdf:type owl:AnnotationProperty .


previous next top contents index