Skip to main content
×
Home
  • Print publication year: 2017
  • Online publication date: June 2017

1 - Introduction

Summary

This is, to the best of our knowledge, the first textbook dedicated solely to Description Logic (DL), a very active research area in logic-based knowledge representation and reasoning that goes back to the late 1980s and that has a wide range of applications in knowledge-intensive information systems. In this introductory chapter we will sketch what DLs are, how they are used and where they come from historically. We will also explain how to use this book.

What are DLs and where do they come from?

Description logics (DLs) are a family of knowledge representation languages that can be used to represent knowledge of an application domain in a structured and well-understood way. The name description logics is motivated by the fact that, on the one hand, the important notions of the domain are represented by concept descriptions, i.e., expressions that are built from atomic concepts (unary predicates) and atomic roles (binary predicates) using the concept and role constructors provided by the particular DL; on the other hand, DLs differ from their predecessors, such as semantic networks and frames, in that they are equipped with a logic-based semantics which, up to some differences in notation, is actually the same semantics as that of classical first-order logic.

Description logics typically separate domain knowledge into two components, a terminological part called the TBox and an assertional part called the ABox, with the combination of a TBox and an ABox being called a knowledge base (KB). The TBox represents knowledge about the structure of the domain (similar to a database schema), while the ABox represents knowledge about a concrete situation (similar to a database instance). TBox statements capturing knowledge about a university domain might include, e.g., a teacher is a person who teaches a course, a student is a person who attends a course and students do not teach, while ABox statements from the same domain might include Mary is a person, CS600 is a course and Mary teaches CS600. As already mentioned, a crucial feature of DLs is that such statements have a formal, logic-based semantics.

Recommend this book

Email your librarian or administrator to recommend adding this book to your organisation's collection.

An Introduction to Description Logic
  • Online ISBN: 9781139025355
  • Book DOI: https://doi.org/10.1017/9781139025355
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×