Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology

  • Matteo Spiotta
  • Alessio Bottrighi
  • Laura Giordano
  • Daniele Theseider DupréEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8903)


Clinical Guidelines (CGs) are developed for specifying the “best” clinical procedures for specific clinical circumstances. However, a CG is executed on a specific patient, with her peculiarities, and in a specific context, with its limitations and constraints. Physicians have to use Basic Medical Knowledge (BMK) in order to adapt the general CG to each specific case, even if the interplay between CGs and the BMK can be very complex, and the BMK should rely on medical terminological knowledge. In this paper, we focus on a posteriori analysis of conformance, intended as the adherence of an observed execution trace to CG and BMK knowledge. A CG description in the GLARE language is mapped to Answer Set Programming (ASP); the BMK and conformance rules are also represented in ASP. The BMK relies on the SNOMED CT terminology and additional (post-coordinated) concepts. Conformance analysis is performed in Answer Set Programming and identifies non-adherence situations to the CG and/or BMK, pointing out, in particular, discrepancies from one knowledge source that could be justified by another source, and discrepancies that cannot be justified.


Clinical Guideline Acute Heart Failure Conformance Analysis Knowledge Source Execution Trace 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Field, M.J., Lohr, K.N. (eds.): Guidelines for Clinical Practice: From Development to Use. National Academy Press, Institute of Medicine, Washington, D.C. (1992)Google Scholar
  2. 2.
    Kish, M.A.: Guide to development of practice guidelines. Clin. Infect. Dis. 32(6), 851–854 (2001)CrossRefGoogle Scholar
  3. 3.
    Ten Teije, A., Miksch, S., Lucas, P. (eds.): Computer-Based Medical Guidelines and Protocols: A Primer and Current Trends. Studies in Health Technology and Informatics, vol. 139. IOS Press, Amsterdam (2008)Google Scholar
  4. 4.
    Bottrighi, A., Chesani, F., Mello, P., Montali, M., Montani, S., Terenziani, P.: Conformance checking of executed clinical guidelines in presence of basic medical knowledge. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. LNBIP, vol. 100, pp. 200–211. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  5. 5.
    Brandhorst, C.J., Sent, D., Stegwee, R.A., van Dijk, B.M.A.G.: Medintel: decision support for general practitioners: a case study. In: Adlassnig, K.-P., Blobel, B., Mantas, J., Masic, I. (eds.) MIE, Studies in Health Technology and Informatics, vol. 150, pp. 688–692. IOS Press, Amsterdam (2009)Google Scholar
  6. 6.
    Terenziani, P., Molino, G., Torchio, M.: A modular approach for representing and executing clinical guidelines. Artif. Intell. Med. 23(3), 249–276 (2001)CrossRefGoogle Scholar
  7. 7.
    International Health Terminology Standards Development Organization: SNOMED CT.
  8. 8.
    Lee, D., Cornet, R., Lau, F., de Keizer, N.: A survey of SNOMED CT implementations. J. Biomed. Inform. 46(1), 87–96 (2013)CrossRefGoogle Scholar
  9. 9.
  10. 10.
    Rector, A.L.: Medical informatics. In: Baader, F., Calvanese, D., McGuinness, L., Nardi, D., Patel-Schneider, P.F. (eds.) Description Logic Handbook (2007)Google Scholar
  11. 11.
    Kazakov, Y., Krötzsch, M., Simancik, F.: ELK reasoner: architecture and evaluation. In: Horrocks, I., Yatskevich, M., Jiménez-Ruiz, E. (eds.) Proceeding of International Workshop on OWL Reasoner Evaluation (ORE-2012), CEUR 858 (2012)Google Scholar
  12. 12.
    Gelfond, M.: Answer Sets. Handbook of Knowledge Representation, chapter 7. Elsevier, New York (2007)Google Scholar
  13. 13.
    Giordano, L., Martelli, A., Spiotta, M., Theseider Dupré, D.: Business process verification with constraint temporal answer set programming. Theory Pract. Logic Program. 13(4–5), 563–578 (2013)Google Scholar
  14. 14.
    Bottrighi, A., Giordano, L., Molino, G., Montani, S., Terenziani, P., Torchio, M.: Adopting model checking techniques for clinical guidelines verification. Artif. Intell. Med. 48(1), 1–19 (2010)CrossRefGoogle Scholar
  15. 15.
    Baader, F., Brandt, S., Lutz, C.: Pushing the \({\cal E}{\cal L}\) envelope. In: IJCAI, pp. 364–369 (2005)Google Scholar
  16. 16.
    Eiter, T., Lanni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172(12–13), 1495–1539 (2008)CrossRefzbMATHGoogle Scholar
  17. 17.
    Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: the Potsdam answer set solving collection. AI Commun. 24(2), 105–124 (2011)MathSciNetGoogle Scholar
  18. 18.
    Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Towards robust conformance checking. In: Muehlen, M., Su, J. (eds.) BPM 2010 Workshops. LNBIP, vol. 66, pp. 122–133. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  19. 19.
    Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008)CrossRefGoogle Scholar
  20. 20.
    Munoz-Gama, J., Carmona, J.: Enhancing precision in process conformance: stability, confidence and severity. In: Proceeding of CIDM, pp. 184–191 (2011)Google Scholar
  21. 21.
    Quaglini, S.: Compliance with clinical practice guidelines. In: Ten Teije, P.L.A., Miksch, S. (eds.) Computer-based Medical Guidelines and Protocols: A Primer and Current Trends. IOS Press, Amsterdam (2008)Google Scholar
  22. 22.
    Müller, R., Greiner, U., Rahm, E.: AgentWork: a workflow system supporting rule-based workflow adaptation. Data Knowl. Eng. 51(2), 223–256 (2004)CrossRefGoogle Scholar
  23. 23.
    Piovesan, L., Molino, G., Terenziani, P.: An ontological knowledge and multiple abstraction level decision support system in healthcare. Decis. Anal. 1(8), 1–24 (2014)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Matteo Spiotta
    • 1
    • 2
  • Alessio Bottrighi
    • 1
  • Laura Giordano
    • 1
  • Daniele Theseider Dupré
    • 1
    Email author
  1. 1.DISIT, Sezione di InformaticaUniversità del Piemonte OrientaleAlessandriaItaly
  2. 2.Dipartimento di InformaticaUniversità di TorinoTurinItaly

Personalised recommendations