Advertisement

Justifiable Exceptions in General Contextual Hierarchies

  • Loris BozzatoEmail author
  • Thomas Eiter
  • Luciano Serafini
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11939)

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.

References

  1. 1.
    Bikakis, A., Antoniou, G.: Defeasible contextual reasoning with arguments in ambient intelligence. IEEE TKDE 22(11), 1492–1506 (2010)Google Scholar
  2. 2.
    Bonatti, P.A., Faella, M., Petrova, I., Sauro, L.: A new semantics for overriding in description logics. Artif. Intell. 222, 1–48 (2015)MathSciNetCrossRefGoogle Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Bozzato, L., Eiter, T., Serafini, L.: Enhancing context knowledge repositories with justifiable exceptions. Artif. Intell. 257, 72–126 (2018)MathSciNetCrossRefGoogle Scholar
  5. 5.
    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_5CrossRefGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Bozzato, L., Serafini, L., Eiter, T.: Reasoning with justifiable exceptions in contextual hierarchies. In: KR 2018, pp. 329–338. AAAI Press (2018)Google Scholar
  8. 8.
    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
  9. 9.
    Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI-07. pp. 385–390. AAAI Press (2007)Google Scholar
  10. 10.
    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/BFb0036168CrossRefzbMATHGoogle Scholar
  11. 11.
    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_15CrossRefGoogle Scholar
  12. 12.
    Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: A non-monotonic description logic for reasoning about typicality. Artif. Intell. 195, 165–202 (2013)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Khriyenko, O., Terziyan, V.: A framework for context sensitive metadata description. Int. J. Metadata Semant. Ontol. 1(2), 154–164 (2006)CrossRefGoogle Scholar
  14. 14.
    Klarman, S.: Reasoning with Contexts in Description Logics. Ph.D. thesis, Free University of Amsterdam (2013)Google Scholar
  15. 15.
    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_21CrossRefGoogle Scholar
  16. 16.
    Leone, N., et al.: The DLV system for knowledge representation and reasoning. CoRR cs.AI/0211004 (2002). http://arxiv.org/abs/cs.AI/0211004
  17. 17.
    Serafini, L., Homola, M.: Contextualized knowledge repositories for the semantic web. J. Web Semant. 12, 64–87 (2012)CrossRefGoogle Scholar
  18. 18.
    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 2010Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Fondazione Bruno KesslerTrentoItaly
  2. 2.Institute of Logic and ComputationTechnische Universität WienViennaAustria

Personalised recommendations