previous next top contents index

OWL Web Ontology Language
Test Cases
C.3.3. The 3 SAT Problem


Contents


C.3.3. The 3 SAT Problem

These tests show how the classic 3 SAT problem can be encoded in OWL DL. The comment before each test gives the 3 SAT problem in the [DIMACS] format.

DL FullConsistent document.501
Description: (informative) <description-logic/Manifest501#test>
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
N3 format is informative.
DLConsistent: <description-logic/consistent501>
<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>
first:TorF rdf:type owl:Class .
first:T rdf:type owl:Thing .
first:T owl:differentFrom first:F .
first:F rdf:type owl:Thing .
_:a rdf:first first:F .
_:a rdf:rest rdf:nil .
_:c rdf:first first:T .
_:c rdf:rest _:a .
first:TorF owl:oneOf _:c .
first:plus1 rdf:type owl:Thing .
first:minus1 rdf:type owl:Thing .
_:e rdf:first first:minus1 .
_:e rdf:rest rdf:nil .
_:g rdf:first first:plus1 .
_:g rdf:rest _:e .
first:TorF owl:oneOf _:g .
first:plus2 rdf:type owl:Thing .
first:minus2 rdf:type owl:Thing .
_:i rdf:first first:minus2 .
_:i rdf:rest rdf:nil .
_:k rdf:first first:plus2 .
_:k rdf:rest _:i .
first:TorF owl:oneOf _:k .
first:plus3 rdf:type owl:Thing .
first:minus3 rdf:type owl:Thing .
_:m rdf:first first:minus3 .
_:m rdf:rest rdf:nil .
_:o rdf:first first:plus3 .
_:o rdf:rest _:m .
first:TorF owl:oneOf _:o .
first:plus4 rdf:type owl:Thing .
first:minus4 rdf:type owl:Thing .
_:q rdf:first first:minus4 .
_:q rdf:rest rdf:nil .
_:s rdf:first first:plus4 .
_:s rdf:rest _:q .
first:TorF owl:oneOf _:s .
first:plus5 rdf:type owl:Thing .
first:minus5 rdf:type owl:Thing .
_:u rdf:first first:minus5 .
_:u rdf:rest rdf:nil .
_:w rdf:first first:plus5 .
_:w rdf:rest _:u .
first:TorF owl:oneOf _:w .
first:plus6 rdf:type owl:Thing .
first:minus6 rdf:type owl:Thing .
_:y rdf:first first:minus6 .
_:y rdf:rest rdf:nil .
_:a1 rdf:first first:plus6 .
_:a1 rdf:rest _:y .
first:TorF owl:oneOf _:a1 .
first:plus7 rdf:type owl:Thing .
first:minus7 rdf:type owl:Thing .
_:c1 rdf:first first:minus7 .
_:c1 rdf:rest rdf:nil .
_:e1 rdf:first first:plus7 .
_:e1 rdf:rest _:c1 .
first:TorF owl:oneOf _:e1 .
first:plus8 rdf:type owl:Thing .
first:minus8 rdf:type owl:Thing .
_:g1 rdf:first first:minus8 .
_:g1 rdf:rest rdf:nil .
_:i1 rdf:first first:plus8 .
_:i1 rdf:rest _:g1 .
first:TorF owl:oneOf _:i1 .
first:plus9 rdf:type owl:Thing .
first:minus9 rdf:type owl:Thing .
_:k1 rdf:first first:minus9 .
_:k1 rdf:rest rdf:nil .
_:m1 rdf:first first:plus9 .
_:m1 rdf:rest _:k1 .
first:TorF owl:oneOf _:m1 .
_:o1 rdf:type owl:Class .
_:q1 rdf:first first:minus8 .
_:q1 rdf:rest rdf:nil .
_:s1 rdf:first first:minus9 .
_:s1 rdf:rest _:q1 .
_:u1 rdf:first first:plus7 .
_:u1 rdf:rest _:s1 .
_:o1 owl:oneOf _:u1 .
first:T rdf:type _:o1 .
_:w1 rdf:type owl:Class .
_:y1 rdf:first first:minus8 .
_:y1 rdf:rest rdf:nil .
_:a2 rdf:first first:plus2 .
_:a2 rdf:rest _:y1 .
_:c2 rdf:first first:plus1 .
_:c2 rdf:rest _:a2 .
_:w1 owl:oneOf _:c2 .
first:T rdf:type _:w1 .
_:e2 rdf:type owl:Class .
_:g2 rdf:first first:minus5 .
_:g2 rdf:rest rdf:nil .
_:i2 rdf:first first:plus7 .
_:i2 rdf:rest _:g2 .
_:k2 rdf:first first:plus4 .
_:k2 rdf:rest _:i2 .
_:e2 owl:oneOf _:k2 .
first:T rdf:type _:e2 .
_:m2 rdf:type owl:Class .
_:o2 rdf:first first:minus1 .
_:o2 rdf:rest rdf:nil .
_:q2 rdf:first first:plus3 .
_:q2 rdf:rest _:o2 .
_:s2 rdf:first first:plus2 .
_:s2 rdf:rest _:q2 .
_:m2 owl:oneOf _:s2 .
first:T rdf:type _:m2 .
_:u2 rdf:type owl:Class .
_:w2 rdf:first first:plus8 .
_:w2 rdf:rest rdf:nil .
_:y2 rdf:first first:plus5 .
_:y2 rdf:rest _:w2 .
_:a3 rdf:first first:minus1 .
_:a3 rdf:rest _:y2 .
_:u2 owl:oneOf _:a3 .
first:T rdf:type _:u2 .
_:c3 rdf:type owl:Class .
_:e3 rdf:first first:minus3 .
_:e3 rdf:rest rdf:nil .
_:g3 rdf:first first:minus6 .
_:g3 rdf:rest _:e3 .
_:i3 rdf:first first:minus8 .
_:i3 rdf:rest _:g3 .
_:c3 owl:oneOf _:i3 .
first:T rdf:type _:c3 .
_:k3 rdf:type owl:Class .
_:m3 rdf:first first:plus7 .
_:m3 rdf:rest rdf:nil .
_:o3 rdf:first first:minus8 .
_:o3 rdf:rest _:m3 .
_:q3 rdf:first first:minus3 .
_:q3 rdf:rest _:o3 .
_:k3 owl:oneOf _:q3 .
first:T rdf:type _:k3 .
_:s3 rdf:type owl:Class .
_:u3 rdf:first first:plus8 .
_:u3 rdf:rest rdf:nil .
_:w3 rdf:first first:plus6 .
_:w3 rdf:rest _:u3 .
_:y3 rdf:first first:minus3 .
_:y3 rdf:rest _:w3 .
_:s3 owl:oneOf _:y3 .
first:T rdf:type _:s3 .
_:a4 rdf:type owl:Class .
_:c4 rdf:first first:plus8 .
_:c4 rdf:rest rdf:nil .
_:e4 rdf:first first:minus6 .
_:e4 rdf:rest _:c4 .
_:g4 rdf:first first:minus4 .
_:g4 rdf:rest _:e4 .
_:a4 owl:oneOf _:g4 .
first:T rdf:type _:a4 .
_:i4 rdf:type owl:Class .
_:k4 rdf:first first:plus3 .
_:k4 rdf:rest rdf:nil .
_:m4 rdf:first first:plus7 .
_:m4 rdf:rest _:k4 .
_:o4 rdf:first first:plus6 .
_:o4 rdf:rest _:m4 .
_:i4 owl:oneOf _:o4 .
first:T rdf:type _:i4 .
_:q4 rdf:type owl:Class .
_:s4 rdf:first first:minus9 .
_:s4 rdf:rest rdf:nil .
_:u4 rdf:first first:plus6 .
_:u4 rdf:rest _:s4 .
_:w4 rdf:first first:plus3 .
_:w4 rdf:rest _:u4 .
_:q4 owl:oneOf _:w4 .
first:T rdf:type _:q4 .
_:y4 rdf:type owl:Class .
_:a5 rdf:first first:plus3 .
_:a5 rdf:rest rdf:nil .
_:c5 rdf:first first:minus2 .
_:c5 rdf:rest _:a5 .
_:e5 rdf:first first:minus5 .
_:e5 rdf:rest _:c5 .
_:y4 owl:oneOf _:e5 .
first:T rdf:type _:y4 .
_:g5 rdf:type owl:Class .
_:i5 rdf:first first:plus2 .
_:i5 rdf:rest rdf:nil .
_:k5 rdf:first first:plus8 .
_:k5 rdf:rest _:i5 .
_:m5 rdf:first first:plus5 .
_:m5 rdf:rest _:k5 .
_:g5 owl:oneOf _:m5 .
first:T rdf:type _:g5 .
_:o5 rdf:type owl:Class .
_:q5 rdf:first first:minus3 .
_:q5 rdf:rest rdf:nil .
_:s5 rdf:first first:minus7 .
_:s5 rdf:rest _:q5 .
_:u5 rdf:first first:minus2 .
_:u5 rdf:rest _:s5 .
_:o5 owl:oneOf _:u5 .
first:T rdf:type _:o5 .
_:w5 rdf:type owl:Class .
_:y5 rdf:first first:minus5 .
_:y5 rdf:rest rdf:nil .
_:a6 rdf:first first:minus8 .
_:a6 rdf:rest _:y5 .
_:c6 rdf:first first:minus6 .
_:c6 rdf:rest _:a6 .
_:w5 owl:oneOf _:c6 .
first:T rdf:type _:w5 .
_:e6 rdf:type owl:Class .
_:g6 rdf:first first:minus3 .
_:g6 rdf:rest rdf:nil .
_:i6 rdf:first first:plus7 .
_:i6 rdf:rest _:g6 .
_:k6 rdf:first first:plus2 .
_:k6 rdf:rest _:i6 .
_:e6 owl:oneOf _:k6 .
first:T rdf:type _:e6 .
_:m6 rdf:type owl:Class .
_:o6 rdf:first first:minus2 .
_:o6 rdf:rest rdf:nil .
_:q6 rdf:first first:minus1 .
_:q6 rdf:rest _:o6 .
_:s6 rdf:first first:plus9 .
_:s6 rdf:rest _:q6 .
_:m6 owl:oneOf _:s6 .
first:T rdf:type _:m6 .
_:u6 rdf:type owl:Class .
_:w6 rdf:first first:minus6 .
_:w6 rdf:rest rdf:nil .
_:y6 rdf:first first:plus7 .
_:y6 rdf:rest _:w6 .
_:a7 rdf:first first:plus1 .
_:a7 rdf:rest _:y6 .
_:u6 owl:oneOf _:a7 .
first:T rdf:type _:u6 .
_:c7 rdf:type owl:Class .
_:e7 rdf:first first:minus3 .
_:e7 rdf:rest rdf:nil .
_:g7 rdf:first first:plus9 .
_:g7 rdf:rest _:e7 .
_:i7 rdf:first first:plus1 .
_:i7 rdf:rest _:g7 .
_:c7 owl:oneOf _:i7 .
first:T rdf:type _:c7 .
_:k7 rdf:type owl:Class .
_:m7 rdf:first first:minus2 .
_:m7 rdf:rest rdf:nil .
_:o7 rdf:first first:minus9 .
_:o7 rdf:rest _:m7 .
_:q7 rdf:first first:minus8 .
_:q7 rdf:rest _:o7 .
_:k7 owl:oneOf _:q7 .
first:T rdf:type _:k7 .
_:s7 rdf:type owl:Class .
_:u7 rdf:first first:plus2 .
_:u7 rdf:rest rdf:nil .
_:w7 rdf:first first:minus8 .
_:w7 rdf:rest _:u7 .
_:y7 rdf:first first:minus9 .
_:y7 rdf:rest _:w7 .
_:s7 owl:oneOf _:y7 .
first:T rdf:type _:s7 .
_:a8 rdf:type owl:Class .
_:c8 rdf:first first:plus4 .
_:c8 rdf:rest rdf:nil .
_:e8 rdf:first first:plus8 .
_:e8 rdf:rest _:c8 .
_:g8 rdf:first first:plus5 .
_:g8 rdf:rest _:e8 .
_:a8 owl:oneOf _:g8 .
first:T rdf:type _:a8 .
_:i8 rdf:type owl:Class .
_:k8 rdf:first first:plus5 .
_:k8 rdf:rest rdf:nil .
_:m8 rdf:first first:plus2 .
_:m8 rdf:rest _:k8 .
_:o8 rdf:first first:minus7 .
_:o8 rdf:rest _:m8 .
_:i8 owl:oneOf _:o8 .
first:T rdf:type _:i8 .
_:q8 rdf:type owl:Class .
_:s8 rdf:first first:minus4 .
_:s8 rdf:rest rdf:nil .
_:u8 rdf:first first:plus7 .
_:u8 rdf:rest _:s8 .
_:w8 rdf:first first:minus1 .
_:w8 rdf:rest _:u8 .
_:q8 owl:oneOf _:w8 .
first:T rdf:type _:q8 .
_:y8 rdf:type owl:Class .
_:a9 rdf:first first:plus4 .
_:a9 rdf:rest rdf:nil .
_:c9 rdf:first first:minus8 .
_:c9 rdf:rest _:a9 .
_:e9 rdf:first first:plus7 .
_:e9 rdf:rest _:c9 .
_:y8 owl:oneOf _:e9 .
first:T rdf:type _:y8 .
_:g9 rdf:type owl:Class .
_:i9 rdf:first first:minus6 .
_:i9 rdf:rest rdf:nil .
_:k9 rdf:first first:plus2 .
_:k9 rdf:rest _:i9 .
_:m9 rdf:first first:minus3 .
_:m9 rdf:rest _:k9 .
_:g9 owl:oneOf _:m9 .
first:T rdf:type _:g9 .
_:o9 rdf:type owl:Class .
_:q9 rdf:first first:minus9 .
_:q9 rdf:rest rdf:nil .
_:s9 rdf:first first:minus2 .
_:s9 rdf:rest _:q9 .
_:u9 rdf:first first:plus1 .
_:u9 rdf:rest _:s9 .
_:o9 owl:oneOf _:u9 .
first:T rdf:type _:o9 .
_:w9 rdf:type owl:Class .
_:y9 rdf:first first:minus2 .
_:y9 rdf:rest rdf:nil .
_:a10 rdf:first first:plus3 .
_:a10 rdf:rest _:y9 .
_:c10 rdf:first first:plus7 .
_:c10 rdf:rest _:a10 .
_:w9 owl:oneOf _:c10 .
first:T rdf:type _:w9 .
_:e10 rdf:type owl:Class .
_:g10 rdf:first first:plus4 .
_:g10 rdf:rest rdf:nil .
_:i10 rdf:first first:plus8 .
_:i10 rdf:rest _:g10 .
_:k10 rdf:first first:minus7 .
_:k10 rdf:rest _:i10 .
_:e10 owl:oneOf _:k10 .
first:T rdf:type _:e10 .
_:m10 rdf:type owl:Class .
_:o10 rdf:first first:minus5 .
_:o10 rdf:rest rdf:nil .
_:q10 rdf:first first:minus7 .
_:q10 rdf:rest _:o10 .
_:s10 rdf:first first:plus1 .
_:s10 rdf:rest _:q10 .
_:m10 owl:oneOf _:s10 .
first:T rdf:type _:m10 .
_:u10 rdf:type owl:Class .
_:w10 rdf:first first:minus3 .
_:w10 rdf:rest rdf:nil .
_:y10 rdf:first first:plus4 .
_:y10 rdf:rest _:w10 .
_:a11 rdf:first first:minus5 .
_:a11 rdf:rest _:y10 .
_:u10 owl:oneOf _:a11 .
first:T rdf:type _:u10 .
_:c11 rdf:type owl:Class .
_:e11 rdf:first first:minus1 .
_:e11 rdf:rest rdf:nil .
_:g11 rdf:first first:plus7 .
_:g11 rdf:rest _:e11 .
_:i11 rdf:first first:plus6 .
_:i11 rdf:rest _:g11 .
_:c11 owl:oneOf _:i11 .
first:T rdf:type _:c11 .
_:k11 rdf:type owl:Class .
_:m11 rdf:first first:minus9 .
_:m11 rdf:rest rdf:nil .
_:o11 rdf:first first:plus7 .
_:o11 rdf:rest _:m11 .
_:q11 rdf:first first:minus1 .
_:q11 rdf:rest _:o11 .
_:k11 owl:oneOf _:q11 .
first:T rdf:type _:k11 .
_:s11 rdf:type owl:Class .
_:u11 rdf:first first:plus6 .
_:u11 rdf:rest rdf:nil .
_:w11 rdf:first first:plus2 .
_:w11 rdf:rest _:u11 .
_:y11 rdf:first first:plus3 .
_:y11 rdf:rest _:w11 .
_:s11 owl:oneOf _:y11 .
first:T rdf:type _:s11 .
_:a12 rdf:type owl:Class .
_:c12 rdf:first first:minus7 .
_:c12 rdf:rest rdf:nil .
_:e12 rdf:first first:plus3 .
_:e12 rdf:rest _:c12 .
_:g12 rdf:first first:plus8 .
_:g12 rdf:rest _:e12 .
_:a12 owl:oneOf _:g12 .
first:T rdf:type _:a12 .
_:i12 rdf:type owl:Class .
_:k12 rdf:first first:minus8 .
_:k12 rdf:rest rdf:nil .
_:m12 rdf:first first:plus9 .
_:m12 rdf:rest _:k12 .
_:o12 rdf:first first:minus1 .
_:o12 rdf:rest _:m12 .
_:i12 owl:oneOf _:o12 .
first:T rdf:type _:i12 .
_:q12 rdf:type owl:Class .
_:s12 rdf:first first:minus7 .
_:s12 rdf:rest rdf:nil .
_:u12 rdf:first first:minus9 .
_:u12 rdf:rest _:s12 .
_:w12 rdf:first first:plus5 .
_:w12 rdf:rest _:u12 .
_:q12 owl:oneOf _:w12 .
first:T rdf:type _:q12 .
_:y12 rdf:type owl:Class .
_:a13 rdf:first first:minus9 .
_:a13 rdf:rest rdf:nil .
_:c13 rdf:first first:plus3 .
_:c13 rdf:rest _:a13 .
_:e13 rdf:first first:minus7 .
_:e13 rdf:rest _:c13 .
_:y12 owl:oneOf _:e13 .
first:T rdf:type _:y12 .
_:g13 rdf:type owl:Class .
_:i13 rdf:first first:minus2 .
_:i13 rdf:rest rdf:nil .
_:k13 rdf:first first:minus1 .
_:k13 rdf:rest _:i13 .
_:m13 rdf:first first:plus3 .
_:m13 rdf:rest _:k13 .
_:g13 owl:oneOf _:m13 .
first:T rdf:type _:g13 .
_:o13 rdf:type owl:Class .
_:q13 rdf:first first:plus4 .
_:q13 rdf:rest rdf:nil .
_:s13 rdf:first first:plus1 .
_:s13 rdf:rest _:q13 .
_:u13 rdf:first first:plus6 .
_:u13 rdf:rest _:s13 .
_:o13 owl:oneOf _:u13 .
first:T rdf:type _:o13 .
_:w13 rdf:type owl:Class .
_:y13 rdf:first first:plus5 .
_:y13 rdf:rest rdf:nil .
_:a14 rdf:first first:minus7 .
_:a14 rdf:rest _:y13 .
_:c14 rdf:first first:plus6 .
_:c14 rdf:rest _:a14 .
_:w13 owl:oneOf _:c14 .
first:T rdf:type _:w13 .
_:e14 rdf:type owl:Class .
_:g14 rdf:first first:plus3 .
_:g14 rdf:rest rdf:nil .
_:i14 rdf:first first:minus6 .
_:i14 rdf:rest _:g14 .
_:k14 rdf:first first:plus8 .
_:k14 rdf:rest _:i14 .
_:e14 owl:oneOf _:k14 .
first:T rdf:type _:e14 .
_:m14 rdf:type owl:Class .
_:o14 rdf:first first:plus6 .
_:o14 rdf:rest rdf:nil .
_:q14 rdf:first first:minus2 .
_:q14 rdf:rest _:o14 .
_:s14 rdf:first first:plus5 .
_:s14 rdf:rest _:q14 .
_:m14 owl:oneOf _:s14 .
first:T rdf:type _:m14 .
_:u14 rdf:type owl:Class .
_:w14 rdf:first first:minus5 .
_:w14 rdf:rest rdf:nil .
_:y14 rdf:first first:plus3 .
_:y14 rdf:rest _:w14 .
_:a15 rdf:first first:plus8 .
_:a15 rdf:rest _:y14 .
_:u14 owl:oneOf _:a15 .
first:T rdf:type _:u14 .
_:c15 rdf:type owl:Class .
_:e15 rdf:first first:minus9 .
_:e15 rdf:rest rdf:nil .
_:g15 rdf:first first:minus4 .
_:g15 rdf:rest _:e15 .
_:i15 rdf:first first:minus2 .
_:i15 rdf:rest _:g15 .
_:c15 owl:oneOf _:i15 .
first:T rdf:type _:c15 .

DL FullInconsistent document.502
Description: (informative) <description-logic/Manifest502#test>
c genAlea with seed 67700557
p cnf 9 45
1 2 -4 0
-3 6 -4 0
9 -4 5 0
4 -6 -2 0
-2 -3 1 0
-3 8 7 0
-8 -2 3 0
-7 -6 9 0
1 -4 -6 0
-8 -5 -3 0
4 3 6 0
2 -1 4 0
-3 8 2 0
6 -2 9 0
7 -9 -2 0
2 -5 -7 0
5 2 9 0
6 -2 -7 0
-9 3 -2 0
1 7 4 0
-4 1 9 0
2 1 -6 0
7 -4 9 0
-5 3 -9 0
-4 9 -8 0
4 3 9 0
-7 9 5 0
4 1 3 0
-5 8 7 0
8 -7 3 0
4 -8 6 0
4 6 -5 0
-6 1 -9 0
1 9 -6 0
9 -8 3 0
6 3 -4 0
8 -4 6 0
-3 5 -8 0
-9 4 3 0
8 -4 2 0
-5 -2 -9 0
-7 -3 -4 0
-9 -4 -8 0
6 -4 -1 0
6 -7 -8 0
N3 format is informative.
DLInconsistent: <description-logic/inconsistent502>
<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/inconsistent502#"
    xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent502" >

<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='#plus1'/>
            <rdf:Description rdf:about='#plus2'/>
            <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='#minus3'/>
            <rdf:Description rdf:about='#plus6'/>
            <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='#plus9'/>
            <rdf:Description rdf:about='#minus4'/>
            <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='#plus4'/>
            <rdf:Description rdf:about='#minus6'/>
            <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='#minus2'/>
            <rdf:Description rdf:about='#minus3'/>
            <rdf:Description rdf:about='#plus1'/>
        </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='#plus8'/>
            <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='#minus8'/>
            <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='#minus7'/>
            <rdf:Description rdf:about='#minus6'/>
            <rdf:Description rdf:about='#plus9'/>
        </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='#minus4'/>
            <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='#minus8'/>
            <rdf:Description rdf:about='#minus5'/>
            <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='#plus4'/>
            <rdf:Description rdf:about='#plus3'/>
            <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='#plus2'/>
            <rdf:Description rdf:about='#minus1'/>
            <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='#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='#plus6'/>
            <rdf:Description rdf:about='#minus2'/>
            <rdf:Description rdf:about='#plus9'/>
        </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='#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='#plus2'/>
            <rdf:Description rdf:about='#minus5'/>
            <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='#plus5'/>
            <rdf:Description rdf:about='#plus2'/>
            <rdf:Description rdf:about='#plus9'/>
        </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='#minus2'/>
            <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='#minus9'/>
            <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='#plus1'/>
            <rdf:Description rdf:about='#plus7'/>
            <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='#minus4'/>
            <rdf:Description rdf:about='#plus1'/>
            <rdf:Description rdf:about='#plus9'/>
        </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='#plus1'/>
            <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='#plus7'/>
            <rdf:Description rdf:about='#minus4'/>
            <rdf:Description rdf:about='#plus9'/>
        </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='#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='#minus4'/>
            <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='#plus4'/>
            <rdf:Description rdf:about='#plus3'/>
            <rdf:Description rdf:about='#plus9'/>
        </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='#plus9'/>
            <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='#plus4'/>
            <rdf:Description rdf:about='#plus1'/>
            <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='#minus5'/>
            <rdf:Description rdf:about='#plus8'/>
            <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='#plus8'/>
            <rdf:Description rdf:about='#minus7'/>
            <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='#plus4'/>
            <rdf:Description rdf:about='#minus8'/>
            <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='#plus4'/>
            <rdf:Description rdf:about='#plus6'/>
            <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='#minus6'/>
            <rdf:Description rdf:about='#plus1'/>
            <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='#plus1'/>
            <rdf:Description rdf:about='#plus9'/>
            <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='#plus9'/>
            <rdf:Description rdf:about='#minus8'/>
            <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='#plus6'/>
            <rdf:Description rdf:about='#plus3'/>
            <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='#plus8'/>
            <rdf:Description rdf:about='#minus4'/>
            <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='#minus3'/>
            <rdf:Description rdf:about='#plus5'/>
            <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='#minus9'/>
            <rdf:Description rdf:about='#plus4'/>
            <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='#plus8'/>
            <rdf:Description rdf:about='#minus4'/>
            <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='#minus5'/>
            <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='#minus7'/>
            <rdf:Description rdf:about='#minus3'/>
            <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='#minus9'/>
            <rdf:Description rdf:about='#minus4'/>
            <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='#plus6'/>
            <rdf:Description rdf:about='#minus4'/>
            <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='#plus6'/>
            <rdf:Description rdf:about='#minus7'/>
            <rdf:Description rdf:about='#minus8'/>
        </owl:oneOf>
      </owl:Class>
   </rdf:type>
</rdf:Description>

</rdf:RDF>
first:TorF rdf:type owl:Class .
first:T rdf:type owl:Thing .
first:T owl:differentFrom first:F .
first:F rdf:type owl:Thing .
_:a rdf:first first:F .
_:a rdf:rest rdf:nil .
_:c rdf:first first:T .
_:c rdf:rest _:a .
first:TorF owl:oneOf _:c .
first:plus1 rdf:type owl:Thing .
first:minus1 rdf:type owl:Thing .
_:e rdf:first first:minus1 .
_:e rdf:rest rdf:nil .
_:g rdf:first first:plus1 .
_:g rdf:rest _:e .
first:TorF owl:oneOf _:g .
first:plus2 rdf:type owl:Thing .
first:minus2 rdf:type owl:Thing .
_:i rdf:first first:minus2 .
_:i rdf:rest rdf:nil .
_:k rdf:first first:plus2 .
_:k rdf:rest _:i .
first:TorF owl:oneOf _:k .
first:plus3 rdf:type owl:Thing .
first:minus3 rdf:type owl:Thing .
_:m rdf:first first:minus3 .
_:m rdf:rest rdf:nil .
_:o rdf:first first:plus3 .
_:o rdf:rest _:m .
first:TorF owl:oneOf _:o .
first:plus4 rdf:type owl:Thing .
first:minus4 rdf:type owl:Thing .
_:q rdf:first first:minus4 .
_:q rdf:rest rdf:nil .
_:s rdf:first first:plus4 .
_:s rdf:rest _:q .
first:TorF owl:oneOf _:s .
first:plus5 rdf:type owl:Thing .
first:minus5 rdf:type owl:Thing .
_:u rdf:first first:minus5 .
_:u rdf:rest rdf:nil .
_:w rdf:first first:plus5 .
_:w rdf:rest _:u .
first:TorF owl:oneOf _:w .
first:plus6 rdf:type owl:Thing .
first:minus6 rdf:type owl:Thing .
_:y rdf:first first:minus6 .
_:y rdf:rest rdf:nil .
_:a1 rdf:first first:plus6 .
_:a1 rdf:rest _:y .
first:TorF owl:oneOf _:a1 .
first:plus7 rdf:type owl:Thing .
first:minus7 rdf:type owl:Thing .
_:c1 rdf:first first:minus7 .
_:c1 rdf:rest rdf:nil .
_:e1 rdf:first first:plus7 .
_:e1 rdf:rest _:c1 .
first:TorF owl:oneOf _:e1 .
first:plus8 rdf:type owl:Thing .
first:minus8 rdf:type owl:Thing .
_:g1 rdf:first first:minus8 .
_:g1 rdf:rest rdf:nil .
_:i1 rdf:first first:plus8 .
_:i1 rdf:rest _:g1 .
first:TorF owl:oneOf _:i1 .
first:plus9 rdf:type owl:Thing .
first:minus9 rdf:type owl:Thing .
_:k1 rdf:first first:minus9 .
_:k1 rdf:rest rdf:nil .
_:m1 rdf:first first:plus9 .
_:m1 rdf:rest _:k1 .
first:TorF owl:oneOf _:m1 .
_:o1 rdf:type owl:Class .
_:q1 rdf:first first:minus4 .
_:q1 rdf:rest rdf:nil .
_:s1 rdf:first first:plus2 .
_:s1 rdf:rest _:q1 .
_:u1 rdf:first first:plus1 .
_:u1 rdf:rest _:s1 .
_:o1 owl:oneOf _:u1 .
first:T rdf:type _:o1 .
_:w1 rdf:type owl:Class .
_:y1 rdf:first first:minus4 .
_:y1 rdf:rest rdf:nil .
_:a2 rdf:first first:plus6 .
_:a2 rdf:rest _:y1 .
_:c2 rdf:first first:minus3 .
_:c2 rdf:rest _:a2 .
_:w1 owl:oneOf _:c2 .
first:T rdf:type _:w1 .
_:e2 rdf:type owl:Class .
_:g2 rdf:first first:plus5 .
_:g2 rdf:rest rdf:nil .
_:i2 rdf:first first:minus4 .
_:i2 rdf:rest _:g2 .
_:k2 rdf:first first:plus9 .
_:k2 rdf:rest _:i2 .
_:e2 owl:oneOf _:k2 .
first:T rdf:type _:e2 .
_:m2 rdf:type owl:Class .
_:o2 rdf:first first:minus2 .
_:o2 rdf:rest rdf:nil .
_:q2 rdf:first first:minus6 .
_:q2 rdf:rest _:o2 .
_:s2 rdf:first first:plus4 .
_:s2 rdf:rest _:q2 .
_:m2 owl:oneOf _:s2 .
first:T rdf:type _:m2 .
_:u2 rdf:type owl:Class .
_:w2 rdf:first first:plus1 .
_:w2 rdf:rest rdf:nil .
_:y2 rdf:first first:minus3 .
_:y2 rdf:rest _:w2 .
_:a3 rdf:first first:minus2 .
_:a3 rdf:rest _:y2 .
_:u2 owl:oneOf _:a3 .
first:T rdf:type _:u2 .
_:c3 rdf:type owl:Class .
_:e3 rdf:first first:plus7 .
_:e3 rdf:rest rdf:nil .
_:g3 rdf:first first:plus8 .
_:g3 rdf:rest _:e3 .
_:i3 rdf:first first:minus3 .
_:i3 rdf:rest _:g3 .
_:c3 owl:oneOf _:i3 .
first:T rdf:type _:c3 .
_:k3 rdf:type owl:Class .
_:m3 rdf:first first:plus3 .
_:m3 rdf:rest rdf:nil .
_:o3 rdf:first first:minus2 .
_:o3 rdf:rest _:m3 .
_:q3 rdf:first first:minus8 .
_:q3 rdf:rest _:o3 .
_:k3 owl:oneOf _:q3 .
first:T rdf:type _:k3 .
_:s3 rdf:type owl:Class .
_:u3 rdf:first first:plus9 .
_:u3 rdf:rest rdf:nil .
_:w3 rdf:first first:minus6 .
_:w3 rdf:rest _:u3 .
_:y3 rdf:first first:minus7 .
_:y3 rdf:rest _:w3 .
_:s3 owl:oneOf _:y3 .
first:T rdf:type _:s3 .
_:a4 rdf:type owl:Class .
_:c4 rdf:first first:minus6 .
_:c4 rdf:rest rdf:nil .
_:e4 rdf:first first:minus4 .
_:e4 rdf:rest _:c4 .
_:g4 rdf:first first:plus1 .
_:g4 rdf:rest _:e4 .
_:a4 owl:oneOf _:g4 .
first:T rdf:type _:a4 .
_:i4 rdf:type owl:Class .
_:k4 rdf:first first:minus3 .
_:k4 rdf:rest rdf:nil .
_:m4 rdf:first first:minus5 .
_:m4 rdf:rest _:k4 .
_:o4 rdf:first first:minus8 .
_:o4 rdf:rest _:m4 .
_:i4 owl:oneOf _:o4 .
first:T rdf:type _:i4 .
_:q4 rdf:type owl:Class .
_:s4 rdf:first first:plus6 .
_:s4 rdf:rest rdf:nil .
_:u4 rdf:first first:plus3 .
_:u4 rdf:rest _:s4 .
_:w4 rdf:first first:plus4 .
_:w4 rdf:rest _:u4 .
_:q4 owl:oneOf _:w4 .
first:T rdf:type _:q4 .
_:y4 rdf:type owl:Class .
_:a5 rdf:first first:plus4 .
_:a5 rdf:rest rdf:nil .
_:c5 rdf:first first:minus1 .
_:c5 rdf:rest _:a5 .
_:e5 rdf:first first:plus2 .
_:e5 rdf:rest _:c5 .
_:y4 owl:oneOf _:e5 .
first:T rdf:type _:y4 .
_:g5 rdf:type owl:Class .
_:i5 rdf:first first:plus2 .
_:i5 rdf:rest rdf:nil .
_:k5 rdf:first first:plus8 .
_:k5 rdf:rest _:i5 .
_:m5 rdf:first first:minus3 .
_:m5 rdf:rest _:k5 .
_:g5 owl:oneOf _:m5 .
first:T rdf:type _:g5 .
_:o5 rdf:type owl:Class .
_:q5 rdf:first first:plus9 .
_:q5 rdf:rest rdf:nil .
_:s5 rdf:first first:minus2 .
_:s5 rdf:rest _:q5 .
_:u5 rdf:first first:plus6 .
_:u5 rdf:rest _:s5 .
_:o5 owl:oneOf _:u5 .
first:T rdf:type _:o5 .
_:w5 rdf:type owl:Class .
_:y5 rdf:first first:minus2 .
_:y5 rdf:rest rdf:nil .
_:a6 rdf:first first:minus9 .
_:a6 rdf:rest _:y5 .
_:c6 rdf:first first:plus7 .
_:c6 rdf:rest _:a6 .
_:w5 owl:oneOf _:c6 .
first:T rdf:type _:w5 .
_:e6 rdf:type owl:Class .
_:g6 rdf:first first:minus7 .
_:g6 rdf:rest rdf:nil .
_:i6 rdf:first first:minus5 .
_:i6 rdf:rest _:g6 .
_:k6 rdf:first first:plus2 .
_:k6 rdf:rest _:i6 .
_:e6 owl:oneOf _:k6 .
first:T rdf:type _:e6 .
_:m6 rdf:type owl:Class .
_:o6 rdf:first first:plus9 .
_:o6 rdf:rest rdf:nil .
_:q6 rdf:first first:plus2 .
_:q6 rdf:rest _:o6 .
_:s6 rdf:first first:plus5 .
_:s6 rdf:rest _:q6 .
_:m6 owl:oneOf _:s6 .
first:T rdf:type _:m6 .
_:u6 rdf:type owl:Class .
_:w6 rdf:first first:minus7 .
_:w6 rdf:rest rdf:nil .
_:y6 rdf:first first:minus2 .
_:y6 rdf:rest _:w6 .
_:a7 rdf:first first:plus6 .
_:a7 rdf:rest _:y6 .
_:u6 owl:oneOf _:a7 .
first:T rdf:type _:u6 .
_:c7 rdf:type owl:Class .
_:e7 rdf:first first:minus2 .
_:e7 rdf:rest rdf:nil .
_:g7 rdf:first first:plus3 .
_:g7 rdf:rest _:e7 .
_:i7 rdf:first first:minus9 .
_:i7 rdf:rest _:g7 .
_:c7 owl:oneOf _:i7 .
first:T rdf:type _:c7 .
_:k7 rdf:type owl:Class .
_:m7 rdf:first first:plus4 .
_:m7 rdf:rest rdf:nil .
_:o7 rdf:first first:plus7 .
_:o7 rdf:rest _:m7 .
_:q7 rdf:first first:plus1 .
_:q7 rdf:rest _:o7 .
_:k7 owl:oneOf _:q7 .
first:T rdf:type _:k7 .
_:s7 rdf:type owl:Class .
_:u7 rdf:first first:plus9 .
_:u7 rdf:rest rdf:nil .
_:w7 rdf:first first:plus1 .
_:w7 rdf:rest _:u7 .
_:y7 rdf:first first:minus4 .
_:y7 rdf:rest _:w7 .
_:s7 owl:oneOf _:y7 .
first:T rdf:type _:s7 .
_:a8 rdf:type owl:Class .
_:c8 rdf:first first:minus6 .
_:c8 rdf:rest rdf:nil .
_:e8 rdf:first first:plus1 .
_:e8 rdf:rest _:c8 .
_:g8 rdf:first first:plus2 .
_:g8 rdf:rest _:e8 .
_:a8 owl:oneOf _:g8 .
first:T rdf:type _:a8 .
_:i8 rdf:type owl:Class .
_:k8 rdf:first first:plus9 .
_:k8 rdf:rest rdf:nil .
_:m8 rdf:first first:minus4 .
_:m8 rdf:rest _:k8 .
_:o8 rdf:first first:plus7 .
_:o8 rdf:rest _:m8 .
_:i8 owl:oneOf _:o8 .
first:T rdf:type _:i8 .
_:q8 rdf:type owl:Class .
_:s8 rdf:first first:minus9 .
_:s8 rdf:rest rdf:nil .
_:u8 rdf:first first:plus3 .
_:u8 rdf:rest _:s8 .
_:w8 rdf:first first:minus5 .
_:w8 rdf:rest _:u8 .
_:q8 owl:oneOf _:w8 .
first:T rdf:type _:q8 .
_:y8 rdf:type owl:Class .
_:a9 rdf:first first:minus8 .
_:a9 rdf:rest rdf:nil .
_:c9 rdf:first first:plus9 .
_:c9 rdf:rest _:a9 .
_:e9 rdf:first first:minus4 .
_:e9 rdf:rest _:c9 .
_:y8 owl:oneOf _:e9 .
first:T rdf:type _:y8 .
_:g9 rdf:type owl:Class .
_:i9 rdf:first first:plus9 .
_:i9 rdf:rest rdf:nil .
_:k9 rdf:first first:plus3 .
_:k9 rdf:rest _:i9 .
_:m9 rdf:first first:plus4 .
_:m9 rdf:rest _:k9 .
_:g9 owl:oneOf _:m9 .
first:T rdf:type _:g9 .
_:o9 rdf:type owl:Class .
_:q9 rdf:first first:plus5 .
_:q9 rdf:rest rdf:nil .
_:s9 rdf:first first:plus9 .
_:s9 rdf:rest _:q9 .
_:u9 rdf:first first:minus7 .
_:u9 rdf:rest _:s9 .
_:o9 owl:oneOf _:u9 .
first:T rdf:type _:o9 .
_:w9 rdf:type owl:Class .
_:y9 rdf:first first:plus3 .
_:y9 rdf:rest rdf:nil .
_:a10 rdf:first first:plus1 .
_:a10 rdf:rest _:y9 .
_:c10 rdf:first first:plus4 .
_:c10 rdf:rest _:a10 .
_:w9 owl:oneOf _:c10 .
first:T rdf:type _:w9 .
_:e10 rdf:type owl:Class .
_:g10 rdf:first first:plus7 .
_:g10 rdf:rest rdf:nil .
_:i10 rdf:first first:plus8 .
_:i10 rdf:rest _:g10 .
_:k10 rdf:first first:minus5 .
_:k10 rdf:rest _:i10 .
_:e10 owl:oneOf _:k10 .
first:T rdf:type _:e10 .
_:m10 rdf:type owl:Class .
_:o10 rdf:first first:plus3 .
_:o10 rdf:rest rdf:nil .
_:q10 rdf:first first:minus7 .
_:q10 rdf:rest _:o10 .
_:s10 rdf:first first:plus8 .
_:s10 rdf:rest _:q10 .
_:m10 owl:oneOf _:s10 .
first:T rdf:type _:m10 .
_:u10 rdf:type owl:Class .
_:w10 rdf:first first:plus6 .
_:w10 rdf:rest rdf:nil .
_:y10 rdf:first first:minus8 .
_:y10 rdf:rest _:w10 .
_:a11 rdf:first first:plus4 .
_:a11 rdf:rest _:y10 .
_:u10 owl:oneOf _:a11 .
first:T rdf:type _:u10 .
_:c11 rdf:type owl:Class .
_:e11 rdf:first first:minus5 .
_:e11 rdf:rest rdf:nil .
_:g11 rdf:first first:plus6 .
_:g11 rdf:rest _:e11 .
_:i11 rdf:first first:plus4 .
_:i11 rdf:rest _:g11 .
_:c11 owl:oneOf _:i11 .
first:T rdf:type _:c11 .
_:k11 rdf:type owl:Class .
_:m11 rdf:first first:minus9 .
_:m11 rdf:rest rdf:nil .
_:o11 rdf:first first:plus1 .
_:o11 rdf:rest _:m11 .
_:q11 rdf:first first:minus6 .
_:q11 rdf:rest _:o11 .
_:k11 owl:oneOf _:q11 .
first:T rdf:type _:k11 .
_:s11 rdf:type owl:Class .
_:u11 rdf:first first:minus6 .
_:u11 rdf:rest rdf:nil .
_:w11 rdf:first first:plus9 .
_:w11 rdf:rest _:u11 .
_:y11 rdf:first first:plus1 .
_:y11 rdf:rest _:w11 .
_:s11 owl:oneOf _:y11 .
first:T rdf:type _:s11 .
_:a12 rdf:type owl:Class .
_:c12 rdf:first first:plus3 .
_:c12 rdf:rest rdf:nil .
_:e12 rdf:first first:minus8 .
_:e12 rdf:rest _:c12 .
_:g12 rdf:first first:plus9 .
_:g12 rdf:rest _:e12 .
_:a12 owl:oneOf _:g12 .
first:T rdf:type _:a12 .
_:i12 rdf:type owl:Class .
_:k12 rdf:first first:minus4 .
_:k12 rdf:rest rdf:nil .
_:m12 rdf:first first:plus3 .
_:m12 rdf:rest _:k12 .
_:o12 rdf:first first:plus6 .
_:o12 rdf:rest _:m12 .
_:i12 owl:oneOf _:o12 .
first:T rdf:type _:i12 .
_:q12 rdf:type owl:Class .
_:s12 rdf:first first:plus6 .
_:s12 rdf:rest rdf:nil .
_:u12 rdf:first first:minus4 .
_:u12 rdf:rest _:s12 .
_:w12 rdf:first first:plus8 .
_:w12 rdf:rest _:u12 .
_:q12 owl:oneOf _:w12 .
first:T rdf:type _:q12 .
_:y12 rdf:type owl:Class .
_:a13 rdf:first first:minus8 .
_:a13 rdf:rest rdf:nil .
_:c13 rdf:first first:plus5 .
_:c13 rdf:rest _:a13 .
_:e13 rdf:first first:minus3 .
_:e13 rdf:rest _:c13 .
_:y12 owl:oneOf _:e13 .
first:T rdf:type _:y12 .
_:g13 rdf:type owl:Class .
_:i13 rdf:first first:plus3 .
_:i13 rdf:rest rdf:nil .
_:k13 rdf:first first:plus4 .
_:k13 rdf:rest _:i13 .
_:m13 rdf:first first:minus9 .
_:m13 rdf:rest _:k13 .
_:g13 owl:oneOf _:m13 .
first:T rdf:type _:g13 .
_:o13 rdf:type owl:Class .
_:q13 rdf:first first:plus2 .
_:q13 rdf:rest rdf:nil .
_:s13 rdf:first first:minus4 .
_:s13 rdf:rest _:q13 .
_:u13 rdf:first first:plus8 .
_:u13 rdf:rest _:s13 .
_:o13 owl:oneOf _:u13 .
first:T rdf:type _:o13 .
_:w13 rdf:type owl:Class .
_:y13 rdf:first first:minus9 .
_:y13 rdf:rest rdf:nil .
_:a14 rdf:first first:minus2 .
_:a14 rdf:rest _:y13 .
_:c14 rdf:first first:minus5 .
_:c14 rdf:rest _:a14 .
_:w13 owl:oneOf _:c14 .
first:T rdf:type _:w13 .
_:e14 rdf:type owl:Class .
_:g14 rdf:first first:minus4 .
_:g14 rdf:rest rdf:nil .
_:i14 rdf:first first:minus3 .
_:i14 rdf:rest _:g14 .
_:k14 rdf:first first:minus7 .
_:k14 rdf:rest _:i14 .
_:e14 owl:oneOf _:k14 .
first:T rdf:type _:e14 .
_:m14 rdf:type owl:Class .
_:o14 rdf:first first:minus8 .
_:o14 rdf:rest rdf:nil .
_:q14 rdf:first first:minus4 .
_:q14 rdf:rest _:o14 .
_:s14 rdf:first first:minus9 .
_:s14 rdf:rest _:q14 .
_:m14 owl:oneOf _:s14 .
first:T rdf:type _:m14 .
_:u14 rdf:type owl:Class .
_:w14 rdf:first first:minus1 .
_:w14 rdf:rest rdf:nil .
_:y14 rdf:first first:minus4 .
_:y14 rdf:rest _:w14 .
_:a15 rdf:first first:plus6 .
_:a15 rdf:rest _:y14 .
_:u14 owl:oneOf _:a15 .
first:T rdf:type _:u14 .
_:c15 rdf:type owl:Class .
_:e15 rdf:first first:minus8 .
_:e15 rdf:rest rdf:nil .
_:g15 rdf:first first:minus7 .
_:g15 rdf:rest _:e15 .
_:i15 rdf:first first:plus6 .
_:i15 rdf:rest _:g15 .
_:c15 owl:oneOf _:i15 .
first:T rdf:type _:c15 .

DL FullConsistent document.503
Description: (informative) <description-logic/Manifest503#test>
This is a different encoding of test 501.
N3 format is informative.
DLConsistent: <description-logic/consistent503>
<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'/>
     <rdf:Description rdf:about='#minus9'/>
     <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='#minus9'/>
     <rdf:Description rdf:about='#minus8'/>
     <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='#plus5'/>
     <rdf:Description rdf:about='#plus8'/>
     <rdf:Description rdf:about='#plus4'/>
    </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='#minus7'/>
     <rdf:Description rdf:about='#plus2'/>
     <rdf:Description rdf:about='#plus5'/>
    </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='#plus7'/>
     <rdf:Description rdf:about='#minus4'/>
    </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='#plus7'/>
     <rdf:Description rdf:about='#minus8'/>
     <rdf:Description rdf:about='#plus4'/>
    </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='#plus2'/>
     <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='#minus2'/>
     <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='#plus7'/>
     <rdf:Description rdf:about='#plus3'/>
     <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='#minus7'/>
     <rdf:Description rdf:about='#plus8'/>
     <rdf:Description rdf:about='#plus4'/>
    </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='#minus7'/>
     <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='#minus5'/>
     <rdf:Description rdf:about='#plus4'/>
     <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='#plus6'/>
     <rdf:Description rdf:about='#plus7'/>
     <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='#plus7'/>
     <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='#plus3'/>
     <rdf:Description rdf:about='#plus2'/>
     <rdf:Description rdf:about='#plus6'/>
    </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='#plus8'/>
     <rdf:Description rdf:about='#plus3'/>
     <rdf:Description rdf:about='#minus7'/>
    </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='#plus9'/>
     <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='#plus5'/>
     <rdf:Description rdf:about='#minus9'/>
     <rdf:Description rdf:about='#minus7'/>
    </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='#minus7'/>
     <rdf:Description rdf:about='#plus3'/>
     <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='#plus3'/>
     <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='#plus6'/>
     <rdf:Description rdf:about='#plus1'/>
     <rdf:Description rdf:about='#plus4'/>
    </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='#minus7'/>
     <rdf:Description rdf:about='#plus5'/>
    </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='#plus8'/>
     <rdf:Description rdf:about='#minus6'/>
     <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='#minus2'/>
     <rdf:Description rdf:about='#plus6'/>
    </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='#plus8'/>
     <rdf:Description rdf:about='#plus3'/>
     <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='#minus2'/>
     <rdf:Description rdf:about='#minus4'/>
     <rdf:Description rdf:about='#minus9'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>

</rdf:RDF>
_:a rdf:type first:Test .
first:plus1 rdf:type owl:Class .
first:minus1 rdf:type owl:Class .
first:plus1 owl:disjointWith first:minus1 .
first:plus2 rdf:type owl:Class .
first:minus2 rdf:type owl:Class .
first:plus2 owl:disjointWith first:minus2 .
first:plus3 rdf:type owl:Class .
first:minus3 rdf:type owl:Class .
first:plus3 owl:disjointWith first:minus3 .
first:plus4 rdf:type owl:Class .
first:minus4 rdf:type owl:Class .
first:plus4 owl:disjointWith first:minus4 .
first:plus5 rdf:type owl:Class .
first:minus5 rdf:type owl:Class .
first:plus5 owl:disjointWith first:minus5 .
first:plus6 rdf:type owl:Class .
first:minus6 rdf:type owl:Class .
first:plus6 owl:disjointWith first:minus6 .
first:plus7 rdf:type owl:Class .
first:minus7 rdf:type owl:Class .
first:plus7 owl:disjointWith first:minus7 .
first:plus8 rdf:type owl:Class .
first:minus8 rdf:type owl:Class .
first:plus8 owl:disjointWith first:minus8 .
first:plus9 rdf:type owl:Class .
first:minus9 rdf:type owl:Class .
first:plus9 owl:disjointWith first:minus9 .
first:Test rdf:type owl:Class .
_:c rdf:type owl:Class .
_:e rdf:first first:minus8 .
_:e rdf:rest rdf:nil .
_:g rdf:first first:minus9 .
_:g rdf:rest _:e .
_:i rdf:first first:plus7 .
_:i rdf:rest _:g .
_:c owl:unionOf _:i .
first:Test rdfs:subClassOf _:c .
first:Test rdf:type owl:Class .
_:k rdf:type owl:Class .
_:m rdf:first first:minus8 .
_:m rdf:rest rdf:nil .
_:o rdf:first first:plus2 .
_:o rdf:rest _:m .
_:q rdf:first first:plus1 .
_:q rdf:rest _:o .
_:k owl:unionOf _:q .
first:Test rdfs:subClassOf _:k .
first:Test rdf:type owl:Class .
_:s rdf:type owl:Class .
_:u rdf:first first:minus5 .
_:u rdf:rest rdf:nil .
_:w rdf:first first:plus7 .
_:w rdf:rest _:u .
_:y rdf:first first:plus4 .
_:y rdf:rest _:w .
_:s owl:unionOf _:y .
first:Test rdfs:subClassOf _:s .
first:Test rdf:type owl:Class .
_:a1 rdf:type owl:Class .
_:c1 rdf:first first:minus1 .
_:c1 rdf:rest rdf:nil .
_:e1 rdf:first first:plus3 .
_:e1 rdf:rest _:c1 .
_:g1 rdf:first first:plus2 .
_:g1 rdf:rest _:e1 .
_:a1 owl:unionOf _:g1 .
first:Test rdfs:subClassOf _:a1 .
first:Test rdf:type owl:Class .
_:i1 rdf:type owl:Class .
_:k1 rdf:first first:plus8 .
_:k1 rdf:rest rdf:nil .
_:m1 rdf:first first:plus5 .
_:m1 rdf:rest _:k1 .
_:o1 rdf:first first:minus1 .
_:o1 rdf:rest _:m1 .
_:i1 owl:unionOf _:o1 .
first:Test rdfs:subClassOf _:i1 .
first:Test rdf:type owl:Class .
_:q1 rdf:type owl:Class .
_:s1 rdf:first first:minus3 .
_:s1 rdf:rest rdf:nil .
_:u1 rdf:first first:minus6 .
_:u1 rdf:rest _:s1 .
_:w1 rdf:first first:minus8 .
_:w1 rdf:rest _:u1 .
_:q1 owl:unionOf _:w1 .
first:Test rdfs:subClassOf _:q1 .
first:Test rdf:type owl:Class .
_:y1 rdf:type owl:Class .
_:a2 rdf:first first:plus7 .
_:a2 rdf:rest rdf:nil .
_:c2 rdf:first first:minus8 .
_:c2 rdf:rest _:a2 .
_:e2 rdf:first first:minus3 .
_:e2 rdf:rest _:c2 .
_:y1 owl:unionOf _:e2 .
first:Test rdfs:subClassOf _:y1 .
first:Test rdf:type owl:Class .
_:g2 rdf:type owl:Class .
_:i2 rdf:first first:plus8 .
_:i2 rdf:rest rdf:nil .
_:k2 rdf:first first:plus6 .
_:k2 rdf:rest _:i2 .
_:m2 rdf:first first:minus3 .
_:m2 rdf:rest _:k2 .
_:g2 owl:unionOf _:m2 .
first:Test rdfs:subClassOf _:g2 .
first:Test rdf:type owl:Class .
_:o2 rdf:type owl:Class .
_:q2 rdf:first first:plus8 .
_:q2 rdf:rest rdf:nil .
_:s2 rdf:first first:minus6 .
_:s2 rdf:rest _:q2 .
_:u2 rdf:first first:minus4 .
_:u2 rdf:rest _:s2 .
_:o2 owl:unionOf _:u2 .
first:Test rdfs:subClassOf _:o2 .
first:Test rdf:type owl:Class .
_:w2 rdf:type owl:Class .
_:y2 rdf:first first:plus3 .
_:y2 rdf:rest rdf:nil .
_:a3 rdf:first first:plus7 .
_:a3 rdf:rest _:y2 .
_:c3 rdf:first first:plus6 .
_:c3 rdf:rest _:a3 .
_:w2 owl:unionOf _:c3 .
first:Test rdfs:subClassOf _:w2 .
first:Test rdf:type owl:Class .
_:e3 rdf:type owl:Class .
_:g3 rdf:first first:minus9 .
_:g3 rdf:rest rdf:nil .
_:i3 rdf:first first:plus6 .
_:i3 rdf:rest _:g3 .
_:k3 rdf:first first:plus3 .
_:k3 rdf:rest _:i3 .
_:e3 owl:unionOf _:k3 .
first:Test rdfs:subClassOf _:e3 .
first:Test rdf:type owl:Class .
_:m3 rdf:type owl:Class .
_:o3 rdf:first first:plus3 .
_:o3 rdf:rest rdf:nil .
_:q3 rdf:first first:minus2 .
_:q3 rdf:rest _:o3 .
_:s3 rdf:first first:minus5 .
_:s3 rdf:rest _:q3 .
_:m3 owl:unionOf _:s3 .
first:Test rdfs:subClassOf _:m3 .
first:Test rdf:type owl:Class .
_:u3 rdf:type owl:Class .
_:w3 rdf:first first:plus2 .
_:w3 rdf:rest rdf:nil .
_:y3 rdf:first first:plus8 .
_:y3 rdf:rest _:w3 .
_:a4 rdf:first first:plus5 .
_:a4 rdf:rest _:y3 .
_:u3 owl:unionOf _:a4 .
first:Test rdfs:subClassOf _:u3 .
first:Test rdf:type owl:Class .
_:c4 rdf:type owl:Class .
_:e4 rdf:first first:minus3 .
_:e4 rdf:rest rdf:nil .
_:g4 rdf:first first:minus7 .
_:g4 rdf:rest _:e4 .
_:i4 rdf:first first:minus2 .
_:i4 rdf:rest _:g4 .
_:c4 owl:unionOf _:i4 .
first:Test rdfs:subClassOf _:c4 .
first:Test rdf:type owl:Class .
_:k4 rdf:type owl:Class .
_:m4 rdf:first first:minus5 .
_:m4 rdf:rest rdf:nil .
_:o4 rdf:first first:minus8 .
_:o4 rdf:rest _:m4 .
_:q4 rdf:first first:minus6 .
_:q4 rdf:rest _:o4 .
_:k4 owl:unionOf _:q4 .
first:Test rdfs:subClassOf _:k4 .
first:Test rdf:type owl:Class .
_:s4 rdf:type owl:Class .
_:u4 rdf:first first:minus3 .
_:u4 rdf:rest rdf:nil .
_:w4 rdf:first first:plus7 .
_:w4 rdf:rest _:u4 .
_:y4 rdf:first first:plus2 .
_:y4 rdf:rest _:w4 .
_:s4 owl:unionOf _:y4 .
first:Test rdfs:subClassOf _:s4 .
first:Test rdf:type owl:Class .
_:a5 rdf:type owl:Class .
_:c5 rdf:first first:minus2 .
_:c5 rdf:rest rdf:nil .
_:e5 rdf:first first:minus1 .
_:e5 rdf:rest _:c5 .
_:g5 rdf:first first:plus9 .
_:g5 rdf:rest _:e5 .
_:a5 owl:unionOf _:g5 .
first:Test rdfs:subClassOf _:a5 .
first:Test rdf:type owl:Class .
_:i5 rdf:type owl:Class .
_:k5 rdf:first first:minus6 .
_:k5 rdf:rest rdf:nil .
_:m5 rdf:first first:plus7 .
_:m5 rdf:rest _:k5 .
_:o5 rdf:first first:plus1 .
_:o5 rdf:rest _:m5 .
_:i5 owl:unionOf _:o5 .
first:Test rdfs:subClassOf _:i5 .
first:Test rdf:type owl:Class .
_:q5 rdf:type owl:Class .
_:s5 rdf:first first:minus3 .
_:s5 rdf:rest rdf:nil .
_:u5 rdf:first first:plus9 .
_:u5 rdf:rest _:s5 .
_:w5 rdf:first first:plus1 .
_:w5 rdf:rest _:u5 .
_:q5 owl:unionOf _:w5 .
first:Test rdfs:subClassOf _:q5 .
first:Test rdf:type owl:Class .
_:y5 rdf:type owl:Class .
_:a6 rdf:first first:minus2 .
_:a6 rdf:rest rdf:nil .
_:c6 rdf:first first:minus9 .
_:c6 rdf:rest _:a6 .
_:e6 rdf:first first:minus8 .
_:e6 rdf:rest _:c6 .
_:y5 owl:unionOf _:e6 .
first:Test rdfs:subClassOf _:y5 .
first:Test rdf:type owl:Class .
_:g6 rdf:type owl:Class .
_:i6 rdf:first first:plus2 .
_:i6 rdf:rest rdf:nil .
_:k6 rdf:first first:minus8 .
_:k6 rdf:rest _:i6 .
_:m6 rdf:first first:minus9 .
_:m6 rdf:rest _:k6 .
_:g6 owl:unionOf _:m6 .
first:Test rdfs:subClassOf _:g6 .
first:Test rdf:type owl:Class .
_:o6 rdf:type owl:Class .
_:q6 rdf:first first:plus4 .
_:q6 rdf:rest rdf:nil .
_:s6 rdf:first first:plus8 .
_:s6 rdf:rest _:q6 .
_:u6 rdf:first first:plus5 .
_:u6 rdf:rest _:s6 .
_:o6 owl:unionOf _:u6 .
first:Test rdfs:subClassOf _:o6 .
first:Test rdf:type owl:Class .
_:w6 rdf:type owl:Class .
_:y6 rdf:first first:plus5 .
_:y6 rdf:rest rdf:nil .
_:a7 rdf:first first:plus2 .
_:a7 rdf:rest _:y6 .
_:c7 rdf:first first:minus7 .
_:c7 rdf:rest _:a7 .
_:w6 owl:unionOf _:c7 .
first:Test rdfs:subClassOf _:w6 .
first:Test rdf:type owl:Class .
_:e7 rdf:type owl:Class .
_:g7 rdf:first first:minus4 .
_:g7 rdf:rest rdf:nil .
_:i7 rdf:first first:plus7 .
_:i7 rdf:rest _:g7 .
_:k7 rdf:first first:minus1 .
_:k7 rdf:rest _:i7 .
_:e7 owl:unionOf _:k7 .
first:Test rdfs:subClassOf _:e7 .
first:Test rdf:type owl:Class .
_:m7 rdf:type owl:Class .
_:o7 rdf:first first:plus4 .
_:o7 rdf:rest rdf:nil .
_:q7 rdf:first first:minus8 .
_:q7 rdf:rest _:o7 .
_:s7 rdf:first first:plus7 .
_:s7 rdf:rest _:q7 .
_:m7 owl:unionOf _:s7 .
first:Test rdfs:subClassOf _:m7 .
first:Test rdf:type owl:Class .
_:u7 rdf:type owl:Class .
_:w7 rdf:first first:minus6 .
_:w7 rdf:rest rdf:nil .
_:y7 rdf:first first:plus2 .
_:y7 rdf:rest _:w7 .
_:a8 rdf:first first:minus3 .
_:a8 rdf:rest _:y7 .
_:u7 owl:unionOf _:a8 .
first:Test rdfs:subClassOf _:u7 .
first:Test rdf:type owl:Class .
_:c8 rdf:type owl:Class .
_:e8 rdf:first first:minus9 .
_:e8 rdf:rest rdf:nil .
_:g8 rdf:first first:minus2 .
_:g8 rdf:rest _:e8 .
_:i8 rdf:first first:plus1 .
_:i8 rdf:rest _:g8 .
_:c8 owl:unionOf _:i8 .
first:Test rdfs:subClassOf _:c8 .
first:Test rdf:type owl:Class .
_:k8 rdf:type owl:Class .
_:m8 rdf:first first:minus2 .
_:m8 rdf:rest rdf:nil .
_:o8 rdf:first first:plus3 .
_:o8 rdf:rest _:m8 .
_:q8 rdf:first first:plus7 .
_:q8 rdf:rest _:o8 .
_:k8 owl:unionOf _:q8 .
first:Test rdfs:subClassOf _:k8 .
first:Test rdf:type owl:Class .
_:s8 rdf:type owl:Class .
_:u8 rdf:first first:plus4 .
_:u8 rdf:rest rdf:nil .
_:w8 rdf:first first:plus8 .
_:w8 rdf:rest _:u8 .
_:y8 rdf:first first:minus7 .
_:y8 rdf:rest _:w8 .
_:s8 owl:unionOf _:y8 .
first:Test rdfs:subClassOf _:s8 .
first:Test rdf:type owl:Class .
_:a9 rdf:type owl:Class .
_:c9 rdf:first first:minus5 .
_:c9 rdf:rest rdf:nil .
_:e9 rdf:first first:minus7 .
_:e9 rdf:rest _:c9 .
_:g9 rdf:first first:plus1 .
_:g9 rdf:rest _:e9 .
_:a9 owl:unionOf _:g9 .
first:Test rdfs:subClassOf _:a9 .
first:Test rdf:type owl:Class .
_:i9 rdf:type owl:Class .
_:k9 rdf:first first:minus3 .
_:k9 rdf:rest rdf:nil .
_:m9 rdf:first first:plus4 .
_:m9 rdf:rest _:k9 .
_:o9 rdf:first first:minus5 .
_:o9 rdf:rest _:m9 .
_:i9 owl:unionOf _:o9 .
first:Test rdfs:subClassOf _:i9 .
first:Test rdf:type owl:Class .
_:q9 rdf:type owl:Class .
_:s9 rdf:first first:minus1 .
_:s9 rdf:rest rdf:nil .
_:u9 rdf:first first:plus7 .
_:u9 rdf:rest _:s9 .
_:w9 rdf:first first:plus6 .
_:w9 rdf:rest _:u9 .
_:q9 owl:unionOf _:w9 .
first:Test rdfs:subClassOf _:q9 .
first:Test rdf:type owl:Class .
_:y9 rdf:type owl:Class .
_:a10 rdf:first first:minus9 .
_:a10 rdf:rest rdf:nil .
_:c10 rdf:first first:plus7 .
_:c10 rdf:rest _:a10 .
_:e10 rdf:first first:minus1 .
_:e10 rdf:rest _:c10 .
_:y9 owl:unionOf _:e10 .
first:Test rdfs:subClassOf _:y9 .
first:Test rdf:type owl:Class .
_:g10 rdf:type owl:Class .
_:i10 rdf:first first:plus6 .
_:i10 rdf:rest rdf:nil .
_:k10 rdf:first first:plus2 .
_:k10 rdf:rest _:i10 .
_:m10 rdf:first first:plus3 .
_:m10 rdf:rest _:k10 .
_:g10 owl:unionOf _:m10 .
first:Test rdfs:subClassOf _:g10 .
first:Test rdf:type owl:Class .
_:o10 rdf:type owl:Class .
_:q10 rdf:first first:minus7 .
_:q10 rdf:rest rdf:nil .
_:s10 rdf:first first:plus3 .
_:s10 rdf:rest _:q10 .
_:u10 rdf:first first:plus8 .
_:u10 rdf:rest _:s10 .
_:o10 owl:unionOf _:u10 .
first:Test rdfs:subClassOf _:o10 .
first:Test rdf:type owl:Class .
_:w10 rdf:type owl:Class .
_:y10 rdf:first first:minus8 .
_:y10 rdf:rest rdf:nil .
_:a11 rdf:first first:plus9 .
_:a11 rdf:rest _:y10 .
_:c11 rdf:first first:minus1 .
_:c11 rdf:rest _:a11 .
_:w10 owl:unionOf _:c11 .
first:Test rdfs:subClassOf _:w10 .
first:Test rdf:type owl:Class .
_:e11 rdf:type owl:Class .
_:g11 rdf:first first:minus7 .
_:g11 rdf:rest rdf:nil .
_:i11 rdf:first first:minus9 .
_:i11 rdf:rest _:g11 .
_:k11 rdf:first first:plus5 .
_:k11 rdf:rest _:i11 .
_:e11 owl:unionOf _:k11 .
first:Test rdfs:subClassOf _:e11 .
first:Test rdf:type owl:Class .
_:m11 rdf:type owl:Class .
_:o11 rdf:first first:minus9 .
_:o11 rdf:rest rdf:nil .
_:q11 rdf:first first:plus3 .
_:q11 rdf:rest _:o11 .
_:s11 rdf:first first:minus7 .
_:s11 rdf:rest _:q11 .
_:m11 owl:unionOf _:s11 .
first:Test rdfs:subClassOf _:m11 .
first:Test rdf:type owl:Class .
_:u11 rdf:type owl:Class .
_:w11 rdf:first first:minus2 .
_:w11 rdf:rest rdf:nil .
_:y11 rdf:first first:minus1 .
_:y11 rdf:rest _:w11 .
_:a12 rdf:first first:plus3 .
_:a12 rdf:rest _:y11 .
_:u11 owl:unionOf _:a12 .
first:Test rdfs:subClassOf _:u11 .
first:Test rdf:type owl:Class .
_:c12 rdf:type owl:Class .
_:e12 rdf:first first:plus4 .
_:e12 rdf:rest rdf:nil .
_:g12 rdf:first first:plus1 .
_:g12 rdf:rest _:e12 .
_:i12 rdf:first first:plus6 .
_:i12 rdf:rest _:g12 .
_:c12 owl:unionOf _:i12 .
first:Test rdfs:subClassOf _:c12 .
first:Test rdf:type owl:Class .
_:k12 rdf:type owl:Class .
_:m12 rdf:first first:plus5 .
_:m12 rdf:rest rdf:nil .
_:o12 rdf:first first:minus7 .
_:o12 rdf:rest _:m12 .
_:q12 rdf:first first:plus6 .
_:q12 rdf:rest _:o12 .
_:k12 owl:unionOf _:q12 .
first:Test rdfs:subClassOf _:k12 .
first:Test rdf:type owl:Class .
_:s12 rdf:type owl:Class .
_:u12 rdf:first first:plus3 .
_:u12 rdf:rest rdf:nil .
_:w12 rdf:first first:minus6 .
_:w12 rdf:rest _:u12 .
_:y12 rdf:first first:plus8 .
_:y12 rdf:rest _:w12 .
_:s12 owl:unionOf _:y12 .
first:Test rdfs:subClassOf _:s12 .
first:Test rdf:type owl:Class .
_:a13 rdf:type owl:Class .
_:c13 rdf:first first:plus6 .
_:c13 rdf:rest rdf:nil .
_:e13 rdf:first first:minus2 .
_:e13 rdf:rest _:c13 .
_:g13 rdf:first first:plus5 .
_:g13 rdf:rest _:e13 .
_:a13 owl:unionOf _:g13 .
first:Test rdfs:subClassOf _:a13 .
first:Test rdf:type owl:Class .
_:i13 rdf:type owl:Class .
_:k13 rdf:first first:minus5 .
_:k13 rdf:rest rdf:nil .
_:m13 rdf:first first:plus3 .
_:m13 rdf:rest _:k13 .
_:o13 rdf:first first:plus8 .
_:o13 rdf:rest _:m13 .
_:i13 owl:unionOf _:o13 .
first:Test rdfs:subClassOf _:i13 .
first:Test rdf:type owl:Class .
_:q13 rdf:type owl:Class .
_:s13 rdf:first first:minus9 .
_:s13 rdf:rest rdf:nil .
_:u13 rdf:first first:minus4 .
_:u13 rdf:rest _:s13 .
_:w13 rdf:first first:minus2 .
_:w13 rdf:rest _:u13 .
_:q13 owl:unionOf _:w13 .
first:Test rdfs:subClassOf _:q13 .

DL FullInconsistent document.504
Description: (informative) <description-logic/Manifest504#test>
This is a different encoding of test 502.
N3 format is informative.
DLInconsistent: <description-logic/inconsistent504>
<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/inconsistent504#"
    xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent504" >

 <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='#plus1'/>
     <rdf:Description rdf:about='#plus2'/>
     <rdf:Description rdf:about='#minus4'/>
    </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='#minus4'/>
    </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='#minus4'/>
     <rdf:Description rdf:about='#plus5'/>
    </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='#minus6'/>
     <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='#minus2'/>
     <rdf:Description rdf:about='#minus3'/>
     <rdf:Description rdf:about='#plus1'/>
    </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='#plus8'/>
     <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='#minus8'/>
     <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='#minus7'/>
     <rdf:Description rdf:about='#minus6'/>
     <rdf:Description rdf:about='#plus9'/>
    </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='#minus4'/>
     <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='#minus8'/>
     <rdf:Description rdf:about='#minus5'/>
     <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='#plus4'/>
     <rdf:Description rdf:about='#plus3'/>
     <rdf:Description rdf:about='#plus6'/>
    </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='#minus1'/>
     <rdf:Description rdf:about='#plus4'/>
    </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='#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='#plus6'/>
     <rdf:Description rdf:about='#minus2'/>
     <rdf:Description rdf:about='#plus9'/>
    </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='#plus7'/>
     <rdf:Description rdf:about='#minus9'/>
     <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='#plus2'/>
     <rdf:Description rdf:about='#minus5'/>
     <rdf:Description rdf:about='#minus7'/>
    </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='#plus2'/>
     <rdf:Description rdf:about='#plus9'/>
    </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='#minus2'/>
     <rdf:Description rdf:about='#minus7'/>
    </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='#minus9'/>
     <rdf:Description rdf:about='#plus3'/>
     <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='#plus4'/>
    </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='#plus1'/>
     <rdf:Description rdf:about='#plus9'/>
    </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='#plus1'/>
     <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='#plus7'/>
     <rdf:Description rdf:about='#minus4'/>
     <rdf:Description rdf:about='#plus9'/>
    </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='#plus3'/>
     <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='#minus4'/>
     <rdf:Description rdf:about='#plus9'/>
     <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='#plus3'/>
     <rdf:Description rdf:about='#plus9'/>
    </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='#minus7'/>
     <rdf:Description rdf:about='#plus9'/>
     <rdf:Description rdf:about='#plus5'/>
    </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='#plus1'/>
     <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='#minus5'/>
     <rdf:Description rdf:about='#plus8'/>
     <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='#plus8'/>
     <rdf:Description rdf:about='#minus7'/>
     <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='#plus4'/>
     <rdf:Description rdf:about='#minus8'/>
     <rdf:Description rdf:about='#plus6'/>
    </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='#plus6'/>
     <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='#minus6'/>
     <rdf:Description rdf:about='#plus1'/>
     <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='#plus1'/>
     <rdf:Description rdf:about='#plus9'/>
     <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='#plus9'/>
     <rdf:Description rdf:about='#minus8'/>
     <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='#plus6'/>
     <rdf:Description rdf:about='#plus3'/>
     <rdf:Description rdf:about='#minus4'/>
    </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='#plus8'/>
     <rdf:Description rdf:about='#minus4'/>
     <rdf:Description rdf:about='#plus6'/>
    </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='#plus5'/>
     <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='#minus9'/>
     <rdf:Description rdf:about='#plus4'/>
     <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='#plus8'/>
     <rdf:Description rdf:about='#minus4'/>
     <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='#minus5'/>
     <rdf:Description rdf:about='#minus2'/>
     <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='#minus7'/>
     <rdf:Description rdf:about='#minus3'/>
     <rdf:Description rdf:about='#minus4'/>
    </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='#minus9'/>
     <rdf:Description rdf:about='#minus4'/>
     <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='#plus6'/>
     <rdf:Description rdf:about='#minus4'/>
     <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='#plus6'/>
     <rdf:Description rdf:about='#minus7'/>
     <rdf:Description rdf:about='#minus8'/>
    </owl:unionOf>
   </owl:Class>
  </rdfs:subClassOf>
 </owl:Class>


</rdf:RDF>
_:a rdf:type first:Test .
first:plus1 rdf:type owl:Class .
first:minus1 rdf:type owl:Class .
first:plus1 owl:disjointWith first:minus1 .
first:plus2 rdf:type owl:Class .
first:minus2 rdf:type owl:Class .
first:plus2 owl:disjointWith first:minus2 .
first:plus3 rdf:type owl:Class .
first:minus3 rdf:type owl:Class .
first:plus3 owl:disjointWith first:minus3 .
first:plus4 rdf:type owl:Class .
first:minus4 rdf:type owl:Class .
first:plus4 owl:disjointWith first:minus4 .
first:plus5 rdf:type owl:Class .
first:minus5 rdf:type owl:Class .
first:plus5 owl:disjointWith first:minus5 .
first:plus6 rdf:type owl:Class .
first:minus6 rdf:type owl:Class .
first:plus6 owl:disjointWith first:minus6 .
first:plus7 rdf:type owl:Class .
first:minus7 rdf:type owl:Class .
first:plus7 owl:disjointWith first:minus7 .
first:plus8 rdf:type owl:Class .
first:minus8 rdf:type owl:Class .
first:plus8 owl:disjointWith first:minus8 .
first:plus9 rdf:type owl:Class .
first:minus9 rdf:type owl:Class .
first:plus9 owl:disjointWith first:minus9 .
first:Test rdf:type owl:Class .
_:c rdf:type owl:Class .
_:e rdf:first first:minus4 .
_:e rdf:rest rdf:nil .
_:g rdf:first first:plus2 .
_:g rdf:rest _:e .
_:i rdf:first first:plus1 .
_:i rdf:rest _:g .
_:c owl:unionOf _:i .
first:Test rdfs:subClassOf _:c .
first:Test rdf:type owl:Class .
_:k rdf:type owl:Class .
_:m rdf:first first:minus4 .
_:m rdf:rest rdf:nil .
_:o rdf:first first:plus6 .
_:o rdf:rest _:m .
_:q rdf:first first:minus3 .
_:q rdf:rest _:o .
_:k owl:unionOf _:q .
first:Test rdfs:subClassOf _:k .
first:Test rdf:type owl:Class .
_:s rdf:type owl:Class .
_:u rdf:first first:plus5 .
_:u rdf:rest rdf:nil .
_:w rdf:first first:minus4 .
_:w rdf:rest _:u .
_:y rdf:first first:plus9 .
_:y rdf:rest _:w .
_:s owl:unionOf _:y .
first:Test rdfs:subClassOf _:s .
first:Test rdf:type owl:Class .
_:a1 rdf:type owl:Class .
_:c1 rdf:first first:minus2 .
_:c1 rdf:rest rdf:nil .
_:e1 rdf:first first:minus6 .
_:e1 rdf:rest _:c1 .
_:g1 rdf:first first:plus4 .
_:g1 rdf:rest _:e1 .
_:a1 owl:unionOf _:g1 .
first:Test rdfs:subClassOf _:a1 .
first:Test rdf:type owl:Class .
_:i1 rdf:type owl:Class .
_:k1 rdf:first first:plus1 .
_:k1 rdf:rest rdf:nil .
_:m1 rdf:first first:minus3 .
_:m1 rdf:rest _:k1 .
_:o1 rdf:first first:minus2 .
_:o1 rdf:rest _:m1 .
_:i1 owl:unionOf _:o1 .
first:Test rdfs:subClassOf _:i1 .
first:Test rdf:type owl:Class .
_:q1 rdf:type owl:Class .
_:s1 rdf:first first:plus7 .
_:s1 rdf:rest rdf:nil .
_:u1 rdf:first first:plus8 .
_:u1 rdf:rest _:s1 .
_:w1 rdf:first first:minus3 .
_:w1 rdf:rest _:u1 .
_:q1 owl:unionOf _:w1 .
first:Test rdfs:subClassOf _:q1 .
first:Test rdf:type owl:Class .
_:y1 rdf:type owl:Class .
_:a2 rdf:first first:plus3 .
_:a2 rdf:rest rdf:nil .
_:c2 rdf:first first:minus2 .
_:c2 rdf:rest _:a2 .
_:e2 rdf:first first:minus8 .
_:e2 rdf:rest _:c2 .
_:y1 owl:unionOf _:e2 .
first:Test rdfs:subClassOf _:y1 .
first:Test rdf:type owl:Class .
_:g2 rdf:type owl:Class .
_:i2 rdf:first first:plus9 .
_:i2 rdf:rest rdf:nil .
_:k2 rdf:first first:minus6 .
_:k2 rdf:rest _:i2 .
_:m2 rdf:first first:minus7 .
_:m2 rdf:rest _:k2 .
_:g2 owl:unionOf _:m2 .
first:Test rdfs:subClassOf _:g2 .
first:Test rdf:type owl:Class .
_:o2 rdf:type owl:Class .
_:q2 rdf:first first:minus6 .
_:q2 rdf:rest rdf:nil .
_:s2 rdf:first first:minus4 .
_:s2 rdf:rest _:q2 .
_:u2 rdf:first first:plus1 .
_:u2 rdf:rest _:s2 .
_:o2 owl:unionOf _:u2 .
first:Test rdfs:subClassOf _:o2 .
first:Test rdf:type owl:Class .
_:w2 rdf:type owl:Class .
_:y2 rdf:first first:minus3 .
_:y2 rdf:rest rdf:nil .
_:a3 rdf:first first:minus5 .
_:a3 rdf:rest _:y2 .
_:c3 rdf:first first:minus8 .
_:c3 rdf:rest _:a3 .
_:w2 owl:unionOf _:c3 .
first:Test rdfs:subClassOf _:w2 .
first:Test rdf:type owl:Class .
_:e3 rdf:type owl:Class .
_:g3 rdf:first first:plus6 .
_:g3 rdf:rest rdf:nil .
_:i3 rdf:first first:plus3 .
_:i3 rdf:rest _:g3 .
_:k3 rdf:first first:plus4 .
_:k3 rdf:rest _:i3 .
_:e3 owl:unionOf _:k3 .
first:Test rdfs:subClassOf _:e3 .
first:Test rdf:type owl:Class .
_:m3 rdf:type owl:Class .
_:o3 rdf:first first:plus4 .
_:o3 rdf:rest rdf:nil .
_:q3 rdf:first first:minus1 .
_:q3 rdf:rest _:o3 .
_:s3 rdf:first first:plus2 .
_:s3 rdf:rest _:q3 .
_:m3 owl:unionOf _:s3 .
first:Test rdfs:subClassOf _:m3 .
first:Test rdf:type owl:Class .
_:u3 rdf:type owl:Class .
_:w3 rdf:first first:plus2 .
_:w3 rdf:rest rdf:nil .
_:y3 rdf:first first:plus8 .
_:y3 rdf:rest _:w3 .
_:a4 rdf:first first:minus3 .
_:a4 rdf:rest _:y3 .
_:u3 owl:unionOf _:a4 .
first:Test rdfs:subClassOf _:u3 .
first:Test rdf:type owl:Class .
_:c4 rdf:type owl:Class .
_:e4 rdf:first first:plus9 .
_:e4 rdf:rest rdf:nil .
_:g4 rdf:first first:minus2 .
_:g4 rdf:rest _:e4 .
_:i4 rdf:first first:plus6 .
_:i4 rdf:rest _:g4 .
_:c4 owl:unionOf _:i4 .
first:Test rdfs:subClassOf _:c4 .
first:Test rdf:type owl:Class .
_:k4 rdf:type owl:Class .
_:m4 rdf:first first:minus2 .
_:m4 rdf:rest rdf:nil .
_:o4 rdf:first first:minus9 .
_:o4 rdf:rest _:m4 .
_:q4 rdf:first first:plus7 .
_:q4 rdf:rest _:o4 .
_:k4 owl:unionOf _:q4 .
first:Test rdfs:subClassOf _:k4 .
first:Test rdf:type owl:Class .
_:s4 rdf:type owl:Class .
_:u4 rdf:first first:minus7 .
_:u4 rdf:rest rdf:nil .
_:w4 rdf:first first:minus5 .
_:w4 rdf:rest _:u4 .
_:y4 rdf:first first:plus2 .
_:y4 rdf:rest _:w4 .
_:s4 owl:unionOf _:y4 .
first:Test rdfs:subClassOf _:s4 .
first:Test rdf:type owl:Class .
_:a5 rdf:type owl:Class .
_:c5 rdf:first first:plus9 .
_:c5 rdf:rest rdf:nil .
_:e5 rdf:first first:plus2 .
_:e5 rdf:rest _:c5 .
_:g5 rdf:first first:plus5 .
_:g5 rdf:rest _:e5 .
_:a5 owl:unionOf _:g5 .
first:Test rdfs:subClassOf _:a5 .
first:Test rdf:type owl:Class .
_:i5 rdf:type owl:Class .
_:k5 rdf:first first:minus7 .
_:k5 rdf:rest rdf:nil .
_:m5 rdf:first first:minus2 .
_:m5 rdf:rest _:k5 .
_:o5 rdf:first first:plus6 .
_:o5 rdf:rest _:m5 .
_:i5 owl:unionOf _:o5 .
first:Test rdfs:subClassOf _:i5 .
first:Test rdf:type owl:Class .
_:q5 rdf:type owl:Class .
_:s5 rdf:first first:minus2 .
_:s5 rdf:rest rdf:nil .
_:u5 rdf:first first:plus3 .
_:u5 rdf:rest _:s5 .
_:w5 rdf:first first:minus9 .
_:w5 rdf:rest _:u5 .
_:q5 owl:unionOf _:w5 .
first:Test rdfs:subClassOf _:q5 .
first:Test rdf:type owl:Class .
_:y5 rdf:type owl:Class .
_:a6 rdf:first first:plus4 .
_:a6 rdf:rest rdf:nil .
_:c6 rdf:first first:plus7 .
_:c6 rdf:rest _:a6 .
_:e6 rdf:first first:plus1 .
_:e6 rdf:rest _:c6 .
_:y5 owl:unionOf _:e6 .
first:Test rdfs:subClassOf _:y5 .
first:Test rdf:type owl:Class .
_:g6 rdf:type owl:Class .
_:i6 rdf:first first:plus9 .
_:i6 rdf:rest rdf:nil .
_:k6 rdf:first first:plus1 .
_:k6 rdf:rest _:i6 .
_:m6 rdf:first first:minus4 .
_:m6 rdf:rest _:k6 .
_:g6 owl:unionOf _:m6 .
first:Test rdfs:subClassOf _:g6 .
first:Test rdf:type owl:Class .
_:o6 rdf:type owl:Class .
_:q6 rdf:first first:minus6 .
_:q6 rdf:rest rdf:nil .
_:s6 rdf:first first:plus1 .
_:s6 rdf:rest _:q6 .
_:u6 rdf:first first:plus2 .
_:u6 rdf:rest _:s6 .
_:o6 owl:unionOf _:u6 .
first:Test rdfs:subClassOf _:o6 .
first:Test rdf:type owl:Class .
_:w6 rdf:type owl:Class .
_:y6 rdf:first first:plus9 .
_:y6 rdf:rest rdf:nil .
_:a7 rdf:first first:minus4 .
_:a7 rdf:rest _:y6 .
_:c7 rdf:first first:plus7 .
_:c7 rdf:rest _:a7 .
_:w6 owl:unionOf _:c7 .
first:Test rdfs:subClassOf _:w6 .
first:Test rdf:type owl:Class .
_:e7 rdf:type owl:Class .
_:g7 rdf:first first:minus9 .
_:g7 rdf:rest rdf:nil .
_:i7 rdf:first first:plus3 .
_:i7 rdf:rest _:g7 .
_:k7 rdf:first first:minus5 .
_:k7 rdf:rest _:i7 .
_:e7 owl:unionOf _:k7 .
first:Test rdfs:subClassOf _:e7 .
first:Test rdf:type owl:Class .
_:m7 rdf:type owl:Class .
_:o7 rdf:first first:minus8 .
_:o7 rdf:rest rdf:nil .
_:q7 rdf:first first:plus9 .
_:q7 rdf:rest _:o7 .
_:s7 rdf:first first:minus4 .
_:s7 rdf:rest _:q7 .
_:m7 owl:unionOf _:s7 .
first:Test rdfs:subClassOf _:m7 .
first:Test rdf:type owl:Class .
_:u7 rdf:type owl:Class .
_:w7 rdf:first first:plus9 .
_:w7 rdf:rest rdf:nil .
_:y7 rdf:first first:plus3 .
_:y7 rdf:rest _:w7 .
_:a8 rdf:first first:plus4 .
_:a8 rdf:rest _:y7 .
_:u7 owl:unionOf _:a8 .
first:Test rdfs:subClassOf _:u7 .
first:Test rdf:type owl:Class .
_:c8 rdf:type owl:Class .
_:e8 rdf:first first:plus5 .
_:e8 rdf:rest rdf:nil .
_:g8 rdf:first first:plus9 .
_:g8 rdf:rest _:e8 .
_:i8 rdf:first first:minus7 .
_:i8 rdf:rest _:g8 .
_:c8 owl:unionOf _:i8 .
first:Test rdfs:subClassOf _:c8 .
first:Test rdf:type owl:Class .
_:k8 rdf:type owl:Class .
_:m8 rdf:first first:plus3 .
_:m8 rdf:rest rdf:nil .
_:o8 rdf:first first:plus1 .
_:o8 rdf:rest _:m8 .
_:q8 rdf:first first:plus4 .
_:q8 rdf:rest _:o8 .
_:k8 owl:unionOf _:q8 .
first:Test rdfs:subClassOf _:k8 .
first:Test rdf:type owl:Class .
_:s8 rdf:type owl:Class .
_:u8 rdf:first first:plus7 .
_:u8 rdf:rest rdf:nil .
_:w8 rdf:first first:plus8 .
_:w8 rdf:rest _:u8 .
_:y8 rdf:first first:minus5 .
_:y8 rdf:rest _:w8 .
_:s8 owl:unionOf _:y8 .
first:Test rdfs:subClassOf _:s8 .
first:Test rdf:type owl:Class .
_:a9 rdf:type owl:Class .
_:c9 rdf:first first:plus3 .
_:c9 rdf:rest rdf:nil .
_:e9 rdf:first first:minus7 .
_:e9 rdf:rest _:c9 .
_:g9 rdf:first first:plus8 .
_:g9 rdf:rest _:e9 .
_:a9 owl:unionOf _:g9 .
first:Test rdfs:subClassOf _:a9 .
first:Test rdf:type owl:Class .
_:i9 rdf:type owl:Class .
_:k9 rdf:first first:plus6 .
_:k9 rdf:rest rdf:nil .
_:m9 rdf:first first:minus8 .
_:m9 rdf:rest _:k9 .
_:o9 rdf:first first:plus4 .
_:o9 rdf:rest _:m9 .
_:i9 owl:unionOf _:o9 .
first:Test rdfs:subClassOf _:i9 .
first:Test rdf:type owl:Class .
_:q9 rdf:type owl:Class .
_:s9 rdf:first first:minus5 .
_:s9 rdf:rest rdf:nil .
_:u9 rdf:first first:plus6 .
_:u9 rdf:rest _:s9 .
_:w9 rdf:first first:plus4 .
_:w9 rdf:rest _:u9 .
_:q9 owl:unionOf _:w9 .
first:Test rdfs:subClassOf _:q9 .
first:Test rdf:type owl:Class .
_:y9 rdf:type owl:Class .
_:a10 rdf:first first:minus9 .
_:a10 rdf:rest rdf:nil .
_:c10 rdf:first first:plus1 .
_:c10 rdf:rest _:a10 .
_:e10 rdf:first first:minus6 .
_:e10 rdf:rest _:c10 .
_:y9 owl:unionOf _:e10 .
first:Test rdfs:subClassOf _:y9 .
first:Test rdf:type owl:Class .
_:g10 rdf:type owl:Class .
_:i10 rdf:first first:minus6 .
_:i10 rdf:rest rdf:nil .
_:k10 rdf:first first:plus9 .
_:k10 rdf:rest _:i10 .
_:m10 rdf:first first:plus1 .
_:m10 rdf:rest _:k10 .
_:g10 owl:unionOf _:m10 .
first:Test rdfs:subClassOf _:g10 .
first:Test rdf:type owl:Class .
_:o10 rdf:type owl:Class .
_:q10 rdf:first first:plus3 .
_:q10 rdf:rest rdf:nil .
_:s10 rdf:first first:minus8 .
_:s10 rdf:rest _:q10 .
_:u10 rdf:first first:plus9 .
_:u10 rdf:rest _:s10 .
_:o10 owl:unionOf _:u10 .
first:Test rdfs:subClassOf _:o10 .
first:Test rdf:type owl:Class .
_:w10 rdf:type owl:Class .
_:y10 rdf:first first:minus4 .
_:y10 rdf:rest rdf:nil .
_:a11 rdf:first first:plus3 .
_:a11 rdf:rest _:y10 .
_:c11 rdf:first first:plus6 .
_:c11 rdf:rest _:a11 .
_:w10 owl:unionOf _:c11 .
first:Test rdfs:subClassOf _:w10 .
first:Test rdf:type owl:Class .
_:e11 rdf:type owl:Class .
_:g11 rdf:first first:plus6 .
_:g11 rdf:rest rdf:nil .
_:i11 rdf:first first:minus4 .
_:i11 rdf:rest _:g11 .
_:k11 rdf:first first:plus8 .
_:k11 rdf:rest _:i11 .
_:e11 owl:unionOf _:k11 .
first:Test rdfs:subClassOf _:e11 .
first:Test rdf:type owl:Class .
_:m11 rdf:type owl:Class .
_:o11 rdf:first first:minus8 .
_:o11 rdf:rest rdf:nil .
_:q11 rdf:first first:plus5 .
_:q11 rdf:rest _:o11 .
_:s11 rdf:first first:minus3 .
_:s11 rdf:rest _:q11 .
_:m11 owl:unionOf _:s11 .
first:Test rdfs:subClassOf _:m11 .
first:Test rdf:type owl:Class .
_:u11 rdf:type owl:Class .
_:w11 rdf:first first:plus3 .
_:w11 rdf:rest rdf:nil .
_:y11 rdf:first first:plus4 .
_:y11 rdf:rest _:w11 .
_:a12 rdf:first first:minus9 .
_:a12 rdf:rest _:y11 .
_:u11 owl:unionOf _:a12 .
first:Test rdfs:subClassOf _:u11 .
first:Test rdf:type owl:Class .
_:c12 rdf:type owl:Class .
_:e12 rdf:first first:plus2 .
_:e12 rdf:rest rdf:nil .
_:g12 rdf:first first:minus4 .
_:g12 rdf:rest _:e12 .
_:i12 rdf:first first:plus8 .
_:i12 rdf:rest _:g12 .
_:c12 owl:unionOf _:i12 .
first:Test rdfs:subClassOf _:c12 .
first:Test rdf:type owl:Class .
_:k12 rdf:type owl:Class .
_:m12 rdf:first first:minus9 .
_:m12 rdf:rest rdf:nil .
_:o12 rdf:first first:minus2 .
_:o12 rdf:rest _:m12 .
_:q12 rdf:first first:minus5 .
_:q12 rdf:rest _:o12 .
_:k12 owl:unionOf _:q12 .
first:Test rdfs:subClassOf _:k12 .
first:Test rdf:type owl:Class .
_:s12 rdf:type owl:Class .
_:u12 rdf:first first:minus4 .
_:u12 rdf:rest rdf:nil .
_:w12 rdf:first first:minus3 .
_:w12 rdf:rest _:u12 .
_:y12 rdf:first first:minus7 .
_:y12 rdf:rest _:w12 .
_:s12 owl:unionOf _:y12 .
first:Test rdfs:subClassOf _:s12 .
first:Test rdf:type owl:Class .
_:a13 rdf:type owl:Class .
_:c13 rdf:first first:minus8 .
_:c13 rdf:rest rdf:nil .
_:e13 rdf:first first:minus4 .
_:e13 rdf:rest _:c13 .
_:g13 rdf:first first:minus9 .
_:g13 rdf:rest _:e13 .
_:a13 owl:unionOf _:g13 .
first:Test rdfs:subClassOf _:a13 .
first:Test rdf:type owl:Class .
_:i13 rdf:type owl:Class .
_:k13 rdf:first first:minus1 .
_:k13 rdf:rest rdf:nil .
_:m13 rdf:first first:minus4 .
_:m13 rdf:rest _:k13 .
_:o13 rdf:first first:plus6 .
_:o13 rdf:rest _:m13 .
_:i13 owl:unionOf _:o13 .
first:Test rdfs:subClassOf _:i13 .
first:Test rdf:type owl:Class .
_:q13 rdf:type owl:Class .
_:s13 rdf:first first:minus8 .
_:s13 rdf:rest rdf:nil .
_:u13 rdf:first first:minus7 .
_:u13 rdf:rest _:s13 .
_:w13 rdf:first first:plus6 .
_:w13 rdf:rest _:u13 .
_:q13 owl:unionOf _:w13 .
first:Test rdfs:subClassOf _:q13 .


previous next top contents index