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.
Keywords
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.
This research is partially supported by Compagnia di San Paolo.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 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
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)
Kish, M.A.: Guide to development of practice guidelines. Clin. Infect. Dis. 32(6), 851–854 (2001)
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)
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)
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)
Terenziani, P., Molino, G., Torchio, M.: A modular approach for representing and executing clinical guidelines. Artif. Intell. Med. 23(3), 249–276 (2001)
International Health Terminology Standards Development Organization: SNOMED CT. http://www.ihtsdo.org/snomed-ct/
Lee, D., Cornet, R., Lau, F., de Keizer, N.: A survey of SNOMED CT implementations. J. Biomed. Inform. 46(1), 87–96 (2013)
Rector, A.L.: Medical informatics. In: Baader, F., Calvanese, D., McGuinness, L., Nardi, D., Patel-Schneider, P.F. (eds.) Description Logic Handbook (2007)
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)
Gelfond, M.: Answer Sets. Handbook of Knowledge Representation, chapter 7. Elsevier, New York (2007)
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)
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)
Baader, F., Brandt, S., Lutz, C.: Pushing the \({\cal E}{\cal L}\) envelope. In: IJCAI, pp. 364–369 (2005)
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)
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)
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)
Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008)
Munoz-Gama, J., Carmona, J.: Enhancing precision in process conformance: stability, confidence and severity. In: Proceeding of CIDM, pp. 184–191 (2011)
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)
Müller, R., Greiner, U., Rahm, E.: AgentWork: a workflow system supporting rule-based workflow adaptation. Data Knowl. Eng. 51(2), 223–256 (2004)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)