Browse wiki

From OWL Test Cases

Jump to:navigation, search
Conclusion ontology
  <owl:Thing rdf:about="http://owl2.test/rules/Y2"/>
  <owl:Thing rdf:about="http://owl2.test/rules/Y1">
    <owl:sameAs rdf:resource="http://owl2.test/rules/Y2"/>
Features Owl:Thing +, Owl:FunctionalProperty +, Owl:InverseFunctionalProperty +, Owl:sameAs +
Has author Zhe Wu +
Modification dateThis property is a special property in this wiki. 29 June 2009 20:15:36  +
Premise ontology
  <owl:InverseFunctionalProperty rdf:about="http://owl2.test/rules/unique_employee_id">
    <rdf:type rdf:resource=""/>
  <owl:Thing rdf:about="http://owl2.test/rules/Y2">
  <owl:Thing rdf:about="http://owl2.test/rules/Y1">
Test case author Zhe Wu  +
Test case description Use inverse functional property as key.
Test case id owl2-rl-rules-ifp-askey  +
Test case semantics Test:RDF-BASED +, Test:DIRECT +
Test case species Test:FULL +
Test case status Test:Proposed +
Test case syntax Test:RDFXML +
Categories No EL profile test, No QL profile test, No RL profile test, PositiveEntailmentTest, Entailment form
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