Browse wiki

From OWL Test Cases

Jump to:navigation, search
Direct Semantics Literal disjoint from Thing
Features Owl:Thing +, ObjectOneOf +, EquivalentClasses +, DataPropertyAssertion +, Declaration +, AnnotationAssertion +
Has author Alan Ruttenberg +
Modification dateThis property is a special property in this wiki. 18 October 2010 15:48:09  +
Premise ontology


AnnotationAssertion(rdfs:label :dp "dp")

AnnotationAssertion(rdfs:label :a "a")
AnnotationAssertion(rdfs:label :b "b")

EquivalentClasses(owl:Thing ObjectOneOf(:b :a))
DataPropertyAssertion(:dp :b "42"^^xsd:integer)
DataPropertyAssertion(:dp :b "44"^^xsd:integer)
DataPropertyAssertion(:dp :b "43"^^xsd:integer)
Test case author Alan Ruttenberg  +
Test case description A test demonstrating that literals are dis A test demonstrating that literals are disjoint from Thing in the direct semantics. See thread at The following ontology, which is consistent according to the Direct Semantics, demonstrates that literals are not OWL things. In it, owl:Thing is an enumerated class containing at most 2 individuals. One of those individuals has three data property literal values 42,43,44 ^xsd:integer. If the literals were instance of owl:Thing, this ontology would be inconsistent as there can be only two distinct members of owl:Thing, but there are three distinct literals. On the date this test was entered, Pellet and Fact+ correctly determined that the ontology is consistent and Hermit acknowledged that while it found the ontology inconsistent, this was a bug. the ontology inconsistent, this was a bug.
Test case id Direct_Semantics_Literal_disjoint_from_Thing  +
Test case semantics Test:DIRECT +, Test:RDF-BASED +
Test case species Test:DL +, Test:FULL +
Test case syntax Test:FUNCTIONAL +
Categories No status test, 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.
OWL 2 Informative
OWL 2 Normative