The combination of often heterogeneous and contradicting knowledge sources in the Semantic Web demands for methods to represent and reason with a notion of context. Among context representation frameworks, Contextualized Knowledge Repository (CKR) is a novel proposal grounded in the well-studied AI theories of context and aims at bringing the advantages of contextual representation to the Semantic Web. In this paper we show that reasoning in ALC-based CKR is decidable and EXPTIME-complete. The result is presented trough a reduction from ALC-based CKRs to ALCO(t) knowledge bases. This result is important, because it shows that the addition of the contextual layer does not come at the cost of increased complexity of reasoning.

ExpTime Reasoning for Contextualized ALC

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

Abstract

The combination of often heterogeneous and contradicting knowledge sources in the Semantic Web demands for methods to represent and reason with a notion of context. Among context representation frameworks, Contextualized Knowledge Repository (CKR) is a novel proposal grounded in the well-studied AI theories of context and aims at bringing the advantages of contextual representation to the Semantic Web. In this paper we show that reasoning in ALC-based CKR is decidable and EXPTIME-complete. The result is presented trough a reduction from ALC-based CKRs to ALCO(t) knowledge bases. This result is important, because it shows that the addition of the contextual layer does not come at the cost of increased complexity of reasoning.
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/83206
 Attenzione

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

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