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 …