Browse wiki

From OWL Test Cases

Jump to:navigation, search
Datatype-Float-Discrete-002
Features DataSomeValuesFrom +, DatatypeRestriction +, ClassAssertion +, Declaration +, Owl:real +
Has author Mike Smith +
Issue number 126  +
Modification dateThis property is a special property in this wiki. 5 May 2009 22:20:25  +
Premise ontology
Prefix( owl: = <http://www.w3.org/2002/07/owl#> )
Prefix( xsd: = <http://www.w3.org/2001/XMLSchema#> )
Prefix( ex: = <http://example.org/ontology/> )

Ontology(

  Declaration( DataProperty( ex:dp ) )

  ClassAssertion(
    DataSomeValuesFrom( ex:dp
      DatatypeRestriction( owl:real
        xsd:minExclusive "0.0"^^xsd:float
        xsd:maxExclusive "1.401298464324817e-45"^^xsd:float
      )
    )
    ex:a
  )

)
Test case author Michael Smith  +
Test case description The value space of owl:real is continuous, in contrast with xsd:float
Test case id Datatype-Float-Discrete-002  +
Test case issue http://www.w3.org/2007/OWL/tracker/issues/126  +
Test case profile Test:EL +, Test:QL +, Test:RL +
Test case semantics Test:DIRECT +, Test:RDF-BASED +
Test case species Test:DL +, Test:FULL +
Test case status Test:Rejected +
Test case syntax Test:FUNCTIONAL +
Categories Withdrawn test, EL profile test, QL profile test, RL profile test, ConsistencyTest, Consistency form
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox