TestCase:WebOnt-imports-004

From OWL Test Cases

Jump to:navigation, search
[Download OWL]
Test Id WebOnt-imports-004
Description Importing OWL Full documents may change the level of OWL Lite or OWL DL documents.
Status New test (no official status yet)
Author Jeremy J. Carroll
Original syntax RDF-XML
Syntactic Species/Profile OWL 2 Full (EL profile assertion missing, QL profile assertion missing, RL profile assertion missing)
Semantics This test is applicable under the RDF-based semantics. It should not be considered under the direct semantics because it does not satisfy the syntactic constraints of OWL 2 DL.
WebOnt test http://www.w3.org/2002/03owlt/imports/Manifest004#test
Input 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.
Open in RDF Validator

<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/imports/main004" >
    <owl:Ontology rdf:about="">
      <owl:imports rdf:resource="imports004" />
    </owl:Ontology>
</rdf:RDF>
Imported ontologies WebOnt-imports-004-import-imports004 (add this ontology)
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox