Updating DL-Lite ontologies through first-order queries
Visualitza/Obre
10.1007/978-3-319-46523-4_11
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/104529
Tipus de documentText en actes de congrés
Data publicació2016
EditorSpringer
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
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.
CitacióGiacomo, 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.
ISBN978-3-319-46523-4
Versió de l'editorhttp://link.springer.com/chapter/10.1007/978-3-319-46523-4_11
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
ISWC16dors.pdf | 1,238Mb | Visualitza/Obre |