Extensions to Description Logics

This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics as a modeling language. In particular, it addresses the extensions concerning: concrete domain constraints; modal, epistemic, and temporal operators; probabilities and fuzzy logic; and defaults. On the other hand, it considers non-standard inference problems for Description Logics, i.e., inference problems that—unlike subsumption or instance checking—are not available in all systems, but have turned out to be useful in applications. In particular, it addresses the non-standard inference problems: least common subsumer and most specific concept; unification and matching of concepts; and rewriting.

• Type: Conference
• Year: 2003
• Where: DLOG
• Authors: Franz Baader, Ralf Küsters, Frank Wolter
• Keywords: Automated Reasoning, Concrete Domain Constraints, Description Logics, DLOG 2003, Non-standard Inference Problems