Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases - Archive ouverte HAL
Communication Dans Un Congrès Année : 2024

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases

Résumé

In this paper, we explore a quantitative approach to querying inconsistent description logic knowledge bases. We consider weighted knowledge bases in which both axioms and assertions have (possibly infinite) weights, which are used to assign a cost to each interpretation based upon the axioms and assertions it violates. Two notions of certain and possible answer are defined by either considering interpretations whose cost does not exceed a given bound or restricting attention to optimal-cost interpretations. Our main contribution is a comprehensive analysis of the combined and data complexity of bounded cost satisfiability and certain and possible answer recognition, for description logics between EL⊥ and ALCO.
Fichier principal
Vignette du fichier
KR2024-BieBouJea.pdf (343.9 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04730664 , version 1 (10-10-2024)

Identifiants

  • HAL Id : hal-04730664 , version 1

Citer

Meghyn Bienvenu, Camille Bourgaux, Robin Jean. Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases. KR 2024 - 21st International Conference on Principles of Knowledge Representation and Reasoning, Nov 2024, Hanoi, Vietnam. ⟨hal-04730664⟩
33 Consultations
9 Téléchargements

Partager

More