本体中介查询回答中的沙普利值计算

沙普利值最初在合作博弈论中作为财富分配机制引入。后来，它在知识表示和数据库中用于根据公式或元组对获得查询结果或不一致性的贡献来为其分配分数。在原始设置之外应用沙普利值依赖于定义一个捕获感兴趣现象的数值财富函数。在数据库查询的情况下，最近的工作集中在所谓的极端沙普利值上，该值通过查询是否满足将查询转换为0/1函数。本文探讨了在本体中介查询回答（OMQA）环境中使用极端沙普利值。我们对OMQA设置中的极端沙普利值计算（SVC$^{dr}$）问题进行了详细的复杂性分析。特别是，我们建立了一个二分法结果，表明对于由描述逻辑 $\mathcal{ELHI}_\bot$ 中的本体 T 和连通的、无常量且同态封闭的查询 q 组成的每个本体中介查询 (T,q)，相应的 SVC$^{dr}$ 问题要么是可处理的（在FP中），要么是#P难的。我们还展示了如何将#P难的一侧扩展到可能不连通且带常量的查询。我们的结果利用了SVC$^{dr}$与概率查询评估之间的现有联系，并使我们能够推广关于概率OMQA的现有结果。