OWL 2 QL 中的受控查询评估：一种“最长蜜月”方法（扩展版）
数据库
2022-10-27 v1 人工智能
摘要
受控查询评估（CQE）近来已在语义网本体背景下得到研究。CQE 的目标是隐藏某些查询答案，以防止外部用户推断出机密信息。一般而言，存在多种互不可比的隐藏答案方式，而以往的 CQE 方法会预先选定哪些答案可见、哪些不可见。本文则研究一种动态 CQE 方法，即我们提议基于先前查询的评估来更改对当前查询的回答。我们旨在构建一个除能保护机密数据外还具最大协作性的系统，直观而言即它对尽可能多的查询给出肯定回答；该系统通过尽可能延迟答案修改来实现此目标。我们还表明，所得行为无法通过一个独立于查询历史的静态方法在内涵上被模拟。有趣的是，对于 OWL 2 QL 本体以及通过 denial 表达的策略，在我们的语义下的查询评估是一阶可重写的，因此在数据复杂度上属于 AC0。这为实用算法的开发铺平了道路，我们在文中也初步探讨了相关算法。
引用
@article{arxiv.2207.11155,
title = {CQE in OWL 2 QL: A "Longest Honeymoon" Approach (extended version)},
author = {Piero Bonatti and Gianluca Cima and Domenico Lembo and Lorenzo Marconi and Riccardo Rosati and Luigi Sauro and Domenico Fabio Savo},
journal= {arXiv preprint arXiv:2207.11155},
year = {2022}
}
备注
This paper is the extended version of "P.Bonatti, G.Cima, D.Lembo, L.Marconi, R.Rosati, L.Sauro, and D.F.Savo. Controlled query evaluation in OWL 2 QL: A "Longest Honeymoon" approach" accepted for publication at ISWC 2022