Secrecy-preserving Reasoning in ELH Knowledge Bases using MapReduce Algorithm

Gopalakrishnan Sivaprakasam, Giora Slutzki

Abstract

In this paper, we have used the MapReduce algorithm to study the problem of secrecy-preserving reasoning in a very large ELH knowledge bases. A tableau algorithm for ABox reasoning is designed in a way that is suitable for MapReduce framework and contains a small set of reasoning rules. To implement the parallelization method, we have designed map and reduce functions for each of these ABox reasoning rules. The output of this computational procedure is a finite set A∗ which contains assertional consequences of the given knowledge base. Given a finite secrecy set S, we compute a set E, called an envelope of S, which provides logical protection to the secrecy set S against the reasoning of a querying agent. To compute E, a tableau algorithm is designed by inverting ABox reasoning rules in a way that is suitable for MapReduce framework. Further, to implement the parallelization method, we have designed map and reduce functions for each of these inverted rules.

Download


Paper Citation


in Harvard Style

Sivaprakasam G. and Slutzki G. (2020). Secrecy-preserving Reasoning in ELH Knowledge Bases using MapReduce Algorithm.In Proceedings of the 12th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-395-7, pages 708-716. DOI: 10.5220/0008986007080716


in Bibtex Style

@conference{icaart20,
author={Gopalakrishnan Sivaprakasam and Giora Slutzki},
title={Secrecy-preserving Reasoning in ELH Knowledge Bases using MapReduce Algorithm},
booktitle={Proceedings of the 12th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2020},
pages={708-716},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0008986007080716},
isbn={978-989-758-395-7},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 12th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Secrecy-preserving Reasoning in ELH Knowledge Bases using MapReduce Algorithm
SN - 978-989-758-395-7
AU - Sivaprakasam G.
AU - Slutzki G.
PY - 2020
SP - 708
EP - 716
DO - 10.5220/0008986007080716