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 …

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 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 …

Logics (DLs) are a family of knowledge representation formalisms mainly characterised by
constructors to build complex concepts and roles from atomic ones. Expressive role …

Rational decision making requires full knowledge of the utility function of the person affected
by the decisions. However, in many cases, the task of acquiring such knowledge is not …

Abstract OWL DL, a new W3C ontology language recommendation, is based on the
expressive description logic SHOIN. Although the ontology consistency problem for SHOIN …

Description Logics (DLs) are used in knowledge-based systems to represent and reason
about terminological knowledge of the application domain in a semantically well-defined …

Using an Expressive Description Logic: FaCT or Fiction Page 1 Using an Expressive
Description Logic: FaCT or Fiction Ian R. Horrocks presented by Sebastian Mieth March 9, 2006 …