DLV-LS is a framework based on Answer Set Programming (ASP) for performing declarative-based reasoning tasks over data-intensive applications, possibly on Smart Devices. The framework encompasses DLV Mobile Edition (DLV-ME), an ASP based solver for Android systems and Raspberry devices, and DLV Enterprise Edition (DLV-EE), an ASP-based platform, accessible by REST interfaces, for large-scale reasoning over Big Data, classical relational database systems, and NoSQL databases. DLV-ME enables Smart Devices to both locally perform reasoning over data generated by their own sensors and properly interact with DLV-EE when more computational power is needed for harder tasks, possibly over bigger centralized data.
The DLV-EE emerges from the integration of different versions of DLV exploiting all most recent and advanced features, and, moreover, interact with Big Data systems and external database systems (both relational and NoSQL).
The DLV-ME system works on Android and Raspberry systems (Smart Devices), and can natively execute logic programs as long as the input is small and the complexity of the logic programs is not high. When the system needs to take advantage of greater computing power, the DLV-EE Framework can be invoked using the REST services made available by the introduction of a REST Endpoint. In such a way, besides DLV-ME systems, also any other system that wants to use DLV-EE can do it my making REST invocations.
Following Figure depicts the system architecture.
On the top of the Figure we have DLV-ME for Android and Raspberry devices. They generally execute local ASP program for "stand alone" reasoning. In the case where the complexity of the local ASP program is too high or the input data is too big, the system can interact with DLV-EE by exploiting the REST interface in order to delegate more complex reasoning tasks. On the bottom of the Figure we have the architecture of DLV-EE. The Engine component is composed by following modules:
DLV-EE is a system where the existing functionalities of DLV were extended in order to optimize the evaluation techniques of ASP programs in a data-intensive environment and, moreover, the system was made capable to inter-operate with both relational DBMS and NoSQL technologies. DLV-EE provides also a service interface, based to the REST philosophy, allowing client environments (classic programs and/or Mobile Apps) to interact with DLV-EE.
BigDLV for Big Data and Distributed ASP Processing
DLV-ME is a system for devices with low computational power and compatible with "mobile" technologies (Android based Smartphones and Raspberry). With DLV-ME, Smart Devices are enabled to perform local reasoning over, for example, data provided by their own sensors, and, for more complex reasoning tasks requiring also a large amount of data that are generally available to clouds (think for example to Social Network data), the devices can delegate the reasoning to the DLV-EE by exploiting the REST services interface.
Here some screenshots regarding the Android App called NavTour. Text appears in Italian Language, as the prototype will be released for the Italian market.
In the following you can download all the components of DLV-LS. For any support to the installation process of the components, please write to reale_AT_mat.unical.it