• Research,

Thomas Meyer - An introduction to description logics

on the June 20, 2007

Manufacture des Tabacs (salle ME 303)
Access map

Séminaire IRIT-UT1 - Mercredi 20 juin 2007 à 12h30 - salle ME 303

Description logics (DLs) are a family of knowledge representationlanguages which can be used to represent the terminological knowledgeof an application domain in a structured and formally well-understoodway. DLs differ from their predecessors, such as semantic networks and frames, in that they are equipped with a formal, logic-based semantics, which can, e.g., be given by a translation into first-order predicate logic.
In this talk I will give an introduction to description logics by providing a fairly detailed discussion of the description logic ALC. The motivationfor focusing on ALC is that it is a good representative example of the whole family of DLs. Time permitting, I will also discuss a number of other DLs, some of which are more expressive, and some less expressive than ALC.

Contact :
Frédéric Amblard :
Updated on the February 9, 2012