Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç:

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)
Description logic
Ontologies (artificial intelligence)
Query processing
Rewriting systems
Programació lògica
Recuperació de la informació
Ontologies (Informàtica)

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