Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/104529

Updating DL-Lite ontologies through first-order queries
Giacomo, Giuseppe De; Oriol Hilari, Xavier; Rosati, Riccardo; Savo, Domenico Fabio
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
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.
Peer Reviewed
Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial
Logic programming
Information retrieval
Ontologies (Information retrieval)
DATALOG
Description logic
Ontologies (artificial intelligence)
Query processing
Rewriting systems
Programació lògica
Recuperació de la informació
Ontologies (Informàtica)
info:eu-repo/semantics/submittedVersion
info:eu-repo/semantics/conferenceObject
Springer
         

Mostra el registre complet del document

Documents relacionats

Altres documents del mateix autor/a

Giacomo, Giuseppe De; Lembo, Domenico; Oriol Hilari, Xavier; Savo, Domenico Fabio; Teniente López, Ernest
Giacomo, Giuseppe De; Oriol Hilari, Xavier; Estañol Lamarca, Montserrat; Teniente López, Ernest
Patrizini, Fabio; Lipovetzky, Nir; Giacomo, Giuseppe de; Geffner, Hector
Oriol Hilari, Xavier; Teniente López, Ernest
Oriol Hilari, Xavier; Teniente López, Ernest; Rull, Guillem