Contextualized Knowledge Repository (CKR) is a DL based framework for representation and reasoning with context dependent knowledge. The only reasoning algorithm for CKR proposed so far is obtained via reduction to a single DL knowledge base. While this method is useful to prove complexity of reasoning in CKR, it does not provide suggestions for the construction of a genuine contextualized reasoning procedure, taking advantage of the distinctive divide-and-conquer approach of a contextual view. In this paper we present a sound and complete tableaux algorithm for reasoning in ALC-based CKR, an important step towards practical decision algorithms for contextualized knowledge based on ALC and more expressive DL. Consequently we discuss possible optimizations of the algorithm including dimensional coverage caching, parallelization and a set of new rules that optimize the propagation of symbols among local tableaux.

Towards More Effective Tableaux Reasoning for CKR

Bozzato, Loris;Homola, Martin;Serafini, Luciano
2012-01-01

Abstract

Contextualized Knowledge Repository (CKR) is a DL based framework for representation and reasoning with context dependent knowledge. The only reasoning algorithm for CKR proposed so far is obtained via reduction to a single DL knowledge base. While this method is useful to prove complexity of reasoning in CKR, it does not provide suggestions for the construction of a genuine contextualized reasoning procedure, taking advantage of the distinctive divide-and-conquer approach of a contextual view. In this paper we present a sound and complete tableaux algorithm for reasoning in ALC-based CKR, an important step towards practical decision algorithms for contextualized knowledge based on ALC and more expressive DL. Consequently we discuss possible optimizations of the algorithm including dimensional coverage caching, parallelization and a set of new rules that optimize the propagation of symbols among local tableaux.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/11582/83201
 Attenzione

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

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact