TestCase:WebOnt-miscellaneous-302-Direct
From OWL Test Cases
[Download OWL] | |
Test Id | WebOnt-miscellaneous-302-Direct |
---|---|
Description | A version of WebOnt-miscellaneous-302 applicable under the Direct Semantics, in which the annotation in the entailed ontology is not considered. |
Status | Approved (2009-07-02 when passed by two or more implementations) (proposed 2009-06-08) |
Author | Jeremy J. Carroll, Mike Smith |
Original syntax | RDF-XML |
Syntactic Species/Profile | OWL 2 DL (EL, QL, not RL) |
Semantics | This test is applicable only under the direct semantics. |
Alternative Semantics Test | TestCase:WebOnt-miscellaneous-302 |
WebOnt test | http://www.w3.org/2002/03owlt/miscellaneous/Manifest302#test |
Premise ontology (download)
Convert syntax: functional, XML, Manchester This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL. | |
<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/miscellaneous/premises302#" xml:base="http://www.w3.org/2002/03owlt/miscellaneous/premises302" > <owl:Ontology/> <owl:AnnotationProperty rdf:ID="prop" /> <owl:Thing rdf:about="#a"> <first:prop>foo</first:prop> </owl:Thing> </rdf:RDF> | |
Conclusion ontology (download)
Convert syntax: functional, XML, Manchester This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL. | |
<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/miscellaneous/premises302#" xml:base="http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions302" > <owl:Ontology/> <owl:AnnotationProperty rdf:about="premises302#prop" /> <owl:Thing rdf:about="premises302#a"> <first:prop>bar</first:prop> </owl:Thing> </rdf:RDF> | |
Imported ontologies | none |