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 …

Recent years have seen an increasing interest in ontology-mediated query answering, in
which the semantic knowledge provided by an ontology is exploited when querying data …

We discuss the use of various temporal knowledge representation formalisms for ontology-
mediated query answering over temporal data. In particular, we analyse ontology and query …

We propose a family of probabilistic description logics (DLs) that are derived in a principled
way from Halpern's probabilistic first-order logic. The resulting probabilistic DLs have a two …

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 …

Context-aware systems use data collected at runtime to recognize certain predefined
situations and trigger adaptations. This can be implemented using ontology-based data …

We investigate ontology-based data access to temporal data. We consider temporal
ontologies given in linear temporal logic LTL interpreted over discrete time (Z,<). Queries are …

Aiming at ontology-based data access to temporal data, we design two-dimensional
temporal ontology and query languages by combining logics from the (extended) DL-Lite …

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 investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval
temporal logic depending on the type (box or diamond) of the interval modal operators, the …