Together with the disruptive development of modern sub-symbolic approaches to artificial
intelligence (AI), symbolic approaches to classical AI are re-gaining momentum, as more …

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 …

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 …

Abstract An Introduction to Ontology Engineering is a free online textbook that provides an
overview of ontology engineering, including logics and automated reasoning, methods and …

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 …

We design temporal description logics (TDLs) suitable for reasoning about temporal
conceptual data models and investigate their computational complexity. Our formalisms are …

The immense and constantly growing number of videos urges efficient automated
processing mechanisms for multimedia contents, which is a real challenge due to the huge …

Temporal conceptual data modelling, as an extension to regular conceptual data modelling
languages such as EER and UML class diagrams, has received intermittent attention across …

Ontology-based data access (OBDA) generalizes query answering in databases towards
deductive entailment since (i) the fact base is not assumed to contain complete knowledge …

Ontology-based data access (OBDA) generalizes query answering in relational databases. It
allows to query a database by using the language of an ontology, abstracting from the actual …