Now showing items 1-2 of 2

    • Inconsistency-tolerant instance checking in tractable description logics 

      Peñaloza R (Springer, 2017)
      Research on inconsistency-tolerant query answering usually assumes that the terminological knowledge is correct, and only the facts (ABox) need to be repaired. In this paper we study the problem of answering instance queries ...
    • Semantic DMN: Formalizing Decision Models with Domain Knowledge 

      Calvanese D; Dumas M; Maggi FM; Montali M (Springer, 2017)
      The Decision Model and Notation (DMN) is a recent OMG standard for the elicitation and representation of decision models. DMN builds on the notion of decision table, which consists of columns representing the inputs and ...