New-Feature-TopDataProperty-001-RDFXML
From OWL Test Cases
This page provides a manually translated normative RDF/XML syntax version for New-Feature-TopDataProperty-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.
<?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#topDataProperty" />
<owl:someValuesFrom rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal" />
</owl:Restriction>
</owl:complementOf>
</owl:Class>
</rdf:type>
</rdf:Description>
</rdf:RDF>
<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#topDataProperty" />
<owl:someValuesFrom rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal" />
</owl:Restriction>
</owl:complementOf>
</owl:Class>
</rdf:type>
</rdf:Description>
</rdf:RDF>
