In this paper we study Secrecy-Preserving Query Answering problem underthe OpenWorld Assumption (OWA) for Prob-EL>0;=1 Knowledge Bases(KBs). We have designed a tableau procedure to compute a semi model Mover the given KB which eventually is equivalent to a probabilistic modelto KB. Given a secrecy set S, which is a finite set of assertions, wecompute a function E, called an envelope of S, which assigns a set E() ofassertions to each world in the semi modal M. E provides logical protection to the secrecy set S against the reasoning of a querying agent. Once the semi model M and an envelope E are computed, we define the secrecy-preserving semi model ME.Based on the information available in ME, assertional queries with probabilisticoperators can be answered eciently while preserving secrecy. Tothe best of our knowledge, this work is first one studying secrecy-preservingreasoning in description logic augmented with probabilistic operators. Whenthe querying agent asks a query q, the reasoner answers “Yes” if informationabout q is available in ME; otherwise, the reasoner answers “Unknown”. Beingable to answer “Unknown” plays a key role in protecting secrecy underOWA. Since we are not computing all the consequences of the knowledgebase, answers to the queries based on just secrecy-preserving semi modelME could be erroneous. To fix this problem, we further augment our algorithmsby providing recursive query decomposition algorithm to make thequery answering procedure foolproof.1

No abstract

No abstract

No abstract