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 are a family of knowledge representation languages that have been
studied extensively in Artificial Intelligence over the last two decades. They are embodied in …

Thoroughly covering basic introductions and intuitions, technical details, and formal
foundations, this text focuses on the established foundations in this area that have become …

We describe an extension of the description logic underlying OWL-DL, SHOIN, with a
number of expressive means that we believe will make it more useful in practice. Roughly …

HermiT is a new OWL reasoner based on a novel “hypertableau” calculus. The new calculus
addresses performance problems due to nondeterminism and model size—the primary …

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 …

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 …

An important objective of the Semantic Web is to make Electronic Commerce interactions
more flexible and automated. To achieve this, standardization of ontologies, message …

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 …