Assertional Removed Sets Merging of DL-Lite Knowledge Bases - Aix-Marseille Université Access content directly
Conference Papers Year : 2019

Assertional Removed Sets Merging of DL-Lite Knowledge Bases


DL-Lite is a tractable family of Description Logics that underlies the OWL-QL profile of the ontology web language, which is specifically tailored for query answering. In this paper, we consider the setting where the queried data are provided by several and potentially conflicting sources. We propose a merging approach, called "Assertional Removed Sets Fusion" (ARSF) for merging DL-Lite assertional bases. This approach stems from the inconsistency minimization principle and consists in determining the minimal subsets of assertions, called assertional removed sets, that need to be dropped from the original assertional bases in order to resolve conflicts between them. We give several merging strategies based on different definitions of minimality criteria, and we characterize the behaviour of these strategies with respect to rational properties. The last part of the paper shows how to use the notion of hitting sets for computing the assertional removed sets, and the merging outcome.
Fichier principal
Vignette du fichier
main.pdf (289.66 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02392974 , version 1 (04-12-2019)


  • HAL Id : hal-02392974 , version 1


Salem Benferhat, Zied Bouraoui, Odile Papini, Eric Würbel. Assertional Removed Sets Merging of DL-Lite Knowledge Bases. The 13th international conference on Scalable Uncertainty Management, Dec 2019, Compiègne, France. ⟨hal-02392974⟩
97 View
128 Download


Gmail Facebook X LinkedIn More