TestCase:WebOnt-imports-005

From OWL Test Cases

Jump to:navigation, search
[Download OWL]
Test Id WebOnt-imports-005
Description If an OWL Lite document imports an OWL DL

document then it becomes OWL DL.

Status New test (no official status yet)
Author Jeremy J. Carroll
Original syntax RDF-XML
Syntactic Species/Profile OWL 2 DL (EL profile assertion missing, QL profile assertion missing, RL profile assertion missing)
Semantics This test is applicable under both direct and RDF-based semantics.
WebOnt test http://www.w3.org/2002/03owlt/imports/Manifest005#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/main005" >
    <owl:Ontology rdf:about="">
      <owl:imports rdf:resource="imports005" />
    </owl:Ontology>
</rdf:RDF>
Imported ontologies WebOnt-imports-005-import-imports005 (add this ontology)
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox