Browse wiki

From OWL Test Cases

Jump to:navigation, search
Features ObjectComplementOf +, DataHasValue +, SubClassOf +, ClassAssertion +, Declaration +
Has author Birte Glimm +
Modification dateThis property is a special property in this wiki. 17 July 2009 19:15:41  +
Premise ontology
  SubClassOf(DataHasValue(:hasAge "18"^^xsd:integer) :Eighteen) 
  ClassAssertion(DataHasValue(:hasAge "18"^^xsd:integer) :a) 
  ClassAssertion(ObjectComplementOf(:Eighteen) :a)
Test case author Birte Glimm  +
Test case description The individual has an asserted hasAge filler of 18 as integer. At the same time it is an instance of the negation of the class Eighteen, which implies that all hasAge fillers for a are not 18.
Test case id inconsistent-integer-filler  +
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