Bnode2somevaluesfrom

From OWL Test Cases

Jump to:navigation, search
[Download OWL]
Test Id bnode2somevaluesfrom
Description Shows that a BNode is an existential variable.
Status Approved (2009-07-15, when passed by 2 implementations) (proposed 2009-06-29)
Author Bijan Parsia
Original syntax RDF-XML
Syntactic Species/Profile OWL 2 DL (not EL, not QL, not RL)
Semantics This test is applicable under both direct and RDF-based semantics.
Premise ontology (download)

Convert syntax: functional, XML, Manchester      This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL.
Open in RDF Validator

<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>
Conclusion ontology (download)

Convert syntax: functional, XML, Manchester      This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL.
Open in RDF Validator

<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>
Imported ontologies none

Note: This test is not in OWL EL since it has a bnode. An earlier misclassification has been corrected after the test had already been approved.

Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox