Now showing items 1-3 of 3

    • Analysis of the GLARE and GPROVE approaches to clinical guidelines 

      Bottrighi A; Chesani F; Mello P; Montali M; Montani S; Storari S; Terenziani P (Springer, 2010)
      Open systems are complex, heterogeneous systems whose complexity is often handled by component-based approaches. While the internal functioning of such components is invisible to the outside, a great emphasis is put on the ...
    • Evolution of DL-Lite Knowledge Bases 

      Calvanese D; Kharlamov E; Nutt W; Zheleznyakov D (Springer, 2010)
      We study the problem of evolution for Knowledge Bases (KBs) expressed in Description Logics (DLs) of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of OWL 2, the recently proposed ...
    • Role monitoring in open agent societies 

      Chesani F; Mello P; Montali M; Torroni P (Springer, 2010)
      We address run-time monitoring of membership, roles and role dynamics in open agent societies. To this end, we build on Dignum's formalization of agent organizations, on the SOCS computational logic agent framework and on ...