Answer Set Programming (ASP), that extends Datalog with powerful knowledge modeling constructs, is suitable for modeling both database-oriented applications and more complex combinatorial optimization tasks arising in decision-making. However, ASP systems were not conceived having the challenges of Big Data in mind; thus they are not applicable tout court in this new setting. This paper moves the first steps towards enabling the specification of reasoning tasks on Big Data with ASP. In particular we present our ongoing work in the direction of extending the well-known DLV system to interact in a plausible way with Big Data repositories.

First Steps towards Reasoning on Big Data with DLV

Leone, Nicola;Perri, Simona;Ricca, Francesco;Veltri, Pierfrancesco;Zangari, Jessica
2018-01-01

Abstract

Answer Set Programming (ASP), that extends Datalog with powerful knowledge modeling constructs, is suitable for modeling both database-oriented applications and more complex combinatorial optimization tasks arising in decision-making. However, ASP systems were not conceived having the challenges of Big Data in mind; thus they are not applicable tout court in this new setting. This paper moves the first steps towards enabling the specification of reasoning tasks on Big Data with ASP. In particular we present our ongoing work in the direction of extending the well-known DLV system to interact in a plausible way with Big Data repositories.
2018
ASP; Big Data; Datalog; Computer Science (all)
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/290165
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact