Browse wiki

From OWL Test Cases

Jump to:navigation, search
Features DataSomeValuesFrom +, SubClassOf +, DisjointDataProperties +, DatatypeRestriction +, ClassAssertion +, DataPropertyAssertion +, Declaration +
Has author Birte Glimm +
Modification dateThis property is a special property in this wiki. 30 July 2009 13:04:13  +
Premise ontology
  DisjointDataProperties(:dp1 :dp2) 
  DataPropertyAssertion(:dp1 :a "ab"^^xsd:string)
  DataPropertyAssertion(:dp1 :a "ac"^^xsd:string)
    DataSomeValuesFrom(:dp2 DatatypeRestriction(
      xsd:pattern "a(b|c)"^^xsd:string)
  ClassAssertion(:A :a)
Test case author Birte Glimm  +
Test case description The data properties dp1 and dp2 are disjoint. The strings ab and ac are dp1 fillers for the individual a and can, thus, not be used as dp2 fillers for a. The pattern a(b|c), however, admits only ab and ac as values, which makes the ontology inconsistent.
Test case id Inconsistent String Pattern with Disjoint Dataproperties  +
Test case semantics Test:DIRECT +, Test:RDF-BASED +
Test case species Test:DL +, Test:FULL +
Test case status Test:Proposed +
Test case syntax Test:FUNCTIONAL +
Categories No EL profile test, No QL profile test, No RL profile test, InconsistencyTest, Inconsistency form
hide properties that link here 
  No properties link to this page.


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