前へ 次へ トップ 目次 索引

OWLウェブ・オントロジー言語
テストケース
7.4.4. アノテーション

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

目次

7.4.4. アノテーション

これらのテストはアノテーションのセマンティクスに関係があります。

Full (EC) ネガティブ含意テスト:301
記述:（参考情報） <miscellaneous/Manifest301#test>
アノテーションはセマンティクスに少し関与しています。
N3形式は参考情報です。
Full前提: <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" .
Full結論: <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" .

Lite Full ネガティブ含意テスト:302
記述:（参考情報） <miscellaneous/Manifest302#test>
アノテーションはセマンティクスに少し関与しています。
N3形式は参考情報です。
Lite前提: <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" .
Lite結論: <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" .

Lite Full 整合性があるドキュメント。303
記述:（参考情報） <miscellaneous/Manifest303#test>
dc:creatorはアノテーション・プロパティーとして宣言できます。
N3形式は参考情報です。
Lite整合: <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 .

前へ 次へ トップ目次 索引