Browse wiki
From OWL Test Cases
| TestCase:WebOnt-I4.6-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#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xml:base="http://www.w3.org/2002/03owlt/I4.6/nonconclusions005" > <owl:Ontology/> <owl:Class rdf:ID="C2"> <rdfs:comment>An example class.</rdfs:comment> </owl:Class> </rdf:RDF> |
|---|---|
| Features | Owl:equivalentClass +, Owl:Class + |
| Has author | Jeremy J. Carroll +, Mike Smith + |
| Modification dateThis property is a special property in this wiki. | 2 July 2009 21:30:21 + |
| 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:rdfs="http://www.w3.org/2000/01/rdf-schema#" xml:base="http://www.w3.org/2002/03owlt/I4.6/premises005" > <owl:Ontology/> <owl:Class rdf:about="nonconclusions005#C1"> <rdfs:comment>An example class.</rdfs:comment> <owl:equivalentClass> <owl:Class rdf:about="nonconclusions005#C2"/> </owl:equivalentClass> </owl:Class> </rdf:RDF> |
| Test case alternative semantics test | TestCase:WebOnt-I4.6-005 + |
| Test case author | Jeremy J. Carroll +, Mike Smith + |
| Test case description | Under the direct semantics, test WebOnt-I4.6-005 must be treated as a positive entailment test because the direct semantics ignore annotations in the conclusion ontology. |
| Test case id | WebOnt-I4.6-005-Direct + |
| Test case profile | Test:EL +, Test:QL +, Test:RL + |
| Test case semantics | Test:DIRECT + |
| Test case species | Test:DL +, Test:FULL + |
| Test case status | Test:Approved + |
| Test case syntax | Test:RDFXML + |
| WebOnt test | http://www.w3.org/2002/03owlt/I4.6/Manifest005#test + |
| Categories | EL profile test, QL profile test, RL profile test, PositiveEntailmentTest |
| hide properties that link here |
| TestCase:WebOnt-I4.6-005 + | Test case alternative semantics test |
|---|
