Skip to main content
SpringerLink
Log in

Enhancing DLV for Large-Scale Reasoning

  • Conference paper
  • First Online:
Logic Programming and Nonmonotonic Reasoning (LPNMR 2019)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 11481))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Adrian, W.T., Manna, M., Leone, N., Amendola, G., Adrian, M.: Entity set expansion from the web via ASP. In: ICLP (TC), OASICS, vol. 58, pp. 1:1–1:5. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2017)

    Google Scholar 

  2. Alviano, M., et al.: The ASP system DLV2. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 215–221. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61660-5_19

    Chapter  Google Scholar 

  3. Alviano, M., Dodaro, C., Leone, N., Ricca, F.: Advances in WASP. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 40–54. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-23264-5_5

    Chapter  Google Scholar 

  4. Alviano, M., Faber, W., Greco, G., Leone, N.: Magic sets for disjunctive datalog programs. Artif. Intell. 187, 156–192 (2012)

    Article  MathSciNet  Google Scholar 

  5. Amendola, G.: Preliminary results on modeling interdependent scheduling games via answer set programming. In: RiCeRcA@AI*IA, CEUR WS, vol. 2272 (2018)

    Google Scholar 

  6. Amendola, G.: Solving the stable roommates problem using incoherent answer set programs. In: RiCeRcA@AI*IA, CEUR WS, vol. 2272 (2018)

    Google Scholar 

  7. Amendola, G., Dodaro, C., Leone, N., Ricca, F.: On the application of answer set programming to the conference paper assignment problem. In: Adorni, G., Cagnoni, S., Gori, M., Maratea, M. (eds.) AI*IA 2016. LNCS (LNAI), vol. 10037, pp. 164–178. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-49130-1_13

    Chapter  Google Scholar 

  8. Amendola, G., Greco, G., Leone, N., Veltri, P.: Modeling and reasoning about NTU games via answer set programming. In: IJCAI 2016, pp. 38–45 (2016)

    Google Scholar 

  9. Amendola, G., Leone, N., Manna, M.: Finite model reasoning over existential rules. TPLP 17(5–6), 726–743 (2017)

    MathSciNet  MATH  Google Scholar 

  10. Amendola, G., Leone, N., Manna, M.: Finite controllability of conjunctive query answering with existential rules: two steps forward. In: IJCAI, pp. 5189–5193. ijcai.org (2018)

    Google Scholar 

  11. Amendola, G., Leone, N., Manna, M., Veltri, P.: Enhancing existential rules by closed-world variables. In: IJCAI, pp. 1676–1682. ijcai.org (2018)

    Google Scholar 

  12. Auer, S., Bizer, C., Kobilarov, G., Lehmann, J., Cyganiak, R., Ives, Z.: DBpedia: a nucleus for a web of open data. In: Aberer, K., et al. (eds.) ASWC/ISWC 2007. LNCS, vol. 4825, pp. 722–735. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-76298-0_52

    Chapter  Google Scholar 

  13. Balduccini, M., Baral, C., Lierler, Y.: Knowledge representation and question answering. In: Handbook of Knowledge Representation. Foundations of Artificial Intelligence, vol. 3, pp. 779–819. Elsevier (2008)

    Google Scholar 

  14. Bellomarini, L., Sallinger, E., Gottlob, G.: The vadalog system: datalog-based reasoning for knowledge graphs. PVLDB 11(9), 975–987 (2018)

    Google Scholar 

  15. Benamara, F., Saint-Dizier, P.: WEBCOOP: a cooperative question answering system on the web. In: Proceedings of EACL, pp. 63–66 (2003)

    Google Scholar 

  16. Bernstein, A., Hendler, J.A., Noy, N.F.: A new look at the semantic web. Commun. ACM 59(9), 35–37 (2016)

    Article  Google Scholar 

  17. Calegari, R., Denti, E., Mariani, S., Omicini, A.: Towards logic programming as a service: experiments in tuProlog. In: Proceedings of EASSS, CEUR Workshop Proceedings, vol. 1664, pp. 79–84 (2016)

    Google Scholar 

  18. Calimeri, F., Fuscà, D., Perri, S., Zangari, J.: I-DLV: the new intelligent grounder of DLV. Intell. Artif. 11(1), 5–20 (2017)

    Google Scholar 

  19. Calimeri, F., Fuscà, D., Perri, S., Zangari, J.: Optimizing answer set computation via heuristic-based decomposition. In: Calimeri, F., Hamlen, K., Leone, N. (eds.) PADL 2018. LNCS, vol. 10702, pp. 135–151. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-73305-0_9

    Chapter  Google Scholar 

  20. Catalano, G., Laboccetta, G., Reale, K., Ricca, F., Veltri, P.: A REST-based development framework for ASP: tools and application. In: Calimeri, F., Hamlen, K., Leone, N. (eds.) PADL 2018. LNCS, vol. 10702, pp. 161–169. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-73305-0_11

    Chapter  Google Scholar 

  21. Cuteri, B., Reale, K., Ricca, F.: A logic-based question answering system for cultural heritage. In: Proceedings of JELIA (2019, to appear)

    Chapter  Google Scholar 

  22. Eiter, T., Ortiz, M., Simkus, M., Tran, T.-K., Xiao, G.: Query rewriting for Horn-SHIQ plus rules. In: Proceedings of AAAI (2012)

    Google Scholar 

  23. Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53–68 (2016)

    Article  Google Scholar 

  24. Garro, A., Palopoli, L., Ricca, F.: Exploiting agents in e-learning and skills management context. AI Commun. 19(2), 137–154 (2006)

    MathSciNet  Google Scholar 

  25. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Multi-shot ASP solving with clingo. TPLP 19(1), 27–82 (2019)

    MathSciNet  Google Scholar 

  26. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3/4), 365–386 (1991)

    Article  Google Scholar 

  27. Green, C.: Theorem proving by resolution as a basis for question-answering systems. Mach. Intell. 4, 183–205 (1969)

    MATH  Google Scholar 

  28. Guo, Y., Pan, Z., Heflin, J.: LUBM: a benchmark for OWL knowledge base systems. J. Web Semant. 3(2–3), 158–182 (2005)

    Article  Google Scholar 

  29. Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Proceedings of IJCAI, pp. 466–471 (2005)

    Google Scholar 

  30. Leone, N., et al.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499–562 (2006)

    Article  MathSciNet  Google Scholar 

  31. Liang, S., Fodor, P., Wan, H., Kifer, M.: OpenRuleBench: an analysis of the performance of rule engines. In: Proceedings of WWW, pp. 601–610 (2009)

    Google Scholar 

  32. Lierler, Y., Maratea, M., Ricca, F.: Systems, engineering environments, and competitions. AI Mag. 37(3), 45–52 (2016)

    Article  Google Scholar 

  33. Lopez, V., Pasin, M., Motta, E.: AquaLog: an ontology-portable question answering system for the semantic web. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 546–562. Springer, Heidelberg (2005). https://doi.org/10.1007/11431053_37

    Chapter  Google Scholar 

  34. Manna, M., Ricca, F., Terracina, G.: Taming primary key violations to query large inconsistent data via ASP. TPLP 15(4–5), 696–710 (2015)

    MathSciNet  MATH  Google Scholar 

  35. Moldovan, D.I., Clark, C., Harabagiu, S.M., Maiorano, S.J.: COGEX: a logic prover for question answering. In: Proceedings of HLT-NAACL (2003)

    Google Scholar 

  36. Navigli, R., Ponzetto, S.P.: BabelNet: the automatic construction, evaluation and application of a wide-coverage multilingual semantic network. Artif. Intell. 193, 217–250 (2012)

    Article  MathSciNet  Google Scholar 

  37. Nenov, Y., Piro, R., Motik, B., Horrocks, I., Wu, Z., Banerjee, J.: RDFox: a highly-scalable RDF store. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9367, pp. 3–20. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25010-6_1

    Chapter  Google Scholar 

  38. Unger, C., Bühmann, L., Lehmann, J., Ngonga Ngomo, A.-C., Gerber, D., Cimiano, P.: Template-based question answering over RDF data. In: Proceedings of WWW, pp. 639–648 (2012)

    Google Scholar 

  39. W3C: The OWL standard page. https://www.w3.org/standards/techs/owl

  40. W3C: The RDF standard page. https://www.w3.org/standards/techs/rds

  41. W3C: The SPARQL standard page. https://www.w3.org/standards/techs/sparql

  42. Wielemaker, J., Lager, T., Riguzzi, F.: SWISH: SWI-Prolog for sharing. CoRR, abs/1511.00915 (2015)

    Google Scholar 

  43. Xiao, G., et al.: Ontology-based data access: a survey. In: IJCAI, pp. 5511–5519. ijcai.org (2018)

    Google Scholar 

Download references

Acknowledgments

This work has been partially supported by Samsung under project “Enhancing the DLV system for large-scale ontology reasoning”, by MISE under project “S2BDW” (F/050389/01-03/X32) – “Horizon2020” PON I&C2014-20 and by Regione Calabria under project “DLV LargeScale” (CUP J28C17000220006) – POR Calabria 2014-20.

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, University of Calabria, Rende, Italy

    Nicola Leone, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Marco Manna, Simona Perri, Francesco Ricca & Jessica Zangari

  2. DLVSystem L.T.D., Polo Tecnologico Unical, Rende, Italy

    Francesco Calimeri, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Kristian Reale, Pierfrancesco Veltri & Jessica Zangari

  3. Samsung R&D Institute, Staines, UK

    Carlo Allocca & Cristina Civili

Authors
  1. Nicola Leone
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carlo Allocca
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mario Alviano
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Francesco Calimeri
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Cristina Civili
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Roberta Costabile
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Alessio Fiorentino
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Davide Fuscà
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Stefano Germano
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Giovanni Laboccetta
    View author publications

    You can also search for this author in PubMed Google Scholar

  11. Bernardo Cuteri
    View author publications

    You can also search for this author in PubMed Google Scholar

  12. Marco Manna
    View author publications

    You can also search for this author in PubMed Google Scholar

  13. Simona Perri
    View author publications

    You can also search for this author in PubMed Google Scholar

  14. Kristian Reale
    View author publications

    You can also search for this author in PubMed Google Scholar

  15. Francesco Ricca
    View author publications

    You can also search for this author in PubMed Google Scholar

  16. Pierfrancesco Veltri
    View author publications

    You can also search for this author in PubMed Google Scholar

  17. Jessica Zangari
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jessica Zangari .

Editor information

Editors and Affiliations

  1. Saint Joseph's University, Philadelphia, PA, USA

    Marcello Balduccini

  2. University of Nebraska at Omaha, Omaha, USA

    Yuliya Lierler

  3. TU Wien, Vienna, Austria

    Stefan Woltran

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Leone, N. et al. (2019). Enhancing DLV for Large-Scale Reasoning. In: Balduccini, M., Lierler, Y., Woltran, S. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2019. Lecture Notes in Computer Science(), vol 11481. Springer, Cham. https://doi.org/10.1007/978-3-030-20528-7_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-20528-7_23

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-20527-0

  • Online ISBN: 978-3-030-20528-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation