Enhancing DLV for Large-Scale Reasoning

Nicola Leone,Carlo Allocca,Mario Alviano,Francesco Calimeri,Cristina Civili,Roberta Costabile,Alessio Fiorentino,Davide Fuscà,Stefano Germano,Giovanni Laboccetta,Bernardo Cuteri,Marco Manna,Simona Perri,Kristian Reale,Francesco Ricca,Pierfrancesco Veltri,Jessica Zangari
DOI: https://doi.org/10.1007/978-3-030-20528-7_23
2019-01-01
Abstract:Several real-world applications of made evident the need for efficiently handling multiple queries and reasoning tasks over large-sized knowledge bases. In this paper we present some recent enhancements in the ASP system for enabling reasoning over large-scale domains. In particular, we developed both an optimized implementation, sensibly reducing memory consumption, and a server-like behaviour to support efficiently multiple-query scenarios. The high potential of for large-scale reasoning is outlined by the results of an experiment on data-intensive benchmarks. The applicability of the system in real-world scenarios is demonstrated employing as reasoning service to query, in natural language, the large DBpedia knowledge base. The relevance and the high potential industrial value of this research is also confirmed by the direct interest of a major international industrial player, which has stimulated and partially supported this work.
What problem does this paper attempt to address?