Reasoning over Ontologies with Description Logics

Partecipanti: Alessandro Artale - Libera Università di Bolzano

Il seminario sarà in italiano.

Abstract
The aim of the seminar is to provide a gentle introduction to formal foundations of Ontologies with logic-based representation languages. The seminar will focus on Description Logics (DLs) and on their application to reason over Ontologies. In particular, we will show how reasoning techniques developed by the DL community can be applied to the management of data providing the principal ingredients of what is an Intelligent Information System.