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 …

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 …

抄録< jats: p> This book develops the theory of typed feature structures, a data structure that
generalizes both first-order terms and feature structures of unification-based grammars to …

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 …

A semantic network is a graph of the structure of meaning. This article introduces semantic
network systems and their importance in Artificial Intelligence, followed by I. the early …