Description Logic

Grounding Knowledge Representation Systems in Logical Theory

AITopics > Representation > Description Logics

Definition of the Area

The main effort of the research in knowledge representation is providing theories and systems for expressing structured knowledge and for accessing and reasoning with it in a principled way. Description Logics are considered the most important knowledge representation formalism unifying and giving a logical basis to the well known traditions of Frame-based systems, Semantic Networks and KL-ONE-like languages, Object-Oriented representations, Semantic data models, and Type systems.

Introductory Readings

Description Logic Resources

The Description Logic Handbook (2003) -- page with information about the book and a free excerpt.

Courses and Slides

Courses and Slides