Browse wiki

From OWL Test Cases

Jump to:navigation, search
Bnode2somevaluesfrom
Conclusion ontology
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"  
          xmlns:ex="http://example.org/"
          xmlns:owl="http://www.w3.org/2002/07/owl#"
          xml:base="http://example.org/">
  <owl:Ontology/>
  <owl:ObjectProperty rdf:about="p"/>
  <owl:Thing rdf:about="a">
        <rdf:type>
            <owl:Restriction>
                <owl:onProperty rdf:resource="p"/>
                <owl:someValuesFrom rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
            </owl:Restriction>
        </rdf:type>
    </owl:Thing>
</rdf:RDF>
Features Owl:Thing +, Owl:ObjectProperty +, Owl:onProperty +, Owl:someValuesFrom +
Has author Bijan Parsia +
Modification dateThis property is a special property in this wiki. 25 February 2010 10:12:52  +
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:ex="http://example.org/"
  xml:base="http://example.org/">
  <owl:Ontology/>
  <owl:ObjectProperty rdf:about="p"/>
   
  <owl:Thing rdf:about="a">
    <ex:p><rdf:Description rdf:nodeID="x"/></ex:p> 
  </owl:Thing>
</rdf:RDF>
Test case author Bijan Parsia  +
Test case description Shows that a BNode is an existential variable.
Test case id bnode2somevaluesfrom  +
Test case semantics Test:DIRECT +, Test:RDF-BASED +
Test case species Test:DL +, 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