Browse wiki

From OWL Test Cases

Jump to:navigation, search
Conclusion ontology
<rdf:RDF xmlns:rdf=""
  xmlns:owl =""
  xml:base="" >
    <rdf:Description rdf:about="premises001#object1">
      <owl:sameAs rdf:resource="premises001#object2" />
Features Owl:FunctionalProperty +, Owl:sameAs +
Has author Jeremy J. Carroll +
Modification dateThis property is a special property in this wiki. 10 June 2009 17:39:01  +
Premise ontology
<rdf:RDF xmlns:rdf=""
  xmlns:owl =""
  xml:base="" >
    <owl:FunctionalProperty rdf:ID="prop"/>
    <rdf:Description rdf:ID="subject">
      <first:prop rdf:resource="#object1" />
      <first:prop rdf:resource="#object2" />
Test case author Jeremy J. Carroll  +
Test case description If <code>prop</code> belongs t If <code>prop</code> belongs to <code>owl:FunctionalProperty</code>, and <code>subject</code> denotes a resource which is the subject of two <code>prop</code> triples, then the <code>object</code>s of these triples have the same denotation. of these triples have the same denotation.
Test case id WebOnt-FunctionalProperty-001  +
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