Updating DL-Lite Ontologies Through First-Order Queries

  • Giuseppe De Giacomo
  • Xavier Oriol
  • Riccardo Rosati
  • Domenico Fabio Savo
Conference paper

DOI: 10.1007/978-3-319-46523-4_11

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9981)
Cite this paper as:
De Giacomo G., Oriol X., Rosati R., Savo D.F. (2016) Updating DL-Lite Ontologies Through First-Order Queries. In: Groth P. et al. (eds) The Semantic Web – ISWC 2016. ISWC 2016. Lecture Notes in Computer Science, vol 9981. Springer, Cham

Abstract

In this paper we study instance-level update in \(\textit{DL-Lite}_{A} \), the description logic underlying the owl 2 ql standard. In particular we focus on formula-based approaches to ABox insertion and deletion. We show that \(\textit{DL-Lite}_{A} \), which is well-known for enjoying first-order rewritability of query answering, enjoys a first-order rewritability property also for updates. That is, every update can be reformulated into a set of insertion and deletion instructions computable through a non-recursive datalog program. Such a program is readily translatable into a first-order query over the ABox considered as a database, and hence into sql. By exploiting this result, we implement an update component for \(\textit{DL-Lite}_{A} \)-based systems and perform some experiments showing that the approach works in practice.

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Giuseppe De Giacomo
    • 1
  • Xavier Oriol
    • 2
  • Riccardo Rosati
    • 1
  • Domenico Fabio Savo
    • 1
  1. 1.Sapienza Università di RomaRomeItaly
  2. 2.Universitat Politècnica de CatalunyaBarcelonaSpain

Personalised recommendations