FS2RDF-domain-range-expression-ar
From OWL Test Cases
| [Download OWL] | |
| Test Id | FS2RDF-domain-range-expression-ar |
|---|---|
| Description | Functional syntax to RDFXML for domain and range with expressions |
| 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(xsd: = <http://www.w3.org/2001/XMLSchema#>) Prefix(rdf: = <http://www.w3.org/1999/02/22-rdf-syntax-ns#>) Ontology( Declaration(DataProperty(:p1)) Declaration(DataProperty(:p2)) Declaration(DataProperty(:p3)) Declaration(DataProperty(:p4)) Declaration(DataProperty(:p5)) Declaration(DataProperty(:p6)) Declaration(DataProperty(:p7)) Declaration(Class(:c1)) Declaration(Class(:c2)) Declaration(Class(:c3)) Declaration(Class(:c4)) Declaration(Class(:c5)) Declaration(Class(:c6)) Declaration(Class(:u1)) Declaration(Class(:u2)) Declaration(Class(:u3)) Declaration(Class(:u5)) Declaration(Class(:u6)) DataPropertyRange(:p1 DataUnionOf(rdf:PlainLiteral xsd:float)) DataPropertyDomain(:p2 ObjectUnionOf(:c1 :u1)) ObjectPropertyRange(:p3 ObjectUnionOf(:c2 :u2)) ObjectPropertyDomain(:p4 ObjectUnionOf(:c3 :u3)) ObjectPropertyDomain(ObjectInverseOf(:p5) :c4) ObjectPropertyRange(ObjectInverseOf(:p5) :c4) ObjectPropertyDomain(ObjectInverseOf(:p6) ObjectUnionOf(:c5 :u5)) ObjectPropertyRange(ObjectInverseOf(:p7) ObjectUnionOf(:c6 :u6)) ) | |
| Imported ontologies | none |
| Auxiliary syntax documents | FS2RDF-domain-range-expression-ar-RDFXML |
