TestCase:WebOnt-equivalentClass-008-Direct
From OWL Test Cases
[Download OWL] | |
Test Id | WebOnt-equivalentClass-008-Direct |
---|---|
Description | A version of WebOnt-equivalentClass-008 modified for the Direct Semantics, under which annotations in the entailed ontology are ignored. |
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, RL) |
Semantics | This test is applicable only under the direct semantics. |
Alternative Semantics Test | TestCase:WebOnt-equivalentClass-008 |
WebOnt test | http://www.w3.org/2002/03owlt/equivalentClass/Manifest008#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:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/equivalentClass/premises008#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises008" > <owl:Ontology/> <owl:Class rdf:ID="c1"> <owl:equivalentClass> <owl:Class rdf:ID="c2"/> </owl:equivalentClass> <first:annotate>description of c1</first:annotate> </owl:Class> <owl:AnnotationProperty rdf:ID="annotate" /> </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:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/equivalentClass/premises008#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008" > <owl:Ontology/> <owl:Class rdf:about="premises008#c2"> <first:annotate>description of c1</first:annotate> </owl:Class> <owl:AnnotationProperty rdf:about="premises008#annotate" /> </rdf:RDF> | |
Imported ontologies | none |