Secrecy-preserving Reasoning in Acyclic DL-LiteR Knowledge Bases in the Presence of BCQs

Gopalakrishnan Krishnasamy-Sivaprakasam, Giora Slutzki

2021

Abstract

In this paper we study Secrecy-Preserving Query Answering under Open World Assumption (OWA) for DL-LiteR Knowledge Bases (KBs) with acyclic TBox. Using a tableau algorithm, we construct A∗, an inferential closure of the given ABox A, which includes both positive as well as negative assertions. We use a notational variant of Kleene 3-valued semantics, which we call OW-semantics as it fits nicely with OWA. This allows us to answer queries, including Boolean Conjunctive Queries (BCQs) with “Yes”, “No” or “Unknown”, as opposed to the just answering “Yes” or “No” as in Ontology Based Data Access (OBDA) framework, thus improving the informativeness of the query-answering procedure. Being able to answer “Unknown” plays a key role in protecting secrecy under OWA. One of the main contributions of this paper is a study of answering BCQs without compromising secrecy. Using the idea of secrecy envelopes, previously introduced by one of the authors, we give a precise characterization of when BCQs should be answered “Yes”, “No” or “Unknown”. We prove the correctness of the secrecy-preserving query-answering algorithm.

Paper Citation

in Harvard Style

Krishnasamy-Sivaprakasam G. and Slutzki G. (2021). Secrecy-preserving Reasoning in Acyclic DL-LiteR Knowledge Bases in the Presence of BCQs.In Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-484-8, pages 360-372. DOI: 10.5220/0010335403600372

in Bibtex Style

@conference{icaart21,
author={Gopalakrishnan Krishnasamy-Sivaprakasam and Giora Slutzki},
title={Secrecy-preserving Reasoning in Acyclic DL-LiteR Knowledge Bases in the Presence of BCQs},
booktitle={Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2021},
pages={360-372},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010335403600372},
isbn={978-989-758-484-8},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Secrecy-preserving Reasoning in Acyclic DL-LiteR Knowledge Bases in the Presence of BCQs
SN - 978-989-758-484-8
AU - Krishnasamy-Sivaprakasam G.
AU - Slutzki G.
PY - 2021
SP - 360
EP - 372
DO - 10.5220/0010335403600372