premises002.rdf

来自「Jena推理机」· RDF 代码 · 共 45 行

<!--++ TransitiveProperty/premises002.rdf ** generated using webont test editor. ++-->
<!--++ Created 22 Sep 2003 07:00:18 GMT ++-->
<!--
  Copyright World Wide Web Consortium, (Massachusetts Institute of
  Technology, European Research Consortium for Informatics and
  Mathematics, Keio University).

  All Rights Reserved.

  Please see the full Copyright clause at
  <http://www.w3.org/Consortium/Legal/copyright-software.html>

  $Id: premises002.rdf,v 1.3 2003/12/05 05:09:33 jeremy_carroll Exp $
-->
<!--
Test illustrating extensional semantics of <code>owl:TransitiveProperty</code>.
-->
<!-- Author: Jeremy J. Carroll -->
<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>