Browse wiki

From OWL Test Cases

Jump to:navigation, search
Consistent-dataproperty-disjointness
Features DataSomeValuesFrom +, SubClassOf +, DisjointDataProperties +, DatatypeRestriction +, ClassAssertion +, DataPropertyAssertion +, Declaration +
Has author Birte Glimm +
Modification dateThis property is a special property in this wiki. 17 July 2009 19:11:08  +
Premise ontology
Prefix(:=<http://example.org/>)
Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
Ontology(
  Declaration(NamedIndividual(:a))
  Declaration(DataProperty(:dp1))
  Declaration(DataProperty(:dp2))
  Declaration(Class(:A))
  DisjointDataProperties(:dp1 :dp2) 
  DataPropertyAssertion(:dp1 :a "10"^^xsd:integer)
  SubClassOf(:A DataSomeValuesFrom(:dp2 
    DatatypeRestriction(xsd:integer 
      xsd:minInclusive "18"^^xsd:integer 
      xsd:maxInclusive "18"^^xsd:integer)
    )
  )
  ClassAssertion(:A :a)
)
Test case author Birte Glimm  +
Test case description The datatype properties dp1 and dp2 are disjoint, but the individual a can have 10 as a filler for dp1 and 18 as filler for dp2, which satisfies the disjointness.
Test case id consistent-dataproperty-disjointness  +
Test case semantics Test:DIRECT +, Test:RDF-BASED +
Test case species Test:DL +, Test:FULL +
Test case status Test:Approved +
Test case syntax Test:FUNCTIONAL +
Categories 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.
 

 

Enter the name of the page to start browsing from.
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox