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 …

Abstract ℰ ℒ EL is a simple tractable Description Logic that features conjunctions and
existential restrictions. Due to its favorable computational properties and relevance to …

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 …

RACER implements a TBox and ABox reasoner for the logic SℌIQ. RACER was the first full-
fledged ABox description logic system for a very expressive logic and is based on optimized …

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 …

We present a novel reasoning calculus for the description logic SHOIQ^+---a knowledge
representation formalism with applications in areas such as the Semantic Web …