Consistency checking of clinical practice guidelines with MITDL

Since a Clinical Practice Guideline describes the diagnosis and treatment process of a disease, designers of such guidelines should ensure their logical consistency. A formal approach for modeling them provides a basis for some useful reasoning (e.g., satisfiability checking). In this paper, we describe a metric interval-based temporal description logic, which is suitable for modeling the dynamic aspect of a domain and the the medical ontologies. We also propose a tableau-based algorithm for checking the satisfiability of such guidelines, to assure their logical consistency. We explain the process of encoding a real-life guideline, the “Treatment of Tuberculosis”, and present a situation where designers can use our logic and associated satisfiability algorithm to detect an inconsistency in the guideline for patients with Cirrhosis disease.

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

[2]  Arie Hasman,et al.  Approaches for creating computer-interpretable guidelines that facilitate decision support , 2004, Artif. Intell. Medicine.

[3]  Valentin Goranko,et al.  A Road Map of Interval Temporal Logics and Duration Calculi , 2004, J. Appl. Non Class. Logics.

[4]  Zhen-han Tu.  Normality criteria for families of holomorphic mappings of several complex variables into , 1999 .

[5]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[6]  Enrico Franconi,et al.  A Computational Account for a Description Logic of Time and Action , 1994, KR.

[7]  Enrico Franconi,et al.  A survey of temporal extensions of description logics , 2001, Annals of Mathematics and Artificial Intelligence.

[8]  Enrico Franconi,et al.  A Temporal Description Logic for Reasoning about Actions and Plans , 1998, J. Artif. Intell. Res..

[9]  Zongtian Liu,et al.  A Temporal Description Logic for Reasoning about Action in Event , 2012 .

[10]  Morteza Yousef Sanati.  A Metric Interval-based Temporal Description Logic , 2015 .

[11]  Claudio Bettini,et al.  Time-Dependent Concepts: Representation and Reasoning Using Temporal Description Logics , 1997, Data Knowl. Eng..

[12]  T. S. E. Maibaum,et al.  Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic , 2014, FM.

[13]  Sang-Jun Yea,et al.  Temporal Ontology Language for Representing and Reasoning Interval-Based Temporal Knowledge , 2008, ASWC.

[14]  S Christov,et al.  Formally Defining Medical Processes , 2008, Methods of Information in Medicine.

[15]  Vasant G Honavar,et al.  A PSpace Tableau Algorithm for Acyclic Modalized ALC , 2010 .

[16]  Claudio Bettini.  A Family of Temporal Terminological Logics , 1993, AI*IA.

[17]  Ian Horrocks,et al.  OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .

[18]  Vasant Honavar,et al.  PSPACE Tableau Algorithms for Acyclic Modalized $\boldsymbol{\mathcal{ALC}}$ , 2011, Journal of Automated Reasoning.

[19]  Frank Wolter,et al.  A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case , 2000 .

[20]  Axel van Lamsweerde,et al.  Transformation operators for easier engineering of medical process models , 2013, 2013 5th International Workshop on Software Engineering in Health Care (SEHC).

[21]  Samson W. Tu,et al.  A flexible approach to guideline modeling , 1999, AMIA.

[22]  Manuel Campos,et al.  Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study , 2009, IWINAC.