Now showing items 1-4 of 4

  • Benchmarking and Optimization of OBDA Systems 

    Lanti, Davide (Free University of Bozen-Bolzano, 2018)
    In this thesis we address the two distinct but interleaved problems of benchmarking and optimization of ontology-based data access (OBDA) systems. OBDA is an approach to cope with the emerging need of providing an ...
  • Capturing model-based ontology evolution at the instance level: The case of DL-Lite 

    Kharlamov E; Zheleznyakov D; Calvanese D (2013)
    Evolution of Knowledge Bases (KBs) expressed in Description Logics (DLs) has gained a lot of attention lately. Recent studies on the topic have mostly focused on so-called model-based approaches (MBAs), where the evolution ...
  • Coherent concept invention 

    Schorlemmer M; Confalonieri R; Plaza E (CEUR, 2016)
    We address the problem on how newly invented concepts are evaluated with respect to a background ontology of conceptual knowledge so as to decide which of them are to be accepted into a system of familiar concepts, and how ...
  • An Epistemic Operator for Description Logics 

    Donini, FM; Lenzerini, M; Nardi, D; Nutt, W; Schaerf, A (Elsevier, 1998)
    Description logics (also called terminological logics, or concept languages) are fragments of first-order logic that provide a formal account of the basic features of frame-based systems. However, there are aspects of ...