{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:28:08Z","timestamp":1743049688642,"version":"3.40.3"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030205270"},{"type":"electronic","value":"9783030205287"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-20528-7_23","type":"book-chapter","created":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T10:34:37Z","timestamp":1558348477000},"page":"312-325","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Enhancing DLV for Large-Scale Reasoning"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9742-1252","authenticated-orcid":false,"given":"Nicola","family":"Leone","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7305-3790","authenticated-orcid":false,"given":"Carlo","family":"Allocca","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2052-2063","authenticated-orcid":false,"given":"Mario","family":"Alviano","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0866-0834","authenticated-orcid":false,"given":"Francesco","family":"Calimeri","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4357-3509","authenticated-orcid":false,"given":"Cristina","family":"Civili","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3285-8621","authenticated-orcid":false,"given":"Roberta","family":"Costabile","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3298-0256","authenticated-orcid":false,"given":"Alessio","family":"Fiorentino","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6944-6869","authenticated-orcid":false,"given":"Davide","family":"Fusc\u00e0","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6993-0618","authenticated-orcid":false,"given":"Stefano","family":"Germano","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8048-7343","authenticated-orcid":false,"given":"Giovanni","family":"Laboccetta","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5164-9123","authenticated-orcid":false,"given":"Bernardo","family":"Cuteri","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3323-9328","authenticated-orcid":false,"given":"Marco","family":"Manna","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8036-5709","authenticated-orcid":false,"given":"Simona","family":"Perri","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5988-2429","authenticated-orcid":false,"given":"Kristian","family":"Reale","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8218-3178","authenticated-orcid":false,"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2804-6628","authenticated-orcid":false,"given":"Pierfrancesco","family":"Veltri","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6418-7711","authenticated-orcid":false,"given":"Jessica","family":"Zangari","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,5,12]]},"reference":[{"key":"23_CR1","unstructured":"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\u20131:5. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2017)"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-61660-5_19","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Alviano","year":"2017","unstructured":"Alviano, M., et al.: The ASP system DLV2. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 215\u2013221. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-61660-5_19"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-319-23264-5_5","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Alviano","year":"2015","unstructured":"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\u201354. Springer, Cham (2015). \n                      https:\/\/doi.org\/10.1007\/978-3-319-23264-5_5"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/j.artint.2012.04.008","volume":"187","author":"M Alviano","year":"2012","unstructured":"Alviano, M., Faber, W., Greco, G., Leone, N.: Magic sets for disjunctive datalog programs. Artif. Intell. 187, 156\u2013192 (2012)","journal-title":"Artif. Intell."},{"key":"23_CR5","unstructured":"Amendola, G.: Preliminary results on modeling interdependent scheduling games via answer set programming. In: RiCeRcA@AI*IA, CEUR WS, vol. 2272 (2018)"},{"key":"23_CR6","unstructured":"Amendola, G.: Solving the stable roommates problem using incoherent answer set programs. In: RiCeRcA@AI*IA, CEUR WS, vol. 2272 (2018)"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-319-49130-1_13","volume-title":"AI*IA 2016: Advances in Artificial Intelligence","author":"G Amendola","year":"2016","unstructured":"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\u2013178. Springer, Cham (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-319-49130-1_13"},{"key":"23_CR8","unstructured":"Amendola, G., Greco, G., Leone, N., Veltri, P.: Modeling and reasoning about NTU games via answer set programming. In: IJCAI 2016, pp. 38\u201345 (2016)"},{"issue":"5\u20136","key":"23_CR9","first-page":"726","volume":"17","author":"G Amendola","year":"2017","unstructured":"Amendola, G., Leone, N., Manna, M.: Finite model reasoning over existential rules. TPLP 17(5\u20136), 726\u2013743 (2017)","journal-title":"TPLP"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Amendola, G., Leone, N., Manna, M.: Finite controllability of conjunctive query answering with existential rules: two steps forward. In: IJCAI, pp. 5189\u20135193. ijcai.org (2018)","DOI":"10.24963\/ijcai.2018\/719"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Amendola, G., Leone, N., Manna, M., Veltri, P.: Enhancing existential rules by closed-world variables. In: IJCAI, pp. 1676\u20131682. ijcai.org (2018)","DOI":"10.24963\/ijcai.2018\/232"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1007\/978-3-540-76298-0_52","volume-title":"The Semantic Web","author":"S Auer","year":"2007","unstructured":"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\u2013735. Springer, Heidelberg (2007). \n                      https:\/\/doi.org\/10.1007\/978-3-540-76298-0_52"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Balduccini, M., Baral, C., Lierler, Y.: Knowledge representation and question answering. In: Handbook of Knowledge Representation. Foundations of Artificial Intelligence, vol. 3, pp. 779\u2013819. Elsevier (2008)","DOI":"10.1016\/S1574-6526(07)03020-9"},{"issue":"9","key":"23_CR14","first-page":"975","volume":"11","author":"L Bellomarini","year":"2018","unstructured":"Bellomarini, L., Sallinger, E., Gottlob, G.: The vadalog system: datalog-based reasoning for knowledge graphs. PVLDB 11(9), 975\u2013987 (2018)","journal-title":"PVLDB"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Benamara, F., Saint-Dizier, P.: WEBCOOP: a cooperative question answering system on the web. In: Proceedings of EACL, pp. 63\u201366 (2003)","DOI":"10.3115\/1067737.1067749"},{"issue":"9","key":"23_CR16","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/2890489","volume":"59","author":"A Bernstein","year":"2016","unstructured":"Bernstein, A., Hendler, J.A., Noy, N.F.: A new look at the semantic web. Commun. ACM 59(9), 35\u201337 (2016)","journal-title":"Commun. ACM"},{"key":"23_CR17","unstructured":"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\u201384 (2016)"},{"issue":"1","key":"23_CR18","first-page":"5","volume":"11","author":"F Calimeri","year":"2017","unstructured":"Calimeri, F., Fusc\u00e0, D., Perri, S., Zangari, J.: I-DLV: the new intelligent grounder of DLV. Intell. Artif. 11(1), 5\u201320 (2017)","journal-title":"Intell. Artif."},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-319-73305-0_9","volume-title":"Practical Aspects of Declarative Languages","author":"F Calimeri","year":"2018","unstructured":"Calimeri, F., Fusc\u00e0, 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\u2013151. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-73305-0_9"},{"key":"23_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-319-73305-0_11","volume-title":"Practical Aspects of Declarative Languages","author":"G Catalano","year":"2018","unstructured":"Catalano, G., Laboccetta, G., Reale, K., Ricca, F., Veltri, P.: A REST-based development framework for\u00a0ASP: tools and application. In: Calimeri, F., Hamlen, K., Leone, N. (eds.) PADL 2018. LNCS, vol. 10702, pp. 161\u2013169. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-73305-0_11"},{"key":"23_CR21","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/978-3-030-19570-0_35","volume-title":"Logics in Artificial Intelligence","author":"Bernardo Cuteri","year":"2019","unstructured":"Cuteri, B., Reale, K., Ricca, F.: A logic-based question answering system for cultural heritage. In: Proceedings of JELIA (2019, to appear)"},{"key":"23_CR22","unstructured":"Eiter, T., Ortiz, M., Simkus, M., Tran, T.-K., Xiao, G.: Query rewriting for Horn-SHIQ plus rules. In: Proceedings of AAAI (2012)"},{"issue":"3","key":"23_CR23","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1609\/aimag.v37i3.2678","volume":"37","author":"E Erdem","year":"2016","unstructured":"Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53\u201368 (2016)","journal-title":"AI Mag."},{"issue":"2","key":"23_CR24","first-page":"137","volume":"19","author":"A Garro","year":"2006","unstructured":"Garro, A., Palopoli, L., Ricca, F.: Exploiting agents in e-learning and skills management context. AI Commun. 19(2), 137\u2013154 (2006)","journal-title":"AI Commun."},{"issue":"1","key":"23_CR25","first-page":"27","volume":"19","author":"M Gebser","year":"2019","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Multi-shot ASP solving with clingo. TPLP 19(1), 27\u201382 (2019)","journal-title":"TPLP"},{"issue":"3\/4","key":"23_CR26","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3\/4), 365\u2013386 (1991)","journal-title":"New Gener. Comput."},{"key":"23_CR27","first-page":"183","volume":"4","author":"C Green","year":"1969","unstructured":"Green, C.: Theorem proving by resolution as a basis for question-answering systems. Mach. Intell. 4, 183\u2013205 (1969)","journal-title":"Mach. Intell."},{"issue":"2\u20133","key":"23_CR28","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y Guo","year":"2005","unstructured":"Guo, Y., Pan, Z., Heflin, J.: LUBM: a benchmark for OWL knowledge base systems. J. Web Semant. 3(2\u20133), 158\u2013182 (2005)","journal-title":"J. Web Semant."},{"key":"23_CR29","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Proceedings of IJCAI, pp. 466\u2013471 (2005)"},{"issue":"3","key":"23_CR30","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., et al.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log."},{"key":"23_CR31","doi-asserted-by":"crossref","unstructured":"Liang, S., Fodor, P., Wan, H., Kifer, M.: OpenRuleBench: an analysis of the performance of rule engines. In: Proceedings of WWW, pp. 601\u2013610 (2009)","DOI":"10.1145\/1526709.1526790"},{"issue":"3","key":"23_CR32","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1609\/aimag.v37i3.2675","volume":"37","author":"Y Lierler","year":"2016","unstructured":"Lierler, Y., Maratea, M., Ricca, F.: Systems, engineering environments, and competitions. AI Mag. 37(3), 45\u201352 (2016)","journal-title":"AI Mag."},{"key":"23_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/11431053_37","volume-title":"The Semantic Web: Research and Applications","author":"V Lopez","year":"2005","unstructured":"Lopez, V., Pasin, M., Motta, E.: AquaLog: an ontology-portable question answering system for the semantic web. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 546\u2013562. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/11431053_37"},{"issue":"4\u20135","key":"23_CR34","first-page":"696","volume":"15","author":"M Manna","year":"2015","unstructured":"Manna, M., Ricca, F., Terracina, G.: Taming primary key violations to query large inconsistent data via ASP. TPLP 15(4\u20135), 696\u2013710 (2015)","journal-title":"TPLP"},{"key":"23_CR35","doi-asserted-by":"crossref","unstructured":"Moldovan, D.I., Clark, C., Harabagiu, S.M., Maiorano, S.J.: COGEX: a logic prover for question answering. In: Proceedings of HLT-NAACL (2003)","DOI":"10.3115\/1073445.1073467"},{"key":"23_CR36","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/j.artint.2012.07.001","volume":"193","author":"R Navigli","year":"2012","unstructured":"Navigli, R., Ponzetto, S.P.: BabelNet: the automatic construction, evaluation and application of a wide-coverage multilingual semantic network. Artif. Intell. 193, 217\u2013250 (2012)","journal-title":"Artif. Intell."},{"key":"23_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-25010-6_1","volume-title":"The Semantic Web - ISWC 2015","author":"Y Nenov","year":"2015","unstructured":"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\u201320. Springer, Cham (2015). \n                      https:\/\/doi.org\/10.1007\/978-3-319-25010-6_1"},{"key":"23_CR38","doi-asserted-by":"crossref","unstructured":"Unger, C., B\u00fchmann, L., Lehmann, J., Ngonga Ngomo, A.-C., Gerber, D., Cimiano, P.: Template-based question answering over RDF data. In: Proceedings of WWW, pp. 639\u2013648 (2012)","DOI":"10.1145\/2187836.2187923"},{"key":"23_CR39","unstructured":"W3C: The OWL standard page. \n                      https:\/\/www.w3.org\/standards\/techs\/owl"},{"key":"23_CR40","unstructured":"W3C: The RDF standard page. \n                      https:\/\/www.w3.org\/standards\/techs\/rds"},{"key":"23_CR41","unstructured":"W3C: The SPARQL standard page. \n                      https:\/\/www.w3.org\/standards\/techs\/sparql"},{"key":"23_CR42","unstructured":"Wielemaker, J., Lager, T., Riguzzi, F.: SWISH: SWI-Prolog for sharing. CoRR, abs\/1511.00915 (2015)"},{"key":"23_CR43","unstructured":"Xiao, G., et al.: Ontology-based data access: a survey. In: IJCAI, pp. 5511\u20135519. ijcai.org (2018)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-20528-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T01:29:33Z","timestamp":1558574973000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-20528-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030205270","9783030205287"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-20528-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LPNMR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logic Programming and Nonmonotonic Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Philadelphia, PA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lpnmr2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.sju.edu\/plw\/lpnmr-2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}