TY - JOUR
T1 - Efficient computation of the well-founded semantics over big data
AU - Tachmazidis, Ilias
AU - Antoniou, Grigoris
AU - Faber, Wolfgang
PY - 2014/7/21
Y1 - 2014/7/21
N2 - Data originating from the Web, sensor readings and social media result in increasingly huge datasets. The so called Big Data comes with new scientific and technological challenges while creating new opportunities, hence the increasing interest in academia and industry. Traditionally, logic programming has focused on complex knowledge structures/programs, so the question arises whether and how it can work in the face of Big Data. In this paper, we examine how the well-founded semantics can process huge amounts of data through mass parallelization. More specifically, we propose and evaluate a parallel approach using the MapReduce framework. Our experimental results indicate that our approach is scalable and that well-founded semantics can be applied to billions of facts. To the best of our knowledge, this is the first work that addresses large scale nonmonotonic reasoning without the restriction of stratification for predicates of arbitrary arity.
AB - Data originating from the Web, sensor readings and social media result in increasingly huge datasets. The so called Big Data comes with new scientific and technological challenges while creating new opportunities, hence the increasing interest in academia and industry. Traditionally, logic programming has focused on complex knowledge structures/programs, so the question arises whether and how it can work in the face of Big Data. In this paper, we examine how the well-founded semantics can process huge amounts of data through mass parallelization. More specifically, we propose and evaluate a parallel approach using the MapReduce framework. Our experimental results indicate that our approach is scalable and that well-founded semantics can be applied to billions of facts. To the best of our knowledge, this is the first work that addresses large scale nonmonotonic reasoning without the restriction of stratification for predicates of arbitrary arity.
KW - Big Data
KW - MapReduce Framework
KW - Well-Founded Semantics
UR - http://www.scopus.com/inward/record.url?scp=84904606010&partnerID=8YFLogxK
U2 - 10.1017/S1471068414000131
DO - 10.1017/S1471068414000131
M3 - Article
AN - SCOPUS:84904606010
VL - 14
SP - 445
EP - 459
JO - Theory and Practice of Logic Programming
JF - Theory and Practice of Logic Programming
SN - 1471-0684
IS - 4-5
ER -