Seminario "Handling Inconsistency in Prioritized DL-Lite Knowledge Bases"

  • Data: 30 aprile 2015 dalle 10:00 alle 12:00

  • Luogo: Sala del Consiglio, Scuola di Ingegneria e Architettura, Viale Risorgimento 2, Bologna

Giovedi' 30 Aprile 2015 - ore 10:00
Sala del Consiglio della Scuola di Ingegneria ed Architettura (II piano, di fianco all'Aula Magna),
edificio storico Ingegneria, Viale Risorgimento 2

Speaker:
Salem Benferhat (CRIL, France)
http://www.cril.univ-artois.fr/~benferhat/

Titolo:
Handling Inconsistency in Prioritized DL-Lite Knowledge Bases

Summary:
The talk addresses  the problem of inconsistency handling in DL-Lite knowledge bases. Handling inconsistency in DL-Lite  knowledge bases where the assertional base is prioritized is a crucial problem in many applications, especially in case where the assertions are provided by multiple sources having different reliability levels.
We first review some existing inconsistency-tolerant reasoning methods for prioritized knowledge bases.
We then present different main strategies for computing repairs that are suitable for the DL-Lite setting. A suitable inconsistency-tolerant relation is a one that outputs a consistent DL-Lite knowledge base and produces as many safe conclusions as possible. One of the main question addressed in this talk is how to select one preferred assertional-based repair.
Selecting only one repair is important since it allows efficient query answering once the preferred repair is computed.