Now showing items 1-6 of 6

    • Description logic Knowledge and Action Bases 

      Bagheri Hariri B; Calvanese D; Montali M; De Giacomo G; De Masellis R; Felli P ({AAAI} Press/The {MIT} Press, 2013)
      Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a description logic knowledge base and actions ...
    • State-Boundedness in Data-Aware Dynamic Systems 

      Bagheri Hariri B; Calvanese D; Deutsch A; Montali M (AAAI Press, 2014)
      Verification of dynamic systems that manipulate data, stored in a database or ontology, has lately received increasing attention. A plethora of recent works has shown that verification of systems working over unboundedly ...
    • Verification of Description Logic Knowledge and Action Bases 

      Bagheri Hariri B; Calvanese D; De Giacomo G; De Masellis R; Felli P; Montali M (Amsterdam, 2012)
      We introduce description logic (DL) Knowledge and Action Bases (KAB), a mechanism that provides both a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set of actions ...
    • Verification of human-driven data-centric dynamic systems 

      Bagheri Hariri B; Calvanese D; De Giacomo G; Deutsch A; Montali M (AAAI Press, 2014)
      We study the foundations of human driven, data-aware business processes, by leveraging on the recently proposed framework of Data-Centric Dynamic Systems (DCDSs). The processes we consider simultaneously capture the ...
    • Verification of relational data-centric dynamic systems with external services 

      Bagheri Hariri B; Calvanese D; De Giacomo G; Deutsch A; Montali M (ACM Press and Addison Wesley, 2013)
      Data-centric dynamic systems are systems where both the process controlling the dynamics and the manipulation of data are equally central. We study verification of (first-order) μ-calculus variants over relational data-centric ...
    • Verification of semantically-enhanced artifact systems 

      Bagheri Hariri B; Calvanese D; Montali M; Santoso A; Solomakhin D (Springer, 2013)
      Artifact-Centric systems have emerged in the last years as a suitable framework to model business-relevant entities, by combining their static and dynamic aspects. In particular, the Guard-Stage-Milestone (GSM) approach ...