Browse wiki
From OWL Test Cases
| FS2RDF-domain-range-expression-ar |
| Auxiliary test inputs | FS2RDF-domain-range-expression-ar-RDFXML + |
|---|---|
| Features | ObjectUnionOf +, ObjectInverseOf +, ObjectPropertyDomain +, ObjectPropertyRange +, DataPropertyDomain +, DataPropertyRange +, DataUnionOf +, Declaration + |
| Has author | Alan Ruttenberg + |
| Modification dateThis property is a special property in this wiki. | 12 June 2009 14:53:32 + |
| Premise ontology |
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)) ) |
| Test case author | Alan Ruttenberg + |
| Test case description | Functional syntax to RDFXML for domain and range with expressions |
| Test case id | FS2RDF-domain-range-expression-ar + |
| Test case semantics | Test:DIRECT +, Test:RDF-BASED + |
| Test case species | Test:DL +, Test:FULL + |
| Test case specref | http://www.w3.org/TR/owl2-mapping-to-rdf/ + |
| Test case syntax | Test:FUNCTIONAL + |
| Categories | No status test, No EL profile test, No QL profile test, No RL profile test, ConsistencyTest, Consistency form |
| hide properties that link here |
| No properties link to this page. |
