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 …

Description Logics are a family of knowledge representation languages that have been
studied extensively in Artificial Intelligence over the last two decades. They are embodied in …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Data warehouses have captured the attention of practitioners and researchers alike. But the
design and optimization of data warehouses remains an art rather than a science. This book …

Temporal Description Logics: A Survey Page 1 Temporal Description Logics: A Survey
Carsten Lutz Inst. of Theoretical Computer Science TU Dresden, Germany lutz@tcs.inf.tu-dresden.de …

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 …

Many applications operate on time-“sensitive” data. Some of these data are only valid for
certain intervals (eg, job-assignments, versions of software code), others describe temporal …

In this paper, we introduce a new fragment of the first-order temporal language, called the
monodic fragment, in which all formulas beginning with a temporal operator (Since or Until) …

Most of the research on temporalized Description Logics (DLs) has concentrated on the
case where temporal operators can be applied to concepts, and sometimes additionally to …

In this survey, we present an overview on (Modal) Temporal Logic Programming in view of
its application to Knowledge Representation and Declarative Problem Solving. The syntax of …