TY - GEN
T1 - Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization
AU - Tachmazidis, Ilias
AU - Antoniou, Grigoris
PY - 2013/7
Y1 - 2013/7
N2 - Increasingly huge amounts of data are published on the Web, and generated from sensors and social media. This Big Data challenge poses new scientific and technological challenges and creates new opportunities - thus the increasing attention 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 stratified semantics of logic programming, equivalent to the well-founded semantics for stratified programs, can process huge amounts of data through mass parallelization. In particular, we propose and evaluate a parallel approach using the MapReduce framework. Our experimental results indicate that our approach is scalable and that stratified semantics of logic programming can be applied to billions of facts.
AB - Increasingly huge amounts of data are published on the Web, and generated from sensors and social media. This Big Data challenge poses new scientific and technological challenges and creates new opportunities - thus the increasing attention 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 stratified semantics of logic programming, equivalent to the well-founded semantics for stratified programs, can process huge amounts of data through mass parallelization. In particular, we propose and evaluate a parallel approach using the MapReduce framework. Our experimental results indicate that our approach is scalable and that stratified semantics of logic programming can be applied to billions of facts.
UR - http://www.scopus.com/inward/record.url?scp=84880989849&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-39617-5_18
DO - 10.1007/978-3-642-39617-5_18
M3 - Conference contribution
AN - SCOPUS:84880989849
SN - 9783642396168
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 188
EP - 202
BT - Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Proceedings
PB - Springer Verlag
ER -