Browse wiki
From OWL Test Cases
| TestCase:WebOnt-Class-005-direct |
| 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/Class/nonconclusions005" > <owl:Ontology/> <owl:Class rdf:ID="c"/> <rdf:Description rdf:about="premises005#x"> <rdf:type> <rdf:Description> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/> <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> <owl:unionOf rdf:parseType="Collection"> <rdf:Description rdf:about="#c" /> <owl:Class> <owl:complementOf rdf:resource="#c"/> </owl:Class> </owl:unionOf> </rdf:Description> </rdf:type> </rdf:Description> </rdf:RDF> |
|---|---|
| Features | Owl:Thing +, Owl:unionOf +, Owl:complementOf +, Owl:Class + |
| Has author | Jeremy J. Carroll + |
| Modification dateThis property is a special property in this wiki. | 13 May 2009 13:23:51 + |
| 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/Class/premises005" > <owl:Ontology/> <owl:Thing rdf:ID="x"/> </rdf:RDF> |
| Test case alternative semantics test | TestCase:WebOnt-Class-005 + |
| Test case author | Jeremy J. Carroll + |
| Test case description | This test demonstrates that the OWL 2 Direct Semantics, unlike the OWL 2 RDF Based Semantics and the OWL 1 semantics, permit URIs to be present in the conclusion ontology that are not present in the premise ontology. |
| Test case id | WebOnt-Class-005-direct + |
| Test case semantics | Test:DIRECT + |
| Test case species | Test:DL +, Test:FULL + |
| Test case status | Test:Proposed + |
| Test case syntax | Test:RDFXML + |
| WebOnt test | http://www.w3.org/2002/03owlt/Class/Manifest005#test + |
| Categories | No EL profile test, No QL profile test, No RL profile test, PositiveEntailmentTest |
| hide properties that link here |
| TestCase:WebOnt-Class-005 + | Test case alternative semantics test |
|---|
