Browse wiki

From OWL Test Cases

Jump to:navigation, search
Features DataAllValuesFrom +, DataSomeValuesFrom +, SubClassOf +, DataComplementOf +, DataOneOf +, ClassAssertion +, Declaration +
Has author Birte Glimm +
Modification dateThis property is a special property in this wiki. 17 July 2009 18:51:48  +
Premise ontology
  SubClassOf(:A DataAllValuesFrom(:dp 
    DataOneOf("3"^^xsd:integer "4"^^xsd:int))
  SubClassOf(:A DataAllValuesFrom(:dp 
    DataOneOf("2"^^xsd:short "3"^^xsd:integer))
  ClassAssertion(:A :a)
    DataComplementOf(DataOneOf("3"^^xsd:integer))) :a
Test case author Birte Glimm  +
Test case description The individual a must have dp fillers that are in the sets {3, 4} and {2, 3} (different types are used, but shorts and ints are integers), but at the same time 3 is not allowed as a dp filler for a, which causes the inconsistency.
Test case id Different types in Datatype Restrictions and Complement  +
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, 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