TY - GEN
T1 - Conformance analysis of the execution of clinical guidelines with basic medical knowledge and clinical terminology
AU - Spiotta, Matteo
AU - Bottrighi, Alessio
AU - Giordano, Laura
AU - Theseider Dupré, Daniele
N1 - Publisher Copyright:
© Springer International Publishing Switzerland 2014.
PY - 2014
Y1 - 2014
N2 - 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 nonadherence 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.
AB - 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 nonadherence 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.
UR - https://www.scopus.com/pages/publications/84917694466
U2 - 10.1007/978-3-319-13281-5_5
DO - 10.1007/978-3-319-13281-5_5
M3 - Conference contribution
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 62
EP - 77
BT - Knowledge Representation for Health Care - 6th International Workshop, KR4HC 2014, Revised Selected Papers
A2 - Teije, Annette ten
A2 - Miksch, Silvia
A2 - Riaño, David
PB - Springer Verlag
T2 - 6th International Workshop on Knowledge Representation for Heath Care, KR4HC 2014 held as part of the 14th International Conference on Principles of Knowledge Representation and Reasoning, VSL 2014
Y2 - 21 July 2014 through 21 July 2014
ER -