PREFIX : <http://www.semanticweb.org/lat/ontologies/2023/concrete-domain/patient#> 

# Patient
A-sys: 
	1 * sys 
	= 120 
A-dia: 
	1 * dia 
	= 95 
A-age: 
	1 * age 
	= 42
A-hr: 
	1 * hr 
	= 173 
A-pp: 
	1 * pp 
	= 25 

##### TBox constrains 

PulsePressure25mmHg: 
	1 * sys 
	-1 * dia
	= 25 

HeartRateMax: 
	1 * maxHR 
	1 * age 
	= 220

PulsePressure: 
	1 * sys 
	-1 * dia 
	-1 * pp 
	= 0

HeartRateNearMax: 
	1 * maxHR
	-1 * hr 
	= 5 
 
### ICUpatient -> PulsePressure & HeartRateMax & (HeartRateNearMax & PulsePressure25mmHg) due to hr
#  @Test
#  def patient(): Unit = {
#    val manager = OWLManager.createOWLOntologyManager()
#    val factory = manager.getOWLDataFactory
#    def owlClass(name: String): OWLClass = {
#      factory.getOWLClass(IRI.create("http://www.semanticweb.org/lat/ontologies/2023/concrete-domain/patient#"       + name))
#    }
#
#    setOntFile("/simple/cd1/patient.owl")
#    setConFile("/simple/cd1/patient.txt")
#    setClassificationResult(testCaseExact(ontFile, conFile))
#    assertAndProve(owlClass("CurrentPatient"), owlClass("NeedAttention"), drawProof = true)
#  }
