This paper surveys the temporal extensions of description logics appearearing in the
literature. The analysis considers a large spectrum of approaches appearearing in the …

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 …

Abstract Evaluation of operational engineering availability and maintainability is usually
considered in the detail design phase, or after installation of an engineering design. It deals …

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 …

In recent years, there has been a growing interest in the adoption of ontologies and
ontological reasoning to automatically recognize complex context data such as human …

Combining knowledge representation and reasoning formalisms is an important and
challenging task. It is important because non-trivial AI applications often comprise different …

A major challenge of ubiquitous computing resides in the acquisition and modelling of rich
and heterogeneous context data, among which, ongoing human activities at different …