Fig. 3
From: Dione: An OWL representation of ICD-10-CM for classifying patients’ diseases

OWL definition of the Class I10. ICD-10-CM category I10 inclusion terms are modelled as owl:someValuesFrom statement (∃) and their intersection are defined as equivalent of the class I10 by means of the owl:equivalentClass (⊓) axiom. The Description Logic syntax of OWL is used