Modeling and detecting high-level events in healthcare applications exploiting ISEQL+

Modeling and automatically detecting complex events in different domains, such as video surveillance and healthcare, is becoming an increasingly topical issue nowadays. In fact, deriving knowledge on higher level from low-level events by combining the latter to complex structures is the task of an Event Query Language (EQL), whose main issue is the lack of formal semantics. Consequently, in order to cope with this issue, in this paper we propose $$ISEQL+$$ , an extension of ISEQL (an Interval-based Surveillance Event Query Language, that we previously defined), aimed at further improving its expressiveness. More specifically, we provide formal proofs demonstrating that the language fully covers the well-known Allen’s interval relationships, additionally supports conditional overlap ratio and conditional cardinality constraints over the interval relationships, provides robustness with respect to small variations in the intervals, and can be formalized as relational algebra extension, which will in turn allow a very efficient implementation exploiting an existing algorithm. Eventually, we also show how typical events in the healthcare domain can be easily expressed via $$ISEQL+$$ .

Authors

Institutions

Publication Details

Journal
Soft Computing
Published
2026-03-17
DOI
https://doi.org/10.1007/s00500-025-10716-7
Primary Topic
Formal Methods in Verification
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Modeling and detecting high-level events in healthcare applications exploiting ISEQL+

Fabio Persia, Anton Dignös, Johann Gamper, Daniela D’Auria et al.
Soft Computing
Formal Methods in Verification
article

Modeling and detecting high-level events in healthcare applications exploiting ISEQL+

Fabio Persia, Anton Dignös, Johann Gamper, Daniela D’Auria, Sven Helmer
article en

Abstract

Modeling and automatically detecting complex events in different domains, such as video surveillance and healthcare, is becoming an increasingly topical issue nowadays. In fact, deriving knowledge on higher level from low-level events by combining the latter to complex structures is the task of an Event Query Language (EQL), whose main issue is the lack of formal semantics. Consequently, in order to cope with this issue, in this paper we propose $$ISEQL+$$ , an extension of ISEQL (an Interval-based Surveillance Event Query Language, that we previously defined), aimed at further improving its expressiveness. More specifically, we provide formal proofs demonstrating that the language fully covers the well-known Allen’s interval relationships, additionally supports conditional overlap ratio and conditional cardinality constraints over the interval relationships, provides robustness with respect to small variations in the intervals, and can be formalized as relational algebra extension, which will in turn allow a very efficient implementation exploiting an existing algorithm. Eventually, we also show how typical events in the healthcare domain can be easily expressed via $$ISEQL+$$ .

Soft Computing
Free University of Bozen-Bolzano (IT), University of Zurich (CH), University of L'Aquila (IT), University of Milano-Bicocca (IT)
Openalex Percentile: Top 18%
Formal Methods in Verification
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Modeling and detecting high-level events in healthcare applications exploiting ISEQL+ — Fabio Persia, Anton Dignös, et al. · Soft Computing (2026) | TGRS Research Map | TGRS