Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract)
Abstract
In this work, we explore the use of the Shapley value in ontology-mediated query answering (OMQA) and provide a detailed complexity analysis of Shapley value computation (SVC) in the OMQA setting. In particular, we establish a FP/#P-hard dichotomy for SVC for ontology-mediated queries (T,q) composed of an ontology T formulated in the description logic ELHI-bot and a connected constant-free homomorphism-closed query q. We further strengthen the #P-hardness side of the dichotomy to cover possibly disconnected queries with constants. Our results exploit recently discovered connections between SVC and probabilistic query evaluation and allow us to generalize existing results on probabilistic OMQA.
Cite
Text
Bienvenu et al. "Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/1208Markdown
[Bienvenu et al. "Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/bienvenu2025ijcai-shapley/) doi:10.24963/IJCAI.2025/1208BibTeX
@inproceedings{bienvenu2025ijcai-shapley,
title = {{Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract)}},
author = {Bienvenu, Meghyn and Figueira, Diego and Lafourcade, Pierre},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2025},
pages = {10875-10880},
doi = {10.24963/IJCAI.2025/1208},
url = {https://mlanthology.org/ijcai/2025/bienvenu2025ijcai-shapley/}
}