Browse wiki
From OWL Test Cases
| Inconsistent-integer-filler |
| 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 |
Prefix(:=<http://example.org/>) Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>) Ontology( Declaration(NamedIndividual(:a)) Declaration(DataProperty(:hasAge)) Declaration(Class(:Eighteen)) 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. |
