Meeting Reasoning over Ontologies with Description Logics
16 March 2017
- 04:00 PM - 06:00 PM
- In person : Sala Apollo (si entra dalla Biblioteca al secondo piano) via Zamboni 38
- In Italian
Program
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.