BIROn - Birkbeck Institutional Research Online

    Knowledge base exchange: the case of OWL 2 QL

    Arenas, M. and Botoeva, E. and Calvanese, D. and Ryzhikov, Vladislav (2016) Knowledge base exchange: the case of OWL 2 QL. Artificial Intelligence 238 , pp. 11-62. ISSN 0004-3702.

    ai2016.pdf - Author's Accepted Manuscript

    Download (747kB) | Preview


    In this article, we define and study the problem of exchanging knowledge between a source and a target knowledge base (KB), connected through mappings. Differently from the traditional database exchange setting, which considers only the exchange of data, we are interested in exchanging implicit knowledge. As representation formalism we use Description Logics (DLs), thus assuming that the source and target KBs are given as a DL TBox+ABox, while the mappings have the form of DL TBox assertions. We define a general framework of KB exchange, and study the problem of translating the knowledge in the source KB according to the mappings expressed in OWL 2 QL, the profile of the standard Web Ontology Language OWL 2 based on the description logic DL-LiteR. We develop novel game- and automata-theoretic techniques, and we provide complexity results that range from NLogSpace to ExpTime


    Item Type: Article
    Keyword(s) / Subject(s): Description logic, Knowledge exchange, DL-Lite, Data exchange, Query inseparability
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Vladislav Ryzhikov
    Date Deposited: 16 Jan 2018 16:38
    Last Modified: 09 Aug 2023 12:42


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item