Publisher Summary This chapter discusses description logics (DLs), which are a family of
logic-based knowledge representation languages that can be used to represent the …

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 …

Description logics (DLs) have a long tradition in computer science and knowledge
representation, being designed so that domain knowledge can be described and so that …

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 …

The recently introduced series of description logics under the common monikerDL-Lite'has
attracted attention of the description logic and semantic web communities due to the low …

UML is the de-facto standard formalism for software design and analysis. To support the
design of large-scale industrial applications, sophisticated CASE tools are available on the …

Researchers in the ontology-design field have developed the content for ontologies in many
domain areas. This distributed nature of ontology development has led to a large number of …

We propose a combination of logic programming under the answer set semantics with the
description logics SHIF (D) and SHOIN (D), which underly the Web ontology languages …

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 …