Browse wiki

From OWL Test Cases

Jump to:navigation, search
Owlreal-plus-oneOf
Features DataAllValuesFrom +, DataSomeValuesFrom +, SubClassOf +, DataOneOf +, ClassAssertion +, Declaration +, Owl:real +
Has author Birte Glimm +
Modification dateThis property is a special property in this wiki. 10 September 2009 19:50:58  +
Premise ontology
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 owl:real)) 
  SubClassOf(:A 
    DataSomeValuesFrom(:dp DataOneOf("-INF"^^xsd:float "-0"^^xsd:integer))
  )
  ClassAssertion(:A :a)
)
Test case author Birte Glimm  +
Test case description The individual a must have either negative Infinity or 0 (-0 as integer is 0) as dp fillers and all dp successors must be from owl:real, which excludes negative infinity, but allows 0.
Test case id Consistent owl:real range with DataOneOf  +
Test case semantics Test:DIRECT +, Test:RDF-BASED +
Test case species Test:DL +, Test:FULL +
Test case status Test:Approved +
Test case syntax Test:FUNCTIONAL +
Categories No EL profile test, No QL profile test, No 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