Now showing items 1-2 of 2

    • COBRA, a Demo 

      Peñaloza R; Thuluva AS (CEUR, 2014)
    • A decidable very expressive description logic for databases 

      Artale A; Franconi E; Penaloza R; Sportelli F (Springer, 2017)
      We introduce DLR+, an extension of the n-ary propositionally closed description logic DLR to deal with attribute-labelled tuples (generalising the positional notation), projections of relations, and global and local ...