Direct Semantics Literal disjoint from Thing
From OWL Test Cases
|Description|| A test demonstrating that literals are disjoint from Thing in the direct semantics. See thread at http://lists.w3.org/Archives/Public/semantic-web/2010Oct/0116.html. 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.
|Status||New test (no official status yet)|
|Syntactic Species/Profile||OWL 2 DL (not EL, not QL, not RL)|
|Semantics||This test is applicable under both direct and RDF-based semantics.|
| Consistent ontology (download)
Convert syntax: RDF, XML, Manchester This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL.
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)