Recent papers address the issue of updating the instance level of knowledge bases expressed in Description Logic following a modelbased approach. One of the outcomes of these papers is that the result of updating a knowledge base K is generally not expressible in the Description Logic used to express K. In this paper we introduce a formula-based approach to this problem, by revisiting some research work on formulabased updates developed in the '80s, in particular the WIDTIO (When In Doubt, Throw It Out) approach. We show that our operator enjoys desirable properties, including that both insertions and deletions according to such operator can be expressed in the DL used for the original KB. Also, we present polynomial time algorithms for the evolution of the instance level knowledge bases expressed in DL-LiteA,id, which the most expressive Description Logics of the DL-Lite family.
On the evolution of the instance level of DL-Lite knowledge bases / Lenzerini, Maurizio; Savo, Domenico Fabio. - 745:(2011), pp. 290-300. (Intervento presentato al convegno 24th International Workshop on Description Logics, DL 2011 tenutosi a Barcelona nel 13 July 2011 through 16 July 2011).
On the evolution of the instance level of DL-Lite knowledge bases
LENZERINI, Maurizio;SAVO, Domenico Fabio
2011
Abstract
Recent papers address the issue of updating the instance level of knowledge bases expressed in Description Logic following a modelbased approach. One of the outcomes of these papers is that the result of updating a knowledge base K is generally not expressible in the Description Logic used to express K. In this paper we introduce a formula-based approach to this problem, by revisiting some research work on formulabased updates developed in the '80s, in particular the WIDTIO (When In Doubt, Throw It Out) approach. We show that our operator enjoys desirable properties, including that both insertions and deletions according to such operator can be expressed in the DL used for the original KB. Also, we present polynomial time algorithms for the evolution of the instance level knowledge bases expressed in DL-LiteA,id, which the most expressive Description Logics of the DL-Lite family.File | Dimensione | Formato | |
---|---|---|---|
VE_2014_11573-645064.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
212.38 kB
Formato
Adobe PDF
|
212.38 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.