Abstract
In this paper we study Secrecy-Preserving Query Answering problem under Open World Assumption (OWA) for ELH Knowledge Bases (KBs). We employ two tableau procedures designed to compute some consequences of ABox (A) and TBox (T ) denoted by Aâ and T â respectively. A secrecy set of a querying agent is subset S of Aâ âa T â which the agent is not allowed to access. An envelope is a superset of the secrecy set which provides logical protection to the secrecy set against the reasoning of the querying agent. Once envelopes are computed, they are used to efficiently answer assertional and GCI queries without compromising the secret information in S. Answering GCI queries while preserving secrecy has not been studied in the current literature. When the querying agent asks a query q, the reasoner answers âYesâ if KB |= q and q does not belong to the envelopes; otherwise, the reasoner answers âUnknownâ. Being able to answer âUnknownâ plays a key role in protecting secrecy under OWA. Since we are not computing all the consequences of the KB, answers to the queries based on just Aâ and T â could be erroneous. To fix this problem, we further augment our algorithms to make the query answering procedure foolproof.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have