Direct Semantics Literal disjoint from Thing

From OWL Test Cases

Jump to:navigation, search
[Download OWL]
Test Id Direct_Semantics_Literal_disjoint_from_Thing
Description 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.

Status New test (no official status yet)
Author Alan Ruttenberg
Original syntax Functional
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)
Imported ontologies none
OWL 2 Informative
OWL 2 Normative