Browse wiki

From OWL Test Cases

Jump to:navigation, search
TestCase:WebOnt-InverseFunctionalProperty-001
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#"
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001" >
    <owl:Ontology/>
    <rdf:Description rdf:about="premises001#subject1">
      <owl:sameAs rdf:resource="premises001#subject2" />
    </rdf:Description>
</rdf:RDF>
Features Owl:Thing +, Owl:FunctionalProperty +, Owl:InverseFunctionalProperty +, Owl:sameAs +
Has author Jeremy J. Carroll +
Modification dateThis property is a special property in this wiki. 16 August 2009 13:22:33  +
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:first="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#" 
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001" >
    <owl:Ontology/>
    <owl:InverseFunctionalProperty rdf:ID="prop"/>
    <rdf:Description rdf:ID="subject1">
      <first:prop rdf:resource="#object" />
    </rdf:Description>
    <rdf:Description rdf:ID="subject2">
      <first:prop rdf:resource="#object" />
    </rdf:Description>
  <rdf:Description rdf:about="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#object">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
  </rdf:Description>
  <rdf:Description rdf:about="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject2">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
  </rdf:Description>
  <rdf:Description rdf:about="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject1">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
  </rdf:Description>
</rdf:RDF>
Test case author Jeremy J. Carroll  +
Test case description If <code>prop</code> belongs t If <code>prop</code> belongs to <code>owl:InverseFunctionalProperty</code>, and <code>object</code> denotes a resource which is the object of two <code>prop</code> triples, then the <code>subject</code>s of these triples have the same denotation. of these triples have the same denotation.
Test case id WebOnt-InverseFunctionalProperty-001  +
Test case semantics Test:RDF-BASED +, Test:DIRECT +
Test case species Test:FULL +
Test case status Test:Approved +
Test case syntax Test:RDFXML +
WebOnt test http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest001#test  +
Categories No EL profile test, No QL profile test, No RL profile test, PositiveEntailmentTest
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