Abstract
The problem of representing and reasoning with context dependent knowledge has recently gained interest in the area of description logics: among the several proposals, we consider the Contextualized Knowledge Repository (CKR) framework. In CKR applications it is often useful to reason over a hierarchical organization of contexts: for this reason, in our recent work we extended the CKR model to allow for the representation of exception handling in the inheritance of knowledge across contexts. However, to simplify the definition of reasoning procedures, we limited our approach to a particular kind of context organization, i.e. ranked hierarchies. In this paper, we further develop the proposal to extend the reasoning on exception handling for CKRs with general contextual hierarchies. We adapt the semantics (on a core version of CKR) to cope with contextual defeasible axioms in general hierarchies; on the base of this, we define an ASP based reasoning procedure that is complete w.r.t. instance checking under the proposed semantics for general contextual hierarchies.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bikakis, A., Antoniou, G.: Defeasible contextual reasoning with arguments in ambient intelligence. IEEE TKDE 22(11), 1492–1506 (2010)
Bonatti, P.A., Faella, M., Petrova, I., Sauro, L.: A new semantics for overriding in description logics. Artif. Intell. 222, 1–48 (2015)
Bozzato, L., Eiter, T., Serafini, L.: Contextualized knowledge repositories with justifiable exceptions. In: DL2014. CEUR-WP, vol. 1193, pp. 112–123. CEUR-WS.org (2014)
Bozzato, L., Eiter, T., Serafini, L.: Enhancing context knowledge repositories with justifiable exceptions. Artif. Intell. 257, 72–126 (2018)
Bozzato, L., Eiter, T., Serafini, L.: Reasoning with justifiable exceptions in \(\cal{E}\cal{L}_\bot \) contextualized knowledge repositories. In: Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., Wolter, F. (eds.) Description Logic, Theory Combination, and All That. LNCS, vol. 11560, pp. 110–134. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-22102-7_5
Bozzato, L., Serafini, L.: Materialization calculus for contexts in the semantic web. In: DL2013. CEUR-WP, vol. 1014, pp. 552–572. CEUR-WS.org (2013)
Bozzato, L., Serafini, L., Eiter, T.: Reasoning with justifiable exceptions in contextual hierarchies. In: KR 2018, pp. 329–338. AAAI Press (2018)
Bozzato, L., Serafini, L., Eiter, T.: Reasoning with justifiable exceptions in contextual hierarchies (appendix). CoRR abs/1808.01874 (2018), http://arxiv.org/abs/1808.01874
Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI-07. pp. 385–390. AAAI Press (2007)
Eiter, T., Gottlob, G.: The complexity class \( \Theta ^{ p}_{ 2}\): recent results and applications in AI and modal logic. In: Chlebus, B.S., Czaja, L. (eds.) FCT 1997. LNCS, vol. 1279, pp. 1–18. Springer, Heidelberg (1997). https://doi.org/10.1007/BFb0036168
Eiter, T., Krennwallner, T., Redl, C.: HEX-programs with nested program calls. In: Tompits, H., et al. (eds.) INAP/WLP -2011. LNCS (LNAI), vol. 7773, pp. 269–278. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-41524-1_15
Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: A non-monotonic description logic for reasoning about typicality. Artif. Intell. 195, 165–202 (2013)
Khriyenko, O., Terziyan, V.: A framework for context sensitive metadata description. Int. J. Metadata Semant. Ontol. 1(2), 154–164 (2006)
Klarman, S.: Reasoning with Contexts in Description Logics. Ph.D. thesis, Free University of Amsterdam (2013)
Krötzsch, M.: Efficient inferencing for OWL EL. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS (LNAI), vol. 6341, pp. 234–246. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-15675-5_21
Leone, N., et al.: The DLV system for knowledge representation and reasoning. CoRR cs.AI/0211004 (2002). http://arxiv.org/abs/cs.AI/0211004
Serafini, L., Homola, M.: Contextualized knowledge repositories for the semantic web. J. Web Semant. 12, 64–87 (2012)
Straccia, U., Lopes, N., Lukácsy, G., Polleres, A.: A general framework for representing and reasoning with annotated semantic web data. In: AAAI-10, Special Track on Artificial Intelligence and the Web. AAAI Press, July 2010
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Bozzato, L., Eiter, T., Serafini, L. (2019). Justifiable Exceptions in General Contextual Hierarchies. In: Bella, G., Bouquet, P. (eds) Modeling and Using Context. CONTEXT 2019. Lecture Notes in Computer Science(), vol 11939. Springer, Cham. https://doi.org/10.1007/978-3-030-34974-5_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-34974-5_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-34973-8
Online ISBN: 978-3-030-34974-5
eBook Packages: Computer ScienceComputer Science (R0)