Formal Encoding and Verification of Temporal Constraints in Clinical Practice Guidelines (Contributo in atti di convegno)

Type
Label
  • Formal Encoding and Verification of Temporal Constraints in Clinical Practice Guidelines (Contributo in atti di convegno) (literal)
Anno
  • 2013-01-01T00:00:00+01:00 (literal)
Alternative label
  • Iannaccone, Marco; Esposito, Massimo (2013)
    Formal Encoding and Verification of Temporal Constraints in Clinical Practice Guidelines
    in 8th International Conference on Knowledge, Information and Creativity Support Systems, Krakow, Poland, 7-9/11/2013
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Iannaccone, Marco; Esposito, Massimo (literal)
Pagina inizio
  • 211 (literal)
Pagina fine
  • 222 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ICAR-CNR, ICAR-CNR (literal)
Titolo
  • Formal Encoding and Verification of Temporal Constraints in Clinical Practice Guidelines (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-83-912831-8-9 (literal)
Abstract
  • In the last decades, clinical practice guidelines have been formulated in order to help decision making about treating specific diseases and promote standards of care quality. Despite the efforts involved to provide solutions for both specifying and verifying temporal constraints in computerized guidelines, none of them is concerned with directly embedding the theoretic semantics of a formal language as the basis of a guideline formalism in order to easily and directly support the temporal perspective. In such a direction, this paper proposes a formal approach which has been seamlessly embedded into a standards-based verifiable guideline model, named GLM-CDS (GuideLine Model for Clinical Decision Support). Such an approach integrates the theoretic semantics of ontology and rule languages to specify and automatically verify a variety of temporal constraints. Such constraints are formulated according to some time patterns, i.e. task duration, periodicity, deadline, scheduling and time lags, and encoded as axioms/formulae verifiable at run-time during the guideline enactment, in order to detect violations or errors occurred with respect to the temporal perspective. As an example of application of the proposed approach, some temporal constraints have been implemented and integrated in GLM-CDS, according to the time patterns identified. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it