Description Logics for Ontologies

Relatore:  Dr. Ulrike Sattler - Institut fuer Theoretische Informatik, Technische Universitaet Dresden
  martedì 3 giugno 2003 17:30
Description Logics (DLs) are a family of knowledge representation
formalisms designed for representing and reasoning about the
terminological knowledge of an application domain. It turned out that
DLs are well-suited for providing a logical basis for Semantic Web
ontology languages. In the last decade, a lot of work was devoted to
finding a good compromise between the expressive power of a DL and its
computational complexity. One result of this work was the successful
DL SHIQ which combines high expressive power with surprisingly good
behaviour in many realistic applications.

In this talk, I will introduce description logics and illustrate the
various expressive means of SHIQ. Then I will talk about some
advanced aspects of DLs: extensions of SHIQ for the propagation of one
property along another one, finite model reasoning, and the
combination of concrete domains and key constraints.

Ca' Vignal - Piramide, Piano 0, Sala Verde

Maria Paola Bonacina

Referente esterno
Data pubblicazione
28 maggio 2003

Offerta formativa