From OWL Test Cases

Jump to:navigation, search
[Download OWL]
Test Id Footnote-not-about-self
Description Test checking of local irreflexivity
Status New test (no official status yet)
Author Alan Ruttenberg
Original syntax RDF-XML
Syntactic Species/Profile OWL 2 DL (not EL, not QL, not RL)
Semantics This test is applicable under both direct and RDF-based semantics.
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 version="1.0"?>
<rdf:RDF xmlns=""
     xmlns:ex = ""
    <owl:Ontology rdf:about=""/>
    <owl:ObjectProperty rdf:about="">
    <owl:Class rdf:about="">
                <owl:onProperty rdf:resource=""/>
                <owl:hasSelf rdf:datatype="">true</owl:hasSelf>
    <ex:footnote rdf:about="">
        <ex:about rdf:resource=""/>

Imported ontologies none
OWL 2 Informative
OWL 2 Normative