Direct Semantics Literal disjoint from Thing

From OWL Test Cases

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.

Convert syntax: RDF, XML, ManchesterThis 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.