Title
Massively Parallel Reasoning under the Well-Founded Semantics Using X10
Abstract
Academia and industry are investigating novel approaches for processing vast amounts of data coming from enterprises, the Web, social media and sensor readings in an area that has come to be known as Big Data. Logic programming has traditionally focused on complex knowledge structures/programs. The question arises whether and how it can be applied in the context of Big Data. In this paper, we study how the well-founded semantics can be computed over huge amounts of data using mass parallelization. Specifically, we propose and evaluate a parallel approach based on the X10 programming language. Our experiments demonstrate that our approach has the ability to process up to 1 billion facts within minutes.
Year
DOI
Venue
2014
10.1109/ICTAI.2014.33
ICTAI
Keywords
DocType
ISSN
well-founded semantics, x10, big data, mass parallelization
Conference
1082-3409
Citations 
PageRank 
References 
0
0.34
0
Authors
5
Name
Order
Citations
PageRank
Ilias Tachmazidis14811.44
Long Cheng29116.99
Spyros Kotoulas359046.46
Grigoris Antoniou42401190.28
Tomas E. Ward510419.10