From OWL Test Cases

Jump to:navigation, search
[Download OWL]
Test Id WebOnt-Thing-005
Description The extension of OWL Thing may not be a singleton in OWL Full.
Status Proposed (2009-06-08)
Author Jeremy J. Carroll
Original syntax RDF-XML
Syntactic Species/Profile OWL 2 DL (EL, not QL, not RL)
Semantics This test is applicable only under the RDF-based semantics.
Alternative Semantics Test TestCase:WebOnt-Thing-004
WebOnt test http://www.w3.org/2002/03owlt/Thing/Manifest005#test
Inconsistent 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

    xml:base="http://www.w3.org/2002/03owlt/Thing/inconsistent005" >

  <rdf:Description rdf:about="http://www.w3.org/2002/07/owl#Thing">
        <owl:oneOf rdf:parseType="Collection">
            <rdf:Description rdf:about="#s"/>

Imported ontologies none

OWL EL Report (Informative)

Ontology satisfies the constraints of OWL EL.

OWL QL Report (Informative)

Ontology violates the OWL QL constraints in at least the following:

OWL RL Report (Informative)

Ontology violates the OWL RL constraints in at least the following:

OWL 2 Informative
OWL 2 Normative