Abstract Information systems have to deal with an increasing amount of data that is
heterogeneous, unstructured, or incomplete. In order to align and complete data, systems …

Abstract Description logic Knowledge and Action Bases (KAB) are a mechanism for
providing both a semantically rich representation of the information on the domain of interest …

We introduce metric temporal description logics (mTDLs) as combinations of the classical
description logic ALC with (a) LTL bin, an extension of the temporal logic LTL with succinctly …

We study access to temporal data with TEL, a temporal extension of the tractable description
logic EL. Our aim is to establish a clear computational complexity landscape for the atomic …

We study temporal description logics (TDLs) based on the branching-time temporal logic
CTL and the lightweight DL EL in the presence of rigid roles and restricted TBoxes. While …

We study branching-time temporal description logics (BTDLs) based on the temporal logic
CTL in the presence of rigid (time-invariant) roles and general TBoxes. There is evidence …

Formalisms based on temporal logics interpreted over finite strict linear orders, known in the
literature as finite traces, have been used for temporal specification in automated planning …

Capturing and understanding crowd dynamics is an important issue under diverse
perspectives. From social, psychological, and political sciences to safety management …

Linear temporal logic interpreted over finite traces (LTLf) has been used as a formalism for
temporal specification in automated planning, process modelling and (runtime) verification …

In this day and age, it is not possible to imagine our world without complex hardware and
software systems. Inevitably, it becomes more and more important to verify that the systems …