Now showing items 1-2 of 2

    • Efficient Ontology-Based Data Integration with Canonical IRIs 

      Xiao G; Hovland D; Bilidas D; Rezk M; Giese M; Calvanese D (Springer, 2018)
      In this paper, we study how to efficiently integrate multiple relational databases using an ontology-based approach. In ontology-based data integration (OBDI) an ontology provides a coherent view of multiple databases, and ...
    • Lean Kernels in Description Logics 

      Peñaloza R; Mencía C; Ignatiev A; Marques-Silva J (Springer, 2017)
      Lean kernels (LKs) are an effective optimization for deriving the causes of unsatisfiability of a propositional formula. Interestingly, no analogous notion exists for explaining consequences of description logic (DL) ...