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(http://a.com/ontology#Health_Value complete 
  unionOf(http://a.com/ontology#Medium_health_value a:Good_health http://a.com/ontology#Poor_health_value))
 Class(http://a.com/ontology#Health_Value partial 
  a:Modifier)
 Class(http://a.com/ontology#Medium_health_value partial 
  http://a.com/ontology#Health_Value)
 Class(a:Modifier partial)
 Class(a:Person partial 
  http://a.com/ontology#Self_standing_entity)
 Class(http://a.com/ontology#Self_standing_entity partial)
 Class(http://a.com/ontology#Poor_health_value partial 
  http://a.com/ontology#Health_Value)
 Class(a:Good_health partial 
  http://a.com/ontology#Health_Value)
 Class(http://a.com/ontology#Good_health_person complete 
  intersectionOf(a:Person restriction(http://a.com/ontology#has_health_status someValuesFrom (a:Good_health))))

 ObjectProperty(http://a.com/ontology#has_health_status Functional
  domain(a:Person)
  range(http://a.com/ontology#Health_Value))

 Individual(a:John
  type(a:Person)
  value(http://a.com/ontology#has_health_status http://a.com/ontology#johns_health))
 Individual(http://a.com/ontology#johns_health
  type(a:Good_health))

 DisjointClasses(http://a.com/ontology#Medium_health_value http://a.com/ontology#Poor_health_value)
 DisjointClasses(http://a.com/ontology#Medium_health_value http://a.com/ontology#Poor_health_value)
 DisjointClasses(a:Good_health http://a.com/ontology#Poor_health_value)
 DisjointClasses(http://a.com/ontology#Medium_health_value a:Good_health)
 DisjointClasses(http://a.com/ontology#Medium_health_value a:Good_health)
 DisjointClasses(a:Good_health http://a.com/ontology#Poor_health_value)

)