Abstract Description logics are a family of knowledge representation formalisms that are
descended from semantic networks and frames via the system Kl-one. During the last …

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

The vision of a Semantic Web has recently drawn considerable attention, both from
academia and industry. Description logics are often named as one of the tools that can …

In this chapter, we explain what description logics are and why they make good ontology
languages. In particular, we introduce the description logic SHIQ, which has formed the …

A drawback which concept languages based on KL-ONE have is that all the terminological
knowledge has to be defined on an abstract logical level. In many applications, one would …

It is natural to view concept and role definitions in description logics as expressing monadic
and dyadic predicates in predicate calculus. We show that the descriptions built using the …

The idea of developing knowledge representation systems based on a structured
representation of knowledge was rst pursued with Semantic Networks and Frames …

Abstract A Description Logic (DL) system is characterized by four fundamental aspects: the
set of constructs used in concept and role expressions, the kind of assertions allowed in the …

The knowledge representation system KL-ONE has been one of the most influential and
imitated knowledge representation systems in the Artificial Intelligence community. Begun at …

Terminological Cycles in a Description Logic with Existential Restrictions Page 1
Terminological Cycles in a Description Logic with Existential Restrictions Franz Baader …