Applying Description Logics Extended with Meta-modelling to SNOMED-CT

SNOMED-CT is a clinical and medical ontology that covers a wide range of concepts in the health domain. It is mostly used as a standard vocabulary to be referenced in electronic health records of patients. The SNOMED-CT ontology has been formalized with a description logic, the Web Ontology language OWL 2 profile OWL-EL. To integrate electronic health records to SNOMEDCT in an OWL-EL ontology, references to SNOMED-CT concepts in these records are modelled as instances of the referenced concepts. In this paper, the ontological model of this integration is analyzed. As our main contribution, we propose to give solution to some problems of this integration by defining a metamodel layer of SNOMED-CT with its concepts represented also as individuals, using an approach of description logics extended with meta-modelling.

[1]  Kent A. Spackman,et al.  Consolidating SNOMED CT's ontological commitment , 2011, Appl. Ontology.

[2]  Stefan Schulz,et al.  Formal representation of complex SNOMED CT expressions , 2008, BMC Medical Informatics Decis. Mak..

[3]  Boris Motik,et al.  On the Properties of Metamodeling in OWL , 2005, J. Log. Comput..

[4]  Anthony N. Nguyen,et al.  Exploiting SNOMED CT Concepts & Relationships for Clinical Information Retrieval: Australian e-Health Research Centre and Queensland University of Technology at the TREC 2012 Medical Track , 2012, TREC.

[5]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[6]  Gerd Gröner,et al.  Modelling and Reasoning in Metamodelling Enabled Ontologies , 2010, Int. J. Softw. Informatics.

[7]  Paula Severi,et al.  Reasoning for ALCQ Extended with a Flexible Meta-Modelling Hierarchy , 2014, JIST.

[8]  Johanna Völker,et al.  Integrated Metamodeling and Diagnosis in OWL 2 , 2010, SEMWEB.

[9]  Maurizio Lenzerini,et al.  Higher-Order Description Logics for Domain Metamodeling , 2011, AAAI.

[10]  Kent A. Spackman,et al.  SNOMED clinical terms: overview of the development process and project status , 2001, AMIA.

[11]  Tim Benson,et al.  Principles of Health Interoperability , 2016, Health Information Technology Standards.

[12]  Boris Motik,et al.  On the Properties of Metamodeling in OWL , 2007, J. Log. Comput..

[13]  Sebastian Rudolph,et al.  Foundations of Semantic Web Technologies , 2009 .

[14]  Kent A. Spackman,et al.  Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators , 2007, AIME.

[15]  Vojtech Svátek,et al.  Towards Typed Higher-Order Description Logics , 2013, Description Logics.

[16]  Vojtech Svátek,et al.  Typed Higher-Order Variant of SROIQ - Why Not? , 2014, Description Logics.

[17]  Alan L. Rector,et al.  Binding Ontologies & Coding Systems to Electronic Health Records and Messages , 2006, KR-MED.

[18]  Jeff Z. Pan,et al.  OWL FA: a metamodeling extension of OWL D , 2006, WWW '06.

[19]  Franz Baader,et al.  SNOMED reaching its adolescence: Ontologists' and logicians' health check , 2009, Int. J. Medical Informatics.

[20]  Paula Severi,et al.  Complexity of the Description Logic ALCM , 2016, KR.

[21]  Shaker El-Sappagh,et al.  A standard fragment of EHR relational data model for diabetes mellitus diagnosis , 2014, 2014 9th International Conference on Informatics and Systems.

[22]  Markus Krötzsch,et al.  OWL 2 Profiles: An Introduction to Lightweight Ontology Languages , 2012, Reasoning Web.

[23]  Paula Severi,et al.  The description logic SHIQ with a flexible meta-modelling hierarchy , 2015, J. Web Semant..