Logo des Repositoriums

Künstliche Intelligenz 31(1) - März 2017

https://dl.gi.de/handle/20.500.12116/11026
Auflistung nach:

Auflistung Künstliche Intelligenz 31(1) - März 2017 nach Autor:in "Bourahla, Mustapha"

1 - 1 von 1
  • Zeitschriftenartikel
    Polynomial Algorithms for Computing a Single Preferred Assertional-Based Repair
    (KI - Künstliche Intelligenz: Vol. 31, No. 1, 2017) Telli, Abdelmoutia; Benferhat, Salem; Bourahla, Mustapha; Bouraoui, Zied; Tabia, Karim
    This paper investigates different approaches for handling inconsistent DL-Lite knowledge bases in the case where the assertional base is prioritized and inconsistent with the terminological base. The inconsistency problem often happens when the assertions are provided by multiple conflicting sources having different reliability levels. We propose different inference strategies based on the selection of one consistent assertional base, called a preferred repair. For each strategy, a polynomial algorithm for computing the associated single preferred repair is proposed. Selecting a unique repair is important since it allows an efficient handling of queries. We provide experimental studies showing (from a computational point of view) the benefits of selecting one repair when reasoning under inconsistency in lightweight knowledge bases.