jena-core/testing/wg/description-logic/consistent501.rdf

<!--++ description-logic/consistent501.rdf ** generated using webont test editor. ++-->
<!--++ Created 27 Feb 2003 21:48:03 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: consistent501.rdf,v 1.5 2003-12-05 05:06:37 jeremy_carroll Exp $
-->
<!--
<pre>
c genAlea with seed 1366722535
p cnf 9 45
7 -9 -8 0
1 2 -8 0
4 7 -5 0
2 3 -1 0
-1 5 8 0
-8 -6 -3 0
-3 -8 7 0
-3 6 8 0
-4 -6 8 0
6 7 3 0
3 6 -9 0
-5 -2 3 0
5 8 2 0
-2 -7 -3 0
-6 -8 -5 0
2 7 -3 0
9 -1 -2 0
1 7 -6 0
1 9 -3 0
-8 -9 -2 0
-9 -8 2 0
5 8 4 0
-7 2 5 0
-1 7 -4 0
7 -8 4 0
-3 2 -6 0
1 -2 -9 0
7 3 -2 0
-7 8 4 0
1 -7 -5 0
-5 4 -3 0
6 7 -1 0
-1 7 -9 0
3 2 6 0
8 3 -7 0
-1 9 -8 0
5 -9 -7 0
-7 3 -9 0
3 -1 -2 0
6 1 4 0
6 -7 5 0
8 -6 3 0
5 -2 6 0
8 3 -5 0
-2 -4 -9 0
</pre>
-->
<!-- Author: Jeremy J. Carroll -->
<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/description-logic/consistent501" >

<owl:Class rdf:ID='TorF'> 
  <owl:oneOf rdf:parseType='Collection'>
     <owl:Thing rdf:ID='T'>
        <owl:differentFrom rdf:resource='#F'/>
     </owl:Thing>
     <owl:Thing rdf:ID='F'/>
  </owl:oneOf>
  <owl:oneOf rdf:parseType='Collection'>
     <owl:Thing rdf:about='#plus1'/>
     <owl:Thing rdf:about='#minus1'/>
  </owl:oneOf>
  <owl:oneOf rdf:parseType='Collection'>
     <owl:Thing rdf:about='#plus2'/>
     <owl:Thing rdf:about='#minus2'/>
  </owl:oneOf>
  <owl:oneOf rdf:parseType='Collection'>
     <owl:Thing rdf:about='#plus3'/>
     <owl:Thing rdf:about='#minus3'/>
  </owl:oneOf>
  <owl:oneOf rdf:parseType='Collection'>
     <owl:Thing rdf:about='#plus4'/>
     <owl:Thing rdf:about='#minus4'/>
  </owl:oneOf>
  <owl:oneOf rdf:parseType='Collection'>
     <owl:Thing rdf:about='#plus5'/>
     <owl:Thing rdf:about='#minus5'/>
  </owl:oneOf>
  <owl:oneOf rdf:parseType='Collection'>
     <owl:Thing rdf:about='#plus6'/>
     <owl:Thing rdf:about='#minus6'/>
  </owl:oneOf>
  <owl:oneOf rdf:parseType='Collection'>
     <owl:Thing rdf:about='#plus7'/>
     <owl:Thing rdf:about='#minus7'/>
  </owl:oneOf>
  <owl:oneOf rdf:parseType='Collection'>
     <owl:Thing rdf:about='#plus8'/>
     <owl:Thing rdf:about='#minus8'/>
  </owl:oneOf>
  <owl:oneOf rdf:parseType='Collection'>
     <owl:Thing rdf:about='#plus9'/>
     <owl:Thing rdf:about='#minus9'/>
  </owl:oneOf>
</owl:Class>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus7'/>
            <rdf:Description rdf:about='#minus9'/>
            <rdf:Description rdf:about='#minus8'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus1'/>
            <rdf:Description rdf:about='#plus2'/>
            <rdf:Description rdf:about='#minus8'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus4'/>
            <rdf:Description rdf:about='#plus7'/>
            <rdf:Description rdf:about='#minus5'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus2'/>
            <rdf:Description rdf:about='#plus3'/>
            <rdf:Description rdf:about='#minus1'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus1'/>
            <rdf:Description rdf:about='#plus5'/>
            <rdf:Description rdf:about='#plus8'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus8'/>
            <rdf:Description rdf:about='#minus6'/>
            <rdf:Description rdf:about='#minus3'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus3'/>
            <rdf:Description rdf:about='#minus8'/>
            <rdf:Description rdf:about='#plus7'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus3'/>
            <rdf:Description rdf:about='#plus6'/>
            <rdf:Description rdf:about='#plus8'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus4'/>
            <rdf:Description rdf:about='#minus6'/>
            <rdf:Description rdf:about='#plus8'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus6'/>
            <rdf:Description rdf:about='#plus7'/>
            <rdf:Description rdf:about='#plus3'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus3'/>
            <rdf:Description rdf:about='#plus6'/>
            <rdf:Description rdf:about='#minus9'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus5'/>
            <rdf:Description rdf:about='#minus2'/>
            <rdf:Description rdf:about='#plus3'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus5'/>
            <rdf:Description rdf:about='#plus8'/>
            <rdf:Description rdf:about='#plus2'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus2'/>
            <rdf:Description rdf:about='#minus7'/>
            <rdf:Description rdf:about='#minus3'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus6'/>
            <rdf:Description rdf:about='#minus8'/>
            <rdf:Description rdf:about='#minus5'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus2'/>
            <rdf:Description rdf:about='#plus7'/>
            <rdf:Description rdf:about='#minus3'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus9'/>
            <rdf:Description rdf:about='#minus1'/>
            <rdf:Description rdf:about='#minus2'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus1'/>
            <rdf:Description rdf:about='#plus7'/>
            <rdf:Description rdf:about='#minus6'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus1'/>
            <rdf:Description rdf:about='#plus9'/>
            <rdf:Description rdf:about='#minus3'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus8'/>
            <rdf:Description rdf:about='#minus9'/>
            <rdf:Description rdf:about='#minus2'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus9'/>
            <rdf:Description rdf:about='#minus8'/>
            <rdf:Description rdf:about='#plus2'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus5'/>
            <rdf:Description rdf:about='#plus8'/>
            <rdf:Description rdf:about='#plus4'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus7'/>
            <rdf:Description rdf:about='#plus2'/>
            <rdf:Description rdf:about='#plus5'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus1'/>
            <rdf:Description rdf:about='#plus7'/>
            <rdf:Description rdf:about='#minus4'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus7'/>
            <rdf:Description rdf:about='#minus8'/>
            <rdf:Description rdf:about='#plus4'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus3'/>
            <rdf:Description rdf:about='#plus2'/>
            <rdf:Description rdf:about='#minus6'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus1'/>
            <rdf:Description rdf:about='#minus2'/>
            <rdf:Description rdf:about='#minus9'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus7'/>
            <rdf:Description rdf:about='#plus3'/>
            <rdf:Description rdf:about='#minus2'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus7'/>
            <rdf:Description rdf:about='#plus8'/>
            <rdf:Description rdf:about='#plus4'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus1'/>
            <rdf:Description rdf:about='#minus7'/>
            <rdf:Description rdf:about='#minus5'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus5'/>
            <rdf:Description rdf:about='#plus4'/>
            <rdf:Description rdf:about='#minus3'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus6'/>
            <rdf:Description rdf:about='#plus7'/>
            <rdf:Description rdf:about='#minus1'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus1'/>
            <rdf:Description rdf:about='#plus7'/>
            <rdf:Description rdf:about='#minus9'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus3'/>
            <rdf:Description rdf:about='#plus2'/>
            <rdf:Description rdf:about='#plus6'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus8'/>
            <rdf:Description rdf:about='#plus3'/>
            <rdf:Description rdf:about='#minus7'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus1'/>
            <rdf:Description rdf:about='#plus9'/>
            <rdf:Description rdf:about='#minus8'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus5'/>
            <rdf:Description rdf:about='#minus9'/>
            <rdf:Description rdf:about='#minus7'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus7'/>
            <rdf:Description rdf:about='#plus3'/>
            <rdf:Description rdf:about='#minus9'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus3'/>
            <rdf:Description rdf:about='#minus1'/>
            <rdf:Description rdf:about='#minus2'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus6'/>
            <rdf:Description rdf:about='#plus1'/>
            <rdf:Description rdf:about='#plus4'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus6'/>
            <rdf:Description rdf:about='#minus7'/>
            <rdf:Description rdf:about='#plus5'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus8'/>
            <rdf:Description rdf:about='#minus6'/>
            <rdf:Description rdf:about='#plus3'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus5'/>
            <rdf:Description rdf:about='#minus2'/>
            <rdf:Description rdf:about='#plus6'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#plus8'/>
            <rdf:Description rdf:about='#plus3'/>
            <rdf:Description rdf:about='#minus5'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>
<rdf:Description rdf:about='#T'>
   <rdf:type>
      <owl:Class>
        <owl:oneOf rdf:parseType='Collection'>
            <rdf:Description rdf:about='#minus2'/>
            <rdf:Description rdf:about='#minus4'/>
            <rdf:Description rdf:about='#minus9'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>

</rdf:RDF>