Browse wiki
From OWL Test Cases
| 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. |
