{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T01:59:11Z","timestamp":1760147951977,"version":"build-2065373602"},"reference-count":31,"publisher":"MDPI AG","issue":"3","license":[{"start":{"date-parts":[[2023,3,14]],"date-time":"2023-03-14T00:00:00Z","timestamp":1678752000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Algorithms"],"abstract":"<jats:p>In the last few years, we have witnessed the spread of computing devices getting smaller and smaller (e.g., Smartphones, Smart Devices, Raspberry, etc.), and the production and availability of data getting bigger and bigger. This work presents DLV-EE, a framework based on Answer Set Programming (ASP) for performing declarative reasoning tasks over data-intensive, distributed applications. It relies on the DLV2 system and it features interoperability means for dealing with Big-Data over modern industry-level databases (relational and NoSQL). Furthermore, the work introduces DLV-IoT, an ASP system compatible with \u201cmobile\u201d technologies for enabling advanced reasoning capabilities on smart\/IoT devices; eventually, DLV-EE and DLV-IoT via some real-world applications are illustrated as well.<\/jats:p>","DOI":"10.3390\/a16030159","type":"journal-article","created":{"date-parts":[[2023,3,15]],"date-time":"2023-03-15T04:39:45Z","timestamp":1678855185000},"page":"159","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications"],"prefix":"10.3390","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0866-0834","authenticated-orcid":false,"given":"Francesco","family":"Calimeri","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, 87036 Rende, Italy"},{"name":"DLVSystem L.T.D., Via della Resistenza 19\/C, 87036 Rende, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9742-1252","authenticated-orcid":false,"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, 87036 Rende, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5307-8491","authenticated-orcid":false,"given":"Giovanni","family":"Melissari","sequence":"additional","affiliation":[{"name":"DLVSystem L.T.D., Via della Resistenza 19\/C, 87036 Rende, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6632-3492","authenticated-orcid":false,"given":"Francesco","family":"Pacenza","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, 87036 Rende, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8036-5709","authenticated-orcid":false,"given":"Simona","family":"Perri","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, 87036 Rende, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5988-2429","authenticated-orcid":false,"given":"Kristian","family":"Reale","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, 87036 Rende, Italy"},{"name":"DLVSystem L.T.D., Via della Resistenza 19\/C, 87036 Rende, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8218-3178","authenticated-orcid":false,"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, 87036 Rende, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6418-7711","authenticated-orcid":false,"given":"Jessica","family":"Zangari","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, 87036 Rende, Italy"}]}],"member":"1968","published-online":{"date-parts":[[2023,3,14]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","article-title":"Classical Negation in Logic Programs and Disjunctive Databases","volume":"9","author":"Gelfond","year":"1991","journal-title":"New Gener. Comput."},{"key":"ref_2","unstructured":"Gelfond, M., and Lifschitz, V. (1988). ICLP\/SLP, MIT Press."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1145\/261124.261126","article-title":"Disjunctive Datalog","volume":"22","author":"Eiter","year":"1997","journal-title":"ACM Trans. Database Syst."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/2043174.2043195","article-title":"Answer set programming at a glance","volume":"54","author":"Brewka","year":"2011","journal-title":"Commun. ACM"},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","article-title":"Extending and implementing the stable model semantics","volume":"138","author":"Simons","year":"2002","journal-title":"Artif. Intell."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1017\/S1471068418000054","article-title":"Multi-shot ASP solving with clingo","volume":"19","author":"Gebser","year":"2019","journal-title":"Theory Pract. Log. Program."},{"key":"ref_7","first-page":"215","article-title":"The ASP System DLV2","volume":"Volume 10377","author":"Alviano","year":"2017","journal-title":"Lecture Notes in Computer Science, Proceedings of the LPNMR, Hanasaari, Espoo, Finland, 3\u20136 July 2017"},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Lifschitz, V. (2019). Answer Set Programming, Springer.","DOI":"10.1007\/978-3-030-24658-7"},{"key":"ref_9","first-page":"206","article-title":"dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework","volume":"1843-06-02","author":"Eiter","year":"2006","journal-title":"INFSYS Research Report, Proceedings of the WLP, Vienna, Austria, 22\u201324 February 2006"},{"key":"ref_10","unstructured":"Fabricius, F., De Bortoli, M., Selmair, M., Reip, M., Steinbauer, G., and Gebser, M. (2020, January 16\u201317). Towards ASP-based scheduling for industrial transport vehicles. Proceedings of the Joint Austrian Computer Vision and Robotics Workshop, Graz, Austria."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1017\/S1471068420000046","article-title":"Train Scheduling with Hybrid Answer Set Programming","volume":"21","author":"Abels","year":"2021","journal-title":"Theory Pract. Log. Program."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.jpdc.2018.02.010","article-title":"High-level synthesis of on-chip multiprocessor architectures based on answer set programming","volume":"117","author":"Bobda","year":"2018","journal-title":"J. Parallel Distributed Comput."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2016-1396","article-title":"Shift Design with Answer Set Programming","volume":"147","author":"Abseher","year":"2016","journal-title":"Fundam. Informaticae"},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/s13218-018-0548-6","article-title":"Industrial Applications of Answer Set Programming","volume":"32","author":"Falkner","year":"2018","journal-title":"KI-K\u00fcnstliche Intell."},{"key":"ref_15","first-page":"172","article-title":"External Computations and Interoperability in the New DLV Grounder","volume":"10640","author":"Calimeri","year":"2017","journal-title":"Lecture Notes in Computer Science, Proceedings of the AI*IA, Bari, Italy, 14\u201317 November 2017"},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/s13218-016-0458-4","article-title":"The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation","volume":"31","author":"Thimm","year":"2017","journal-title":"K\u00fcnstliche Intell."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s13218-018-0534-z","article-title":"Developing ASP Programs with ASPIDE and LoIDE","volume":"32","author":"Calimeri","year":"2018","journal-title":"K\u00fcnstliche Intell."},{"key":"ref_18","first-page":"305","article-title":"The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary Report","volume":"Volume 7773","author":"Oetsch","year":"2011","journal-title":"Lecture Notes in Computer Science, Proceedings of the INAP\/WLP, Vienna, Austria, 28\u201330 September 2011"},{"key":"ref_19","unstructured":"Ren, X., Cur\u00e9, O., Naacke, H., and Xiao, G. (2018, January 8\u201312). RDF Stream Reasoning via Answer Set Programming on Modern Big Data Platform. Proceedings of the ISWC (P&D\/Industry\/BlueSky), Monterey, CA, USA."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"15","DOI":"10.3389\/fdata.2019.00015","article-title":"Applying Answer Set Programming for Knowledge-Based Link Prediction on Social Interaction Networks","volume":"2","author":"Atzmueller","year":"2019","journal-title":"Front. Big Data"},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1017\/S1471068410000554","article-title":"Detecting inconsistencies in large biological networks with answer set programming","volume":"11","author":"Gebser","year":"2011","journal-title":"Theory Pract. Log. Program."},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Zhong, S., and Sun, D.J. (2022). Logic-Driven Traffic Big Data Analytics: Methodology and Applications for Planning, Springer Nature Singapore.","DOI":"10.1007\/978-981-16-8016-8"},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/s10472-019-09632-y","article-title":"Digital forensics and investigations meet artificial intelligence","volume":"86","author":"Costantini","year":"2019","journal-title":"Ann. Math. Artif. Intell."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"23601","DOI":"10.1109\/ACCESS.2020.2968741","article-title":"Smart City IoT Platform Respecting GDPR Privacy and Security Aspects","volume":"8","author":"Badii","year":"2020","journal-title":"IEEE Access"},{"key":"ref_25","first-page":"188","article-title":"HealthyLife: An Activity Recognition System with Smartphone Using Logic-Based Stream Reasoning","volume":"Volume 120","author":"Do","year":"2012","journal-title":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Proceedings of the MobiQuitous"},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/1327452.1327492","article-title":"MapReduce: Simplified data processing on large clusters","volume":"51","author":"Dean","year":"2008","journal-title":"Commun. ACM"},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"S\u00e1nchez-Corcuera, R., N\u00fa\u00f1ez-Marcos, A., Sesma-Solance, J., Bilbao-Jayo, A., Mulero, R., Zulaika, U., Azkune, G., and Almeida, A. (2019). Smart cities survey: Technologies, application domains and challenges for the cities of the future. Int. J. Distributed Sens. Netw., 15.","DOI":"10.1177\/1550147719853984"},{"key":"ref_28","unstructured":"Hall, R.E., Bowerman, B., Braverman, J., Taylor, J., Todosow, H., and Von Wimmersperg, U. (2000). The Vision of a Smart City, Technical Report; Brookhaven National Lab. (BNL)."},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1080\/13604810802479126","article-title":"Will the real smart city please stand up?","volume":"12","author":"Hollands","year":"2008","journal-title":"City"},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1016\/j.tele.2017.09.019","article-title":"An approach based on semantic stream reasoning to support decision processes in smart cities","volume":"35","author":"Gaeta","year":"2018","journal-title":"Telemat. Inform."},{"key":"ref_31","unstructured":"Dustdar, S., Nastic, S., and Scekic, O. (2017). Smart Cities-The Internet of Things, People and Systems, Springer."}],"container-title":["Algorithms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1999-4893\/16\/3\/159\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T18:54:53Z","timestamp":1760122493000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1999-4893\/16\/3\/159"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,14]]},"references-count":31,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2023,3]]}},"alternative-id":["a16030159"],"URL":"https:\/\/doi.org\/10.3390\/a16030159","relation":{},"ISSN":["1999-4893"],"issn-type":[{"type":"electronic","value":"1999-4893"}],"subject":[],"published":{"date-parts":[[2023,3,14]]}}}