Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Knowledge Representation for Health Care (KR4HC 2014)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8903))

Abstract

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.

This research is partially supported by Compagnia di San Paolo.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    This can be seen as an extension of ASP where, in the grounding of ASP rules, variables in such \(\mathtt{{is\_a}}\) atoms are instantiated in all possible ways with atomic concepts occurring in the ASP model; the semantics of the grounded program can be taken to be a special case of the weak answer set semantics in [16] where DL queries are restricted to be concept inclusions only.

References

  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. Kish, M.A.: Guide to development of practice guidelines. Clin. Infect. Dis. 32(6), 851–854 (2001)

    Article  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. Terenziani, P., Molino, G., Torchio, M.: A modular approach for representing and executing clinical guidelines. Artif. Intell. Med. 23(3), 249–276 (2001)

    Article  Google Scholar 

  7. International Health Terminology Standards Development Organization: SNOMED CT. http://www.ihtsdo.org/snomed-ct/

  8. Lee, D., Cornet, R., Lau, F., de Keizer, N.: A survey of SNOMED CT implementations. J. Biomed. Inform. 46(1), 87–96 (2013)

    Article  Google Scholar 

  9. ELK. https://code.google.com/p/elk-reasoner/

  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. 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. Gelfond, M.: Answer Sets. Handbook of Knowledge Representation, chapter 7. Elsevier, New York (2007)

    Google Scholar 

  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. 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)

    Article  Google Scholar 

  15. Baader, F., Brandt, S., Lutz, C.: Pushing the \({\cal E}{\cal L}\) envelope. In: IJCAI, pp. 364–369 (2005)

    Google Scholar 

  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)

    Article  MATH  Google Scholar 

  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)

    MathSciNet  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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. 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. Müller, R., Greiner, U., Rahm, E.: AgentWork: a workflow system supporting rule-based workflow adaptation. Data Knowl. Eng. 51(2), 223–256 (2004)

    Article  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. DISIT, Sezione di Informatica, Università del Piemonte Orientale, Alessandria, Italy

    Matteo Spiotta, Alessio Bottrighi, Laura Giordano & Daniele Theseider Dupré

  2. Dipartimento di Informatica, Università di Torino, Turin, Italy

    Matteo Spiotta

Authors
  1. Matteo Spiotta
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alessio Bottrighi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Laura Giordano
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Daniele Theseider Dupré
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Daniele Theseider Dupré .

Editor information

Editors and Affiliations

  1. Vienna University of Technology, Vienna, Austria

    Silvia Miksch

  2. Universitat Rovira i Virgili, Tarragona, Spain

    David Riaño

  3. Vrije Universiteit Amsterdam, Amsterdam, The Netherlands

    Annette ten Teije

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Spiotta, M., Bottrighi, A., Giordano, L., Theseider Dupré, D. (2014). Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology. In: Miksch, S., Riaño, D., ten Teije, A. (eds) Knowledge Representation for Health Care. KR4HC 2014. Lecture Notes in Computer Science(), vol 8903. Springer, Cham. https://doi.org/10.1007/978-3-319-13281-5_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-13281-5_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-13280-8

  • Online ISBN: 978-3-319-13281-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation