zbMATH — the first resource for mathematics

Enhancing DLV for large-scale reasoning. (English) Zbl 07115983
Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-20527-0/pbk; 978-3-030-20528-7/ebook). Lecture Notes in Computer Science 11481. Lecture Notes in Artificial Intelligence, 312-325 (2019).
Summary: Several real-world applications of DLV 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 dlv2 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 dlv2 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 dlv2 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.
For the entire collection see [Zbl 1410.68009].

68N17 Logic programming
68T27 Logic in artificial intelligence
Full Text: DOI