Updating DL-Lite ontologies through first-order queries
Document typeConference report
Rights accessOpen Access
In this paper we study instance-level update in DL-LiteA, 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 DL-LiteA, 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 nonrecursive 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 DLLiteA-based systems and perform some experiments showing that the approach works in practice.
CitationGiacomo, G., Oriol, X., Rosati, R., Savo, D. Updating DL-Lite ontologies through first-order queries. A: International Semantic Web Conference. "The Semantic Web, ISWC 2016: 15th International Semantic Web Conference: Kobe, Japan, October 17–21, 2016: proceedings, part I". Kobe: Springer, 2016, p. 167-183.