A Description Logic (DL) ontology is constituted by two components, a TBox that expresses general knowledge about the concepts and their relationships, and an ABox that describes the properties of individuals that are instances of concepts. We address the problem of how to deal with changes to a DL ontology, when these changes affect only the ABox, i.e. when the TBox is considered invariant. We consider two basic changes, namely instance-level update and instance-level erasure, roughly corresponding to the addition and the deletion of a set of facts involving individuals. We characterize the semantics of instance-level update and erasure on the basis of the approaches proposed by Winslett and by Katsuno and Mendelzon. Interestingly, DLs are typically not closed with respect to instance-level update and erasure, in the sense that the set of models corresponding to the application of any of these operations to a knowledge base in a DL L may not be expressible by ABoxes in L. In particular, we show that this is true for DL-Lite(F), a tractable DL that is oriented towards data-intensive applications. To deal with this problem, we first introduce DL-Lite(FS), a DL that minimally extends DL-Lite(F) and is closed with respect to instance-level update, and present a polynomial algorithm for computing instance-level update in this logic. Then, we provide a principled notion of best approximation with respect to a fixed language L of instance-level update and erasure, and exploit the algorithm for instance-level update for DL-Lite(FS) to get polynomial algorithms for approximated instance-level update and erasure for DL-Lite(F). These results confirm the nice computational properties of DL-Lite(F) for data intensive applications, even where information about instances is not only read, but also written.

On Instance-level Update and Erasure in Description Logic Ontologies / DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - STAMPA. - 19:5(2009), pp. 745-770. [10.1093/logcom/exn051]

On Instance-level Update and Erasure in Description Logic Ontologies

DE GIACOMO, Giuseppe;LENZERINI, Maurizio;POGGI, Antonella;ROSATI, Riccardo
2009

Abstract

A Description Logic (DL) ontology is constituted by two components, a TBox that expresses general knowledge about the concepts and their relationships, and an ABox that describes the properties of individuals that are instances of concepts. We address the problem of how to deal with changes to a DL ontology, when these changes affect only the ABox, i.e. when the TBox is considered invariant. We consider two basic changes, namely instance-level update and instance-level erasure, roughly corresponding to the addition and the deletion of a set of facts involving individuals. We characterize the semantics of instance-level update and erasure on the basis of the approaches proposed by Winslett and by Katsuno and Mendelzon. Interestingly, DLs are typically not closed with respect to instance-level update and erasure, in the sense that the set of models corresponding to the application of any of these operations to a knowledge base in a DL L may not be expressible by ABoxes in L. In particular, we show that this is true for DL-Lite(F), a tractable DL that is oriented towards data-intensive applications. To deal with this problem, we first introduce DL-Lite(FS), a DL that minimally extends DL-Lite(F) and is closed with respect to instance-level update, and present a polynomial algorithm for computing instance-level update in this logic. Then, we provide a principled notion of best approximation with respect to a fixed language L of instance-level update and erasure, and exploit the algorithm for instance-level update for DL-Lite(FS) to get polynomial algorithms for approximated instance-level update and erasure for DL-Lite(F). These results confirm the nice computational properties of DL-Lite(F) for data intensive applications, even where information about instances is not only read, but also written.
2009
description logic; erasure; ontologies; update
01 Pubblicazione su rivista::01a Articolo in rivista
On Instance-level Update and Erasure in Description Logic Ontologies / DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - STAMPA. - 19:5(2009), pp. 745-770. [10.1093/logcom/exn051]
File allegati a questo prodotto
File Dimensione Formato  
VE_2009_11573-360940.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 275.63 kB
Formato Adobe PDF
275.63 kB Adobe PDF   Contatta l'autore

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/360940
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 49
  • ???jsp.display-item.citation.isi??? 27
social impact