New-Feature-TopObjectProperty-001-RDFXML

From OWL Test Cases

Jump to:navigation, search

This page provides a manually translated normative RDF/XML syntax version for New-Feature-TopObjectProperty-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/>

<rdf:Description rdf:about="i">
  <rdf:type>
    <owl:Class>
      <owl:complementOf>
        <owl:Restriction>
          <owl:onProperty rdf:resource="http://www.w3.org/2002/07/owl#topObjectProperty" />
          <owl:someValuesFrom rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
        </owl:Restriction>
      </owl:complementOf>
    </owl:Class>
  </rdf:type>
</rdf:Description>

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