Direct Semantics Literal disjoint from Thing
From OWL Test Cases
| [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 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) |
| 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. | |
| Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>) Prefix(owl:=<http://www.w3.org/2002/07/owl#>) Prefix(:=<http://purl.obolibrary.org/obo/example/>) Ontology(<http://example.org/literal-not-thing.owl> Declaration(DataProperty(:dp)) AnnotationAssertion(rdfs:label :dp "dp") Declaration(NamedIndividual(:a)) AnnotationAssertion(rdfs:label :a "a") Declaration(NamedIndividual(:b)) 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 |
