Browse wiki

From OWL Test Cases

Jump to:navigation, search
Conclusion ontology
<rdf:RDF xmlns:rdf=""
  xmlns:owl =""
  xml:base="" >
    <owl:InverseFunctionalProperty rdf:about="premises003#inv"/>
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=""
  xmlns:owl =""
  xml:base="" >
    <owl:FunctionalProperty rdf:ID="prop">
      <owl:inverseOf rdf:resource="#inv"/>
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  +
Categories PositiveEntailmentTest
hide properties that link here 
  No properties link to this page.


Enter the name of the page to start browsing from.
OWL 2 Informative
OWL 2 Normative