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 …

A concise and lucid exposition of the major topics in knowledge representation, from two of
the leading authorities in the field.-Stuart Russell, UC Berkeley The information is valuable …

Ь ей зи гж иж и а Д К КИ дганвгб аЙи б а Е з ж ди гв аг з Д ФзЕИ л зи жи в и Н Мз и ж и
Ќжзи виж и а ин ж зйаиз гж Фз л ж з глв И О℄ И л з йви а ж виан ж зиж и иг Фз ми в в и з а …

We investigate the consequences of adding unions and complements to attributive concept
descriptions employed in terminological knowledge representation languages. It is shown …

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 Current Description Logic reasoning systems provide only limited support for
debugging logically erroneous knowledge bases. In this paper we propose new non …

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 …