From OWL Test Cases

Jump to:navigation, search
[Download OWL]
Test Id FS2RDF-negative-property-assertion-ar
Description Functional syntax to RDFXML for negative property assertions, some with annotations and annotations on their annotations
Status New test (no official status yet)
Author Alan Ruttenberg
Original syntax Functional
Syntactic Species/Profile OWL 2 DL (not EL, not QL, not RL)
Semantics This test is applicable under both direct and RDF-based semantics.
Specification Reference http://www.w3.org/TR/owl2-mapping-to-rdf/
Consistent ontology (download)

Convert syntax: RDF, 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.

Prefix(: = <http://example.org/>)
  Prefix(rdfs: = <http://www.w3.org/2000/01/rdf-schema#>)
    NegativeObjectPropertyAssertion(:p1 :s1 :o1)
    NegativeDataPropertyAssertion(:p2 :s2 "2"^^xsd:integer)
    NegativeObjectPropertyAssertion(ObjectInverseOf(:p3) :s3 :o3)
    NegativeObjectPropertyAssertion(Annotation(rdfs:comment "I hereby annotate this") :p4 :s4 :o4)
    NegativeDataPropertyAssertion(Annotation(rdfs:comment "I hereby annotate this too") :p5 :s5 "5"^^xsd:integer)
    NegativeObjectPropertyAssertion(Annotation(rdfs:comment "I hereby annotate this also") ObjectInverseOf(:p6) :s6 :o6)
    NegativeObjectPropertyAssertion(Annotation(Annotation(rdfs:label "on seven") rdfs:comment "I hereby annotate this") :p7 :s7 :o7)
    NegativeDataPropertyAssertion(Annotation(Annotation(rdfs:label "on eight") rdfs:comment "I hereby annotate this too") :p8 :s8 "8"^^xsd:integer)
    NegativeObjectPropertyAssertion(Annotation(Annotation(rdfs:label "on nine") rdfs:comment "I hereby annotate this also") ObjectInverseOf(:p9) :s9 :o9)
Imported ontologies none
Auxiliary syntax documents FS2RDF-negative-property-assertion-ar-RDFXML
OWL 2 Informative
OWL 2 Normative