consistent501.rdf

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

            <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>