TestCase:WebOnt-InverseFunctionalProperty-002

From OWL Test Cases

Jump to:navigation, search
[Download OWL]
Test Id WebOnt-InverseFunctionalProperty-002
Description If prop belongs to owl:InverseFunctionalProperty,

and object denotes a resource which is the object of two prop triples, then the subjects of these triples have the same denotation. Hence any assertion made using one of them can be transferred to the other.

Status Proposed (2009-06-10)
Author Jeremy J. Carroll
Original syntax RDF-XML
Syntactic Species/Profile OWL 2 Full (EL profile assertion missing, QL profile assertion missing, RL profile assertion missing)
Semantics This test is applicable under the RDF-based semantics. It should not be considered under the direct semantics because it does not satisfy the syntactic constraints of OWL 2 DL.
WebOnt test http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest002#test
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:eg ="http://www.example.org/"
  xmlns:first="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#" 
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002" >
    <owl:InverseFunctionalProperty rdf:ID="prop"/>
    <rdf:Description rdf:ID="subject1" >
      <first:prop rdf:resource="#object" />
      <eg:prop2>value</eg:prop2>
    </rdf:Description>
    <rdf:Description rdf:ID="subject2" >
      <first:prop rdf:resource="#object" />
    </rdf:Description>
</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:eg ="http://www.example.org/"
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002" >
    <rdf:Description rdf:about="premises002#subject2" >
      <eg:prop2>value</eg:prop2>
    </rdf:Description>
</rdf:RDF>
Imported ontologies none
Retrieved from "http://owl.semanticweb.org/page/TestCase:WebOnt-InverseFunctionalProperty-002"
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox