Loading...
Loading...

Go to the content (press return)

Instance-level update in DL-Lite ontologies through first-order rewriting

Author
Giacomo, G.; Oriol, X.; Rosati, R.; Savo, D.
Type of activity
Journal article
Journal
Journal of artificial intelligence research
Date of publication
2021-04-10
Volume
70
First page
1335
Last page
1371
DOI
10.1613/jair.1.12414
Project funding
Automated reasoning, model execution, data analytics from ontologies
Information Modeling and Processing
Repository
http://hdl.handle.net/2117/346233 Open in new window
URL
https://www.jair.org/index.php/jair/article/view/12414 Open in new window
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 ref...
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.
Keywords
Description logics, Intelligent databases, Knowledge representation, Ontologies, Semantic web
Group of research
IMP - Information Modelling and Processing
inLab FIB

Participants

  • Giacomo, Giuseppe De  (author)
  • Oriol Hilari, Xavier  (author)
  • Rosati, Riccardo  (author)
  • Savo, Domenico Fabio  (author)

Attachments