Property:Premise ontology

From OWL

Jump to: navigation, search

This property specifies the serialisation of an OWL snippet, used as a premise ontology for various kinds of test cases: it is the sole input ontology for ConsistencyTests and InconsistencyTests, and it is the premise for PositiveEntailmentTests and NegativeEntailmentTests.

It uses the datatype Code that preserves formatting. In the Test ontology, this corresponds to the property test:premiseOntology (Test case ontology).

See also

Facts about Premise ontologyOWL
Has typeThis property is a special property in this wiki.CodeThis type is among the standard datatypes of this wiki.
Imported fromThis property is a special property in this wiki.test:premiseOntology (Test case ontology)
Subproperty ofThis property is a special property in this wiki.Input ontology

Pages using the property "Premise ontology"

Showing 1 pages using this property.

W

TestCase:WebOnt-description-logic-501 +
<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>
Retrieved from "http://www.w3.org/2007/OWL/wiki/Property:Premise_ontology"
Personal tools