Instance-level update in DL-Lite ontologies through first-order rewriting
In this paper we study instance-level update in DL-LiteA , a well-known description logic that influenced the OWL 2 QL standard. Instance-level update regards insertions and deletions in the ABox of an ontology. In particular we focus on formula-based approaches to instance-level update. We show tha...
| Autores: | , , , |
|---|---|
| Formato: | artículo |
| Fecha de publicación: | 2021 |
| País: | España |
| Recursos: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/346233 |
| Acesso em linha: | https://hdl.handle.net/2117/346233 https://dx.doi.org/10.1613/jair.1.12414 |
| Access Level: | acceso abierto |
| Palavra-chave: | Knowledge representation (Information theory) Ontologies (Information retrieval) Semantic web Description logics Intelligent databases Representació del coneixement (Teoria de la informació) Ontologies (Informàtica) Web semàntica Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Representació del coneixement |
| Resumo: | In this paper we study instance-level update in DL-LiteA , a well-known description logic that influenced the OWL 2 QL standard. Instance-level update regards insertions and deletions in the ABox of an ontology. In particular we focus on formula-based approaches to instance-level update. 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 instance-level update. That is, every update can be reformulated into a set of insertion and deletion instructions computable through a non-recursive Datalog program with negation. 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 DL-LiteA-based systems and perform some experiments showing that the approach works in practice. |
|---|