# ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications
## 2 The DLV-EE Framework
### Reasoning over Hive
As far as future work is concerned, extensions are planned for both the DLV-EE framework and the development tools, with the aim of dealing with more data sources, both relational and NoSQL, and further improving performance in data-intensive contexts. Furthermore, compatibility of DLV-IoT is planned to be improved beyond the currently supported Raspberry and Android architectures; also, improvements are programmed on the workload estimator, for more fine-tuned decisions aimed at minimizing the need for computation carried away from the edge devices. Conceptualization, F.C., N.L., S.P. and J.Z. ; Methodology, F.C., N.L., F.P., S.P., F.R. and J.Z. ; Software, F.C., G.M., K.R., F.R. and J.Z. ; Validation, F.C., N.L., S.P. and F.R. ; Formal analysis, F.C., F.P., S.P., F.R. and J.Z. ; Investigation, F.C., K.R., F.R. and J.Z. ; Resources, G.M., F.P., K.R. and J.Z. ; Data curation, N.L. and G.M. ; Writing--original draft, F.P., S.P. and J.Z. ; Writing--review & editing, F.C., F.P., S.P., F.R. and J.Z. ; Visualization, F.C., G.M., S.P. and F.R. ; Supervision, N.L., S.P. and F.R. ; Project administration, F.C. and N.L. ; Funding acquisition, N.L. All authors have read and agreed to the published version of the manuscript. This research received no external funding. ## References

* (1) [PERSON]; [PERSON] Classical Negation in Logic Programs and Disjunctive Databases. _New Gener. Comput._**1991**, \(9\), 365-386. [CrossRef]
* (2) [PERSON]; [PERSON] The Stable Model Semantics for Logic Programming. In _ICLP/SLP_; MIT Press: Cambridge, MA, USA, 1988; pp. 1070-1080. * (3) [PERSON]; [PERSON]; [PERSON] Disjunctive Datalog. _ACM Trans. Database Syst._**1997**, _22_, 364-418. [CrossRef]
* (4) [PERSON]; [PERSON]; [PERSON] Answer set programming at a glance. _Commun. ACM_**2011**, _54_, 92-103. [CrossRef]
* (5) [PERSON]; [PERSON]; [PERSON] Extending and implementing the stable model semantics. _Artif. Intell._**2002**, _138_, 181-234. [CrossRef]
* (6) [PERSON]; [PERSON]; [PERSON]; [PERSON] Multi-shot ASP solving with clingo. _Theory Pract. Log. Program._**2019**, _19_, 27-82. [CrossRef]
* (7) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] [PERSON] The ASP System DLV2. In _Lecture Notes in Computer Science, Proceedings of the LPNMR, Hanasaari, Espoo, Finland, 3-6 July 2017_; Springer: Berlin/Heidelberg, Germany, 2017; Volume 10377, pp. 215-221. * (8) [PERSON] _Answer Set Programming_; Springer: Berlin/Heidelberg, Germany, 2019. * (9) [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON] dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. In _INSYS Research Report, Proceedings of the WLP, Vienna, Austria, 22-24 February 2006_ ; Technische Universitat Wien: Vienna, Austria, 2006; Volume 1843-06-02, pp. 206-210. * (10) [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON]; [PERSON] [PERSON] Towards ASP-based scheduling for industrial transport vehicles. In Proceedings of the Joint Austrian Computer Vision and Robotics Workshop, Graz, Austria, 16-17 April 2020. * (11) [PERSON]; [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON] Train Scheduling with Hybrid Answer Set Programming. _Theory Pract. Log. Program._**2021**, _21_, 317-347. [CrossRef]
* (12) [PERSON]; [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON] High-level synthesis of on-chip multiprocessor architectures based on answer set programming: _J. Parallel Distributed Comput._**2018**, _117_, 161-179. [CrossRef]
* (13) [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON] Shift Design with Answer Set Programming. _Fundam. Informaticae_**2016**, _147_, 1-25. [CrossRef]
* (14) [PERSON]; [PERSON]; [PERSON] [PERSON]; [PERSON]; [PERSON] Industrial Applications of Answer Set Programming. _KI-Kunstliche Intell._**2018**, _32_, 165-176. [CrossRef]
* (15) [PERSON]; [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON] External Computations and Interoperability in the New DLV Grounder.