New-Feature-Keys-007-RDFXML

From OWL Test Cases

Jump to:navigation, search

This page provides a manually translated normative RDF/XML syntax version for New-Feature-Keys-007.

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="Person" />

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

<owl:DatatypeProperty rdf:about="hasSSN" />

<owl:ObjectProperty rdf:about="marriedTo" />

<rdf:Description rdf:about="Person">
  <owl:hasKey rdf:parseType="Collection">
    <rdf:Description rdf:about="hasSSN" />
  </owl:hasKey>
</rdf:Description>

<rdf:Description rdf:about="Peter">
  <hasSSN>123-45-6789</hasSSN>
  <rdf:type rdf:resource="Person" />
</rdf:Description>

<rdf:Description rdf:about="Lois">
  <rdf:type>
    <owl:Restriction>
      <owl:onProperty rdf:resource="marriedTo" />
      <owl:someValuesFrom>
        <owl:Class>
          <owl:intersectionOf rdf:parseType="Collection">
            <rdf:Description rdf:about="Man" />
            <owl:Restriction>
              <owl:onProperty rdf:resource="hasSSN" />
              <owl:hasValue>123-45-6789</owl:hasValue>
            </owl:Restriction>
          </owl:intersectionOf>
        </owl:Class>
      </owl:someValuesFrom>
    </owl:Restriction>
  </rdf:type>
</rdf:Description>

</rdf:RDF>

Nonconclusion 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="Man" />

<Man rdf:about="Peter" />

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