[Date Prev][Date Next][Date Index]

talk announcement: Wed, 31 May 2017 – Odile Papini „Prioritized Removed Sets Revision“

Dear all,

the Institute for Information Systems cordially invites you to the following talk:


Speaker:  Odile Papini, Aix-Marseille Université



DATE:   Wednesday, May 31, 2017

TIME:   14:00 c.t.

VENUE:  Seminarraum Goedel, Favoritenstrasse 9-11, Raum: HB EG 10



Prioritized Assertional-Based Removed Sets Revision of DL-Lite Belief Bases




In real world applications, information is often provided by multiple sources having different priority levels reflecting for instance their reliability.

This talk presents “Prioritized Removed Sets Revision” (PRSR) for revising stratified DL-Lite knowledge bases when a new sure piece of information, called the input, is added. The strategy of revision is based on inconsistency minimization and consists in determining smallest subsets

of assertions (prioritized removed sets) that should be dropped from the current stratified knowledge base in order to restore consistency and accept the input. We consider different forms of input: A membership assertion, a positive or a negative inclusion axiom. To characterize our revision approach, we first rephrase Hansson’s postulates for belief bases revision within a DL-Lite setting, we then give logical properties of PRSR operators. In some situations, the revision process leads to several possible revised knowledge bases where defining a selection function is required

to keep results within DL-Lite fragment. Finally we show how to use the notion of hitting set in order to compute the PRSR outcome and we give some results on the complexity of PRSR operators.




With kind support of the Vienna Center for Logic and Algorithms (VCLA) and the Wolfgang Pauli Institut (WPI).

TU Wien
Institut für Informationssysteme
Favoritenstrasse 9-11/184
A-1040 Wien
TEL.: +43 1 58801 18403