consistent503.rdf

来自「jena2.5.4推理机系统的一种最基本实现 HP实验室出品」· RDF 代码 · 共 569 行 · 第 1/2 页

<!--++ description-logic/consistent503.rdf ** generated using webont test editor. ++-->
<!--++ Created 16 May 2003 06:26:39 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: consistent503.rdf,v 1.3 2003/05/16 08:51:18 jcarroll Exp $
-->
<!--
This is a different encoding of <a href="#description-logic-501">test 501</a>.
-->
<!-- Author: Ian Horrocks -->
<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/description-logic/consistent503#"
    xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent503" >

 <first:Test />
 <owl:Class rdf:about='#plus1'>
  <owl:disjointWith>
   <owl:Class rdf:about='#minus1'/>
  </owl:disjointWith>
 </owl:Class>
 <owl:Class rdf:about='#plus2'>
  <owl:disjointWith>
   <owl:Class rdf:about='#minus2'/>
  </owl:disjointWith>
 </owl:Class>
 <owl:Class rdf:about='#plus3'>
  <owl:disjointWith>
   <owl:Class rdf:about='#minus3'/>
  </owl:disjointWith>
 </owl:Class>
 <owl:Class rdf:about='#plus4'>
  <owl:disjointWith>
   <owl:Class rdf:about='#minus4'/>
  </owl:disjointWith>
 </owl:Class>
 <owl:Class rdf:about='#plus5'>
  <owl:disjointWith>
   <owl:Class rdf:about='#minus5'/>
  </owl:disjointWith>
 </owl:Class>
 <owl:Class rdf:about='#plus6'>
  <owl:disjointWith>
   <owl:Class rdf:about='#minus6'/>
  </owl:disjointWith>
 </owl:Class>
 <owl:Class rdf:about='#plus7'>
  <owl:disjointWith>
   <owl:Class rdf:about='#minus7'/>
  </owl:disjointWith>
 </owl:Class>
 <owl:Class rdf:about='#plus8'>
  <owl:disjointWith>
   <owl:Class rdf:about='#minus8'/>
  </owl:disjointWith>
 </owl:Class>
 <owl:Class rdf:about='#plus9'>
  <owl:disjointWith>
   <owl:Class rdf:about='#minus9'/>
  </owl:disjointWith>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#plus7'/>
     <rdf:Description rdf:about='#minus9'/>
     <rdf:Description rdf:about='#minus8'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#plus1'/>
     <rdf:Description rdf:about='#plus2'/>
     <rdf:Description rdf:about='#minus8'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#plus4'/>
     <rdf:Description rdf:about='#plus7'/>
     <rdf:Description rdf:about='#minus5'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#plus2'/>
     <rdf:Description rdf:about='#plus3'/>
     <rdf:Description rdf:about='#minus1'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#minus1'/>
     <rdf:Description rdf:about='#plus5'/>
     <rdf:Description rdf:about='#plus8'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#minus8'/>
     <rdf:Description rdf:about='#minus6'/>
     <rdf:Description rdf:about='#minus3'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#minus3'/>
     <rdf:Description rdf:about='#minus8'/>
     <rdf:Description rdf:about='#plus7'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#minus3'/>
     <rdf:Description rdf:about='#plus6'/>
     <rdf:Description rdf:about='#plus8'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#minus4'/>
     <rdf:Description rdf:about='#minus6'/>
     <rdf:Description rdf:about='#plus8'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#plus6'/>
     <rdf:Description rdf:about='#plus7'/>
     <rdf:Description rdf:about='#plus3'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#plus3'/>
     <rdf:Description rdf:about='#plus6'/>
     <rdf:Description rdf:about='#minus9'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#minus5'/>
     <rdf:Description rdf:about='#minus2'/>
     <rdf:Description rdf:about='#plus3'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#plus5'/>
     <rdf:Description rdf:about='#plus8'/>
     <rdf:Description rdf:about='#plus2'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#minus2'/>
     <rdf:Description rdf:about='#minus7'/>
     <rdf:Description rdf:about='#minus3'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#minus6'/>
     <rdf:Description rdf:about='#minus8'/>
     <rdf:Description rdf:about='#minus5'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#plus2'/>
     <rdf:Description rdf:about='#plus7'/>
     <rdf:Description rdf:about='#minus3'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#plus9'/>
     <rdf:Description rdf:about='#minus1'/>
     <rdf:Description rdf:about='#minus2'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#plus1'/>
     <rdf:Description rdf:about='#plus7'/>
     <rdf:Description rdf:about='#minus6'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#plus1'/>
     <rdf:Description rdf:about='#plus9'/>
     <rdf:Description rdf:about='#minus3'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about='#Test'>
  <rdfs:subClassOf>
   <owl:Class>
    <owl:unionOf rdf:parseType='Collection'>
     <rdf:Description rdf:about='#minus8'/>