Rationals-plus-doubles
From OWL Test Cases
| [Download OWL] | |
| Test Id | Rationals are Not Disjoint with doubles |
|---|---|
| Description | The individual a is required to have two distinct dp successors, but they must be from 0.5 (double) and 1/2 (rational), which is the same value, so the ontology is inconsistent. |
| Status | Rejected (2009-05-26, no longer applicable, owl:rational and xsd:double are disjoint) |
| Author | Birte Glimm |
| Original syntax | Functional |
| Syntactic Species/Profile | OWL 2 DL (EL profile assertion missing, QL profile assertion missing, RL profile assertion missing) |
| Semantics | This test is applicable under both direct and RDF-based semantics. |
| Inconsistent 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(:=<http://example.org/>)
Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>) Prefix(owl:=<http://www.w3.org/2002/07/owl#>) Ontology( Declaration(NamedIndividual(:a)) Declaration(DataProperty(:dp)) ClassAssertion(DataAllValuesFrom(:dp DataOneOf("1/2"^^owl:rational "0.5"^^xsd:double)) :a) ClassAssertion(DataMinCardinality(2 :dp) :a) ) | |
| Imported ontologies | none |
