Browse wiki

From OWL Test Cases

Jump to:navigation, search
TestCase:WebOnt-FunctionalProperty-003
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/FunctionalProperty/conclusions003" >
    <owl:InverseFunctionalProperty rdf:about="premises003#inv"/>
</rdf:RDF>
Features Owl:inverseOf +, Owl:FunctionalProperty +, Owl:InverseFunctionalProperty +
Has author Jeremy J. Carroll +
Modification dateThis property is a special property in this wiki. 10 June 2009 17:40:17  +
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#"
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises003" >
    <owl:FunctionalProperty rdf:ID="prop">
      <owl:inverseOf rdf:resource="#inv"/>
    </owl:FunctionalProperty>
</rdf:RDF>
Test case author Jeremy J. Carroll  +
Test case description If <code>prop</code> is an <code>owl:FunctionalProperty</code>, then its inverse is an <code>owl:InverseFunctionalProperty</code>.
Test case id WebOnt-FunctionalProperty-003  +
Test case lacks EL status  +, QL status  +, RL status  +
Test case semantics Test:RDF-BASED +, Test:DIRECT +
Test case species Test:FULL +
Test case status Test:Proposed +
Test case syntax Test:RDFXML +
WebOnt test http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest003#test  +
Categories 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