Namespace(rdf	= http://www.w3.org/1999/02/22-rdf-syntax-ns#)
Namespace(xsd	= http://www.w3.org/2001/XMLSchema#)
Namespace(rdfs	= http://www.w3.org/2000/01/rdf-schema#)
Namespace(owl	= http://www.w3.org/2002/07/owl#)
Namespace(a	= http://a.com/ontology#)

Ontology(

 Class(a:Person partial 
  restriction(http://a.com/ontology#has_temperature allValuesFrom (http://a.com/ontology#Temperature_Relation)))
 Class(http://a.com/ontology#Temperature_Relation partial 
  restriction(http://a.com/ontology#temperature_value allValuesFrom (http://a.com/ontology#Temperature_value))
  restriction(http://a.com/ontology#temperature_trend allValuesFrom (http://a.com/ontology#Temperature_trend)))
 Class(http://a.com/ontology#Temperature_trend complete 
  oneOf(a:FALLING a:RISING a:STABLE))
 Class(http://a.com/ontology#Temperature_value complete 
  oneOf(a:NORMAL http://a.com/ontology#BELOW_NORMAL a:ELEVATED))

 ObjectProperty(http://a.com/ontology#has_temperature
  range(http://a.com/ontology#Temperature_Relation))
 ObjectProperty(http://a.com/ontology#temperature_trend)
 ObjectProperty(http://a.com/ontology#temperature_value)

 Individual(http://a.com/ontology#BELOW_NORMAL
  type(http://a.com/ontology#Temperature_value))
 Individual(a:ELEVATED
  type(http://a.com/ontology#Temperature_value))
 Individual(a:FALLING
  type(http://a.com/ontology#Temperature_trend))
 Individual(a:NORMAL
  type(http://a.com/ontology#Temperature_value))
 Individual(a:RISING
  type(http://a.com/ontology#Temperature_trend))
 Individual(a:STABLE
  type(http://a.com/ontology#Temperature_trend))
 Individual(a:Steve
  type(a:Person))
 Individual(http://a.com/ontology#Temperature_Relation_1
  type(http://a.com/ontology#Temperature_Relation))

 DifferentIndividuals(a:NORMAL http://a.com/ontology#BELOW_NORMAL a:ELEVATED)
 DifferentIndividuals(a:FALLING a:RISING a:STABLE)

)