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.