Copyright © 2003 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.
Contents
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 Full | Consistent 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. | |||
DL | Consistent:
<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 Full | Inconsistent 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. | |||
DL | Inconsistent:
<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 Full | Consistent document. | 503 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest503#test>
|
|||
This is a different encoding of test 501. | |||
N3 format is informative. | |||
DL | Consistent:
<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 Full | Inconsistent document. | 504 | |
---|---|---|---|
Description:
(informative)
<description-logic/Manifest504#test>
|
|||
This is a different encoding of test 502. | |||
N3 format is informative. | |||
DL | Inconsistent:
<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 . |