Massively Parallel Reasoning under the Well-Founded Semantics Using X10

Ilias Tachmazidis, Long Cheng, Spyros Kotoulas, Grigoris Antoniou, Tomas E. Ward

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

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.

LanguageEnglish
Title of host publicationProceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014
PublisherIEEE Computer Society
Pages162-169
Number of pages8
Volume2014-December
ISBN (Electronic)9781479965724
DOIs
Publication statusPublished - 12 Dec 2014
Event26th IEEE International Conference on Tools with Artificial Intelligence - Limassol, Cyprus
Duration: 10 Nov 201412 Nov 2014
Conference number: 26

Conference

Conference26th IEEE International Conference on Tools with Artificial Intelligence
Abbreviated titleICTAI 2014
CountryCyprus
CityLimassol
Period10/11/1412/11/14

Fingerprint

Semantics
Logic programming
Computer programming languages
Industry
Sensors
Processing
Experiments
Big data

Cite this

Tachmazidis, I., Cheng, L., Kotoulas, S., Antoniou, G., & Ward, T. E. (2014). Massively Parallel Reasoning under the Well-Founded Semantics Using X10. In Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014 (Vol. 2014-December, pp. 162-169). [6984469] IEEE Computer Society. https://doi.org/10.1109/ICTAI.2014.33
Tachmazidis, Ilias ; Cheng, Long ; Kotoulas, Spyros ; Antoniou, Grigoris ; Ward, Tomas E. / Massively Parallel Reasoning under the Well-Founded Semantics Using X10. Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014. Vol. 2014-December IEEE Computer Society, 2014. pp. 162-169
@inproceedings{0596b49f206d46ef92146777de24cfd5,
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.",
keywords = "Big Data, Mass Parallelization, Well-Founded Semantics, X10",
author = "Ilias Tachmazidis and Long Cheng and Spyros Kotoulas and Grigoris Antoniou and Ward, {Tomas E.}",
year = "2014",
month = "12",
day = "12",
doi = "10.1109/ICTAI.2014.33",
language = "English",
volume = "2014-December",
pages = "162--169",
booktitle = "Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014",
publisher = "IEEE Computer Society",
address = "United States",

}

Tachmazidis, I, Cheng, L, Kotoulas, S, Antoniou, G & Ward, TE 2014, Massively Parallel Reasoning under the Well-Founded Semantics Using X10. in Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014. vol. 2014-December, 6984469, IEEE Computer Society, pp. 162-169, 26th IEEE International Conference on Tools with Artificial Intelligence, Limassol, Cyprus, 10/11/14. https://doi.org/10.1109/ICTAI.2014.33

Massively Parallel Reasoning under the Well-Founded Semantics Using X10. / Tachmazidis, Ilias; Cheng, Long; Kotoulas, Spyros; Antoniou, Grigoris; Ward, Tomas E.

Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014. Vol. 2014-December IEEE Computer Society, 2014. p. 162-169 6984469.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Massively Parallel Reasoning under the Well-Founded Semantics Using X10

AU - Tachmazidis, Ilias

AU - Cheng, Long

AU - Kotoulas, Spyros

AU - Antoniou, Grigoris

AU - Ward, Tomas E.

PY - 2014/12/12

Y1 - 2014/12/12

N2 - 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.

AB - 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.

KW - Big Data

KW - Mass Parallelization

KW - Well-Founded Semantics

KW - X10

UR - http://www.scopus.com/inward/record.url?scp=84946547871&partnerID=8YFLogxK

U2 - 10.1109/ICTAI.2014.33

DO - 10.1109/ICTAI.2014.33

M3 - Conference contribution

VL - 2014-December

SP - 162

EP - 169

BT - Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014

PB - IEEE Computer Society

ER -

Tachmazidis I, Cheng L, Kotoulas S, Antoniou G, Ward TE. Massively Parallel Reasoning under the Well-Founded Semantics Using X10. In Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014. Vol. 2014-December. IEEE Computer Society. 2014. p. 162-169. 6984469 https://doi.org/10.1109/ICTAI.2014.33