Double-ranges

From OWL Test Cases

Jump to:navigation, search
[Download OWL]
Test Id Consistent Double Ranges
Description The data property dp has a restriction to doubles >= 5 (given as byte) and <= 7.2 (given as float) and a restriction to decimals >= 6.0 (given as float) and <= 6.8. The individual a is required to have a dp successor, but there are several double values that fulfil the restriction.
Status Rejected (2009-06-12 (no longer valid because primitive datatypes are disjoint - i.e., the constraining facets are invalid))
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.
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(:=<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))
  Declaration(Class(:A))
  SubClassOf(:A 
    DataAllValuesFrom(:dp DatatypeRestriction(
      xsd:double 
      xsd:minInclusive "5"^^xsd:byte 
      xsd:maxInclusive "7.2"^^xsd:float)
    )
  ) 
  SubClassOf(:A 
    DataAllValuesFrom(:dp DatatypeRestriction(
      xsd:decimal 
      xsd:minInclusive "6.0"^^xsd:float 
      xsd:maxInclusive "6.8"^^xsd:decimal)
    )
  ) 
  SubClassOf(:A DataSomeValuesFrom(:dp owl:real))
  ClassAssertion(:A :a) 
  NegativeDataPropertyAssertion(:dp :a "6"^^xsd:unsignedInt)
)
Imported ontologies none
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox