DisjointClasses-001-RDFXML

From OWL Test Cases

Jump to:navigation, search

This page provides a manually translated normative RDF/XML syntax version for DisjointClasses-001.

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.

Open in RDF Validator

<?xml version="1.0"?>
<rdf:RDF
  xml:base  = "http://example.org/"
  xmlns     = "http://example.org/"
  xmlns:owl = "http://www.w3.org/2002/07/owl#"
  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#">

<owl:Ontology/>

<owl:Class rdf:about="Boy" />
<owl:Class rdf:about="Girl" />

<rdf:Description rdf:about="Boy">
  <owl:disjointWith rdf:resource="Girl" />
</rdf:Description>

<Boy rdf:about="Stewie" />

</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.

Open in RDF Validator

<?xml version="1.0"?>
<rdf:RDF
  xml:base  = "http://example.org/"
  xmlns     = "http://example.org/"
  xmlns:owl = "http://www.w3.org/2002/07/owl#"
  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#">

<owl:Ontology/>

<owl:Class rdf:about="Girl" />

<rdf:Description rdf:about="Stewie">
  <rdf:type>
    <owl:Class>
      <owl:complementOf rdf:resource="Girl" />
    </owl:Class>
  </rdf:type>
</rdf:Description>

</rdf:RDF>
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox