Techniques and Tools for KAB, to Manage Action Linkage with the Artifact Layer -- Iteration 2

Technical Report, ACSI Consortium. Deliverable ACSI-D2.4.2 2013.

This document reports on the activities related to Task 2.4: Techniques and Tools for KAB, to Manage Action Linkage with Artifact Layer, which is part of Workpackage 2 within the ACSI project. In particular, it describes the results of the second iteration of Task T2.4. The main goal of this activity is to tackle the key issues for actually realizing the Knowledge and Action Base (KAB), by marrying the descriptions of the static and the dynamic aspects of the domain of interest. We start from the logic-based frameworks and the decidability results for KAB verification achieved during the first iteration, and link them to concrete languages, techniques and settings. We apply the discussed technique to the ACSI Energy use case, showing the benefits of adding a Semantic Layer on top of the GSM-based artifacts used to handle energy control points and the corresponding monthly reports.

@techreport{ACSI-D2.4.2-2013,
   title = "Techniques and Tools for KAB, to Manage Action Linkage with the
Artifact Layer -- Iteration 2",
   year = "2013",
   author = "Diego Calvanese and Bagheri Hariri, Babak and De Masellis,
Riccardo and Domenico Lembo and Marco Montali and Ario Santoso and
Dimitry Solomakhin and Sergio Tessaris",
   institution = "ACSI Consortium",
   number = "ACSI-D2.4.2",
}