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 …

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 …

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 …

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

The combination of transitive and inverse roles is important in a range of applications, and is
crucial for the adequate representation of aggregated objects, allowing the simultaneous …

While there has been a great deal of work on the development of reasoning algorithms for
expressive description logics, in most cases only Tbox reasoning is considered. In this paper …

We present description logics of minimal knowledge and negation as failure (MKNF-DLs),
which augment description logics with modal operators interpreted according to Lifschitz's …

Combining knowledge representation and reasoning formalisms is an important and
challenging task. It is important because non-trivial AI applications often comprise different …