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#Diagnosis_Relation partial 
  restriction(http://a.com/ontology#diagnosis_value allValuesFrom (a:Disease))
  restriction(http://a.com/ontology#diagnosis_probability allValuesFrom (http://a.com/ontology#Probability_value)))
 Class(a:Disease partial)
 Class(a:Person partial 
  restriction(http://a.com/ontology#has_diagnosis allValuesFrom (http://a.com/ontology#Diagnosis_Relation)))
 Class(http://a.com/ontology#Probability_value complete 
  oneOf(a:LOW a:HIGH a:MEDIUM))

 ObjectProperty(http://a.com/ontology#diagnosis_value
  range(a:Disease))
 ObjectProperty(http://a.com/ontology#has_diagnosis
  range(http://a.com/ontology#Diagnosis_Relation))

 DatatypeProperty(http://a.com/ontology#diagnosis_probability)

 Individual(http://a.com/ontology#Breast_Tumor
  type(a:Disease))
 Individual(a:Christine
  type(a:Person)
  value(http://a.com/ontology#has_diagnosis http://a.com/ontology#Diagnosis_Relation_1))
 Individual(http://a.com/ontology#Diagnosis_Relation_1
  type(http://a.com/ontology#Diagnosis_Relation)
  value(http://a.com/ontology#diagnosis_value http://a.com/ontology#Breast_Tumor)
  value(http://a.com/ontology#diagnosis_probability "SimpleInstance(HIGH of [Cls(Probability_values, FrameID(1:10089)), Cls(diagnosis-n3_Class_19, FrameID(1:10093))])"))
 Individual(a:HIGH
  type(http://a.com/ontology#Probability_value))
 Individual(a:LOW
  type(http://a.com/ontology#Probability_value))
 Individual(a:MEDIUM
  type(http://a.com/ontology#Probability_value))

 DifferentIndividuals(a:LOW a:HIGH a:MEDIUM)

)