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#)

Ontology(

 Class(Health_Value complete 

  oneOf(poor_health good_health medium_health))
 Class(Health_Value partial Modifier)

 Class(Healthy_person complete
  intersectionOf(restriction(has_health_status hasValue (good_health)) Person))

 Class(Modifier partial)

 Class(Person partial 
  Self_standing_entity)

 Class(Self_standing_entity partial)

 ObjectProperty(has_health_status Functional
  range(Health_Value))

 Individual(John
  type(Person)

  value(has_health_status good_health))

 Individual(good_health
  type(Health_Value))

 Individual(medium_health
  type(Health_Value))

 Individual(poor_health
  type(Health_Value))
)