New-Feature-NegativeObjectPropertyAssertion-001-RDFXML
From OWL Test Cases
This page provides a manually translated normative RDF/XML syntax version for New-Feature-NegativeObjectPropertyAssertion-001.
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.
<?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:ObjectProperty rdf:about="hasSon" />
<owl:NegativePropertyAssertion>
<owl:sourceIndividual rdf:resource="Peter" />
<owl:assertionProperty rdf:resource="hasSon" />
<owl:targetIndividual rdf:resource="Meg" />
</owl:NegativePropertyAssertion>
<rdf:Description rdf:about="Peter">
<hasSon rdf:resource="Meg" />
</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/>
<owl:ObjectProperty rdf:about="hasSon" />
<owl:NegativePropertyAssertion>
<owl:sourceIndividual rdf:resource="Peter" />
<owl:assertionProperty rdf:resource="hasSon" />
<owl:targetIndividual rdf:resource="Meg" />
</owl:NegativePropertyAssertion>
<rdf:Description rdf:about="Peter">
<hasSon rdf:resource="Meg" />
</rdf:Description>
</rdf:RDF>
