Browse wiki

From OWL Test Cases

Jump to:navigation, search
Rdfbased-sem-restrict-somevalues-cmp-prop
Conclusion ontology
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:ex="http://www.example.org#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
  <rdf:Description rdf:about="http://www.example.org#x1">
    <rdfs:subClassOf rdf:resource="http://www.example.org#x2"/>
  </rdf:Description>
</rdf:RDF>
Features Owl:onProperty +, Owl:someValuesFrom +, Rdfs:subPropertyOf +, Rdfs:subClassOf +
Has author Michael Schneider +, Kai Mainzer +
Modification dateThis property is a special property in this wiki. 17 July 2009 18:38:29  +
Premise ontology
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:ex="http://www.example.org#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
  <rdf:Description rdf:about="http://www.example.org#x1">
    <owl:someValuesFrom rdf:resource="http://www.example.org#c"/>
    <owl:onProperty>
      <rdf:Description rdf:about="http://www.example.org#p1">
        <rdfs:subPropertyOf rdf:resource="http://www.example.org#p2"/>
      </rdf:Description>
    </owl:onProperty>
  </rdf:Description>
  <rdf:Description rdf:about="http://www.example.org#x2">
    <owl:someValuesFrom rdf:resource="http://www.example.org#c"/>
    <owl:onProperty rdf:resource="http://www.example.org#p2"/>
  </rdf:Description>
</rdf:RDF>
Test case author Michael Schneider  +, Kai Mainzer  +
Test case description An existential restriction on some property and some class is a sub class of another existential restriction on the same class but on a super property.
Test case id rdfbased-sem-restrict-somevalues-cmp-prop  +
Test case semantics Test:RDF-BASED +, Test:DIRECT +
Test case species Test:FULL +
Test case status Test:Approved +
Test case syntax Test:RDFXML +
Categories No EL profile test, No QL profile test, No RL profile test, PositiveEntailmentTest, Entailment form
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox