---
title: "Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract)"
authors:
  - "Meghyn Bienvenu"
  - "Diego Figueira"
  - "Pierre Lafourcade"
doi: "10.24963/ijcai.2025/1208"
url: "https://ijcai.org/proceedings/2025/1208"
pdf: "https://ijcai.org/proceedings/2025/1208.pdf"
venue: "Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence"
year: 2025
pages: "10875-10880"
track: "Sister Conferences Best Papers"
keywords:
  - "Sister Conferences Best Papers: Knowledge Representation and Reasoning"
---

# Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract)

Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade

*Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence*, pages 10875-10880. DOI: [10.24963/ijcai.2025/1208](https://doi.org/10.24963/ijcai.2025/1208)

## 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.