TestCase:WebOnt-I5.5-005
From OWL Test Cases
[Download OWL] | |
Test Id | WebOnt-I5.5-005 |
---|---|
Description | This test exhibits the effect of the comprehension principles in OWL Full. The conclusion ontology only contains a class declaration, ObjectUnionOf class expression does not appear in an axiom. |
Status | Approved (2009-07-02 when passed by two or more implementations) (proposed 2009-06-09) |
Author | Jeremy J. Carroll |
Original syntax | RDF-XML |
Syntactic Species/Profile | OWL 2 DL (EL, QL, RL) |
Semantics | This test is applicable under both direct and RDF-based semantics. |
WebOnt test | http://www.w3.org/2002/03owlt/I5.5/Manifest005#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#" xml:base="http://www.w3.org/2002/03owlt/I5.5/premises005" > <owl:Class rdf:ID="a" /> </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#" xml:base="http://www.w3.org/2002/03owlt/I5.5/conclusions005" > <owl:Class> <owl:unionOf> <rdf:List> <rdf:first> <owl:Class rdf:about="premises005#a"/> </rdf:first> <rdf:rest rdf:resource = "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/> </rdf:List> </owl:unionOf> </owl:Class> </rdf:RDF> | |
Imported ontologies | none |