Mostra el registre d'ítem simple
Updating DL-Lite ontologies through first-order queries
dc.contributor.author | Giacomo, Giuseppe De |
dc.contributor.author | Oriol Hilari, Xavier |
dc.contributor.author | Rosati, Riccardo |
dc.contributor.author | Savo, Domenico Fabio |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
dc.date.accessioned | 2017-05-17T07:14:48Z |
dc.date.available | 2017-05-17T07:14:48Z |
dc.date.issued | 2016 |
dc.identifier.citation | 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. |
dc.identifier.isbn | 978-3-319-46523-4 |
dc.identifier.uri | http://hdl.handle.net/2117/104529 |
dc.description.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. |
dc.format.extent | 17 p. |
dc.language.iso | eng |
dc.publisher | Springer |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial |
dc.subject.lcsh | Logic programming |
dc.subject.lcsh | Information retrieval |
dc.subject.lcsh | Ontologies (Information retrieval) |
dc.subject.other | DATALOG |
dc.subject.other | Description logic |
dc.subject.other | Ontologies (artificial intelligence) |
dc.subject.other | Query processing |
dc.subject.other | Rewriting systems |
dc.title | Updating DL-Lite ontologies through first-order queries |
dc.type | Conference report |
dc.subject.lemac | Programació lògica |
dc.subject.lemac | Recuperació de la informació |
dc.subject.lemac | Ontologies (Informàtica) |
dc.contributor.group | Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
dc.identifier.doi | 10.1007/978-3-319-46523-4_11 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://link.springer.com/chapter/10.1007/978-3-319-46523-4_11 |
dc.rights.access | Open Access |
local.identifier.drac | 19258902 |
dc.description.version | Postprint (author's final draft) |
local.citation.author | Giacomo, G.; Oriol, X.; Rosati, R.; Savo, D. |
local.citation.contributor | International Semantic Web Conference |
local.citation.pubplace | Kobe |
local.citation.publicationName | The Semantic Web, ISWC 2016: 15th International Semantic Web Conference: Kobe, Japan, October 17–21, 2016: proceedings, part I |
local.citation.startingPage | 167 |
local.citation.endingPage | 183 |