Mostra el registre d'ítem simple
Instance-level update in DL-Lite ontologies through first-order rewriting
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 | Facultat d'Informàtica de Barcelona |
dc.date.accessioned | 2021-05-27T15:05:12Z |
dc.date.available | 2021-05-27T15:05:12Z |
dc.date.issued | 2021-04-10 |
dc.identifier.citation | Giacomo, G. [et al.]. Instance-level update in DL-Lite ontologies through first-order rewriting. "Journal of artificial intelligence research", 10 Abril 2021, vol. 70, p. 1335-1371. |
dc.identifier.issn | 1076-9757 |
dc.identifier.uri | http://hdl.handle.net/2117/346233 |
dc.description.abstract | 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. |
dc.description.sponsorship | This work was partly supported by the EU within the H2020 Programme under the grant agreement 834228 (ERC Advanced Grant WhiteMech), the grant agreement 952215 (TAILOR), and the grant agreement 825333 (MOSAICrOWN). Moreover, it is partly supported by Ministerio de Economia, Industria y Competitividad under the grant agreement TIN2017-87610-R (REMEDiAL), by the Generalitat de Catalunya under the grant agreement 2017-SGR-1749, and by Regione Lombardia within the Call Hub Ricerca e Innovazione under the grant agreement 1175328 (WATCHMAN). |
dc.format.extent | 37 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Representació del coneixement |
dc.subject.lcsh | Knowledge representation (Information theory) |
dc.subject.lcsh | Ontologies (Information retrieval) |
dc.subject.lcsh | Semantic web |
dc.subject.other | Description logics |
dc.subject.other | Intelligent databases |
dc.title | Instance-level update in DL-Lite ontologies through first-order rewriting |
dc.type | Article |
dc.subject.lemac | Representació del coneixement (Teoria de la informació) |
dc.subject.lemac | Ontologies (Informàtica) |
dc.subject.lemac | Web semàntica |
dc.contributor.group | Universitat Politècnica de Catalunya. IMP - Information Modeling and Processing |
dc.identifier.doi | 10.1613/jair.1.12414 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | https://www.jair.org/index.php/jair/article/view/12414 |
dc.rights.access | Open Access |
local.identifier.drac | 31758004 |
dc.description.version | Postprint (published version) |
dc.relation.projectid | info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016/TIN2017-87610-R/ES/RAZONAMIENTO AUTOMATICO, EJECUCION DE MODELOS Y ANALISIS DE DATOS A PARTIR DE ONTOLOGIAS/ |
dc.relation.projectid | info:eu-repo/grantAgreement/AGAUR/2017 SGR 1749 |
local.citation.author | Giacomo, G.; Oriol, X.; Rosati, R.; Savo, D. |
local.citation.publicationName | Journal of artificial intelligence research |
local.citation.volume | 70 |
local.citation.startingPage | 1335 |
local.citation.endingPage | 1371 |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Articles de revista [126]