FS2RDF-domain-range-expression-ar

From OWL Test Cases

Jump to:navigation, search
[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
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox