Browse wiki

From OWL Test Cases

Jump to:navigation, search
TestCase:WebOnt-FunctionalProperty-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/FunctionalProperty/conclusions001" >
    <rdf:Description rdf:about="premises001#object1">
      <owl:sameAs rdf:resource="premises001#object2" />
    </rdf:Description>
</rdf:RDF>
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="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/FunctionalProperty/premises001#" 
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises001" >
    <owl:FunctionalProperty rdf:ID="prop"/>
    <rdf:Description rdf:ID="subject">
      <first:prop rdf:resource="#object1" />
      <first:prop rdf:resource="#object2" />
    </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: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 http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest001#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