FS2RDF-negative-property-assertion-ar
From OWL Test Cases
| [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#>) Ontology( Declaration(ObjectProperty(:p1)) NegativeObjectPropertyAssertion(:p1 :s1 :o1) Declaration(DataProperty(:p2)) NegativeDataPropertyAssertion(:p2 :s2 "2"^^xsd:integer) Declaration(ObjectProperty(:p3)) NegativeObjectPropertyAssertion(ObjectInverseOf(:p3) :s3 :o3) Declaration(ObjectProperty(:p4)) NegativeObjectPropertyAssertion(Annotation(rdfs:comment "I hereby annotate this") :p4 :s4 :o4) Declaration(DataProperty(:p5)) NegativeDataPropertyAssertion(Annotation(rdfs:comment "I hereby annotate this too") :p5 :s5 "5"^^xsd:integer) Declaration(ObjectProperty(:p6)) NegativeObjectPropertyAssertion(Annotation(rdfs:comment "I hereby annotate this also") ObjectInverseOf(:p6) :s6 :o6) Declaration(ObjectProperty(:p7)) NegativeObjectPropertyAssertion(Annotation(Annotation(rdfs:label "on seven") rdfs:comment "I hereby annotate this") :p7 :s7 :o7) Declaration(DataProperty(:p8)) NegativeDataPropertyAssertion(Annotation(Annotation(rdfs:label "on eight") rdfs:comment "I hereby annotate this too") :p8 :s8 "8"^^xsd:integer) Declaration(ObjectProperty(:p9)) 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 |
