Skip to main content
SpringerLink
Log in
Book cover

International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

TABLEAUX 2019: Automated Reasoning with Analytic Tableaux and Related Methods pp 39–57Cite as

Preferential Tableaux for Contextual Defeasible \(\mathcal {ALC}\)

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 11714))

Abstract

In recent work, we addressed an important limitation in previous extensions of description logics to represent defeasible knowledge, namely the restriction in the semantics of defeasible concept inclusion to a single preference order on objects of the domain. Syntactically, this limitation translates to a context-agnostic notion of defeasible subsumption, which is quite restrictive when it comes to modelling different nuances of defeasibility. Our point of departure in our recent proposal allows for different orderings on the interpretation of roles. This yields a notion of contextual defeasible subsumption, where the context is informed by a role. In the present paper, we extend this work to also provide a proof-theoretic counterpart and associated results. We define a (naïve) tableau-based algorithm for checking preferential consistency of contextual defeasible knowledge bases, a central piece in the definition of other forms of contextual defeasible reasoning over ontologies, notably contextual rational closure.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)

    MATH  Google Scholar 

  2. Baader, F., Hollunder, B.: How to prefer more specific defaults in terminological default logic. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI), pp. 669–675. Morgan Kaufmann Publishers (1993)

    Google Scholar 

  3. Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. J. Autom. Reasoning 14(1), 149–180 (1995)

    Article  MathSciNet  Google Scholar 

  4. Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logic. Cambridge University Press, Cambridge (2017)

    Book  Google Scholar 

  5. Bonatti, P., Faella, M., Petrova, I., Sauro, L.: A new semantics for overriding in description logics. Artif. Intell. 222, 1–48 (2015)

    Article  MathSciNet  Google Scholar 

  6. Bonatti, P., Faella, M., Sauro, L.: Defeasible inclusions in low-complexity DLs. J. Artif. Intell. Res. 42, 719–764 (2011)

    MathSciNet  MATH  Google Scholar 

  7. Bonatti, P., Lutz, C., Wolter, F.: The complexity of circumscription in description logic. J. Artif. Intell. Res. 35, 717–773 (2009)

    Article  MathSciNet  Google Scholar 

  8. Bonatti, P., Sauro, L.: On the logical properties of the nonmonotonic description logic DL\(^{N}\). Artif. Intell. 248, 85–111 (2017)

    Article  MathSciNet  Google Scholar 

  9. Booth, R., Casini, G., Meyer, T., Varzinczak, I.: On the entailment problem for a logic of typicality. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), pp. 2805–2811 (2015)

    Google Scholar 

  10. Booth, R., Meyer, T., Varzinczak, I.: A propositional typicality logic for extending rational consequence. In: Fermé, E., Gabbay, D., Simari, G. (eds.) Trends in Belief Revision and Argumentation Dynamics, Studies in Logic - Logic and Cognitive Systems, vol. 48, pp. 123–154. King’s College Publications, London (2013)

    MATH  Google Scholar 

  11. Boutilier, C.: Conditional logics of normality: a modal approach. Artif. Intell. 68(1), 87–154 (1994)

    Article  MathSciNet  Google Scholar 

  12. Britz, K., Casini, G., Meyer, T., Varzinczak, I.: Preferential role restrictions. In: Proceedings of the 26th International Workshop on Description Logics, pp. 93–106 (2013)

    Google Scholar 

  13. Britz, K., Casini, G., Meyer, T., Varzinczak, I.: A KLM perspective on defeasible reasoning for description logics. In: Lutz, C., Sattler, U., Tinelli, A.Y., Wolter, F. (eds.) Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. LNCS, vol. 11560. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-22102-7_7

    Chapter  Google Scholar 

  14. Britz, K., Heidema, J., Meyer, T.: Semantic preferential subsumption. In: Lang, J., Brewka, G. (eds.) Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 476–484. AAAI Press/MIT Press (2008)

    Google Scholar 

  15. Britz, K., Meyer, T., Varzinczak, I.: Semantic foundation for preferential description logics. In: Wang, D., Reynolds, M. (eds.) AI 2011. LNCS (LNAI), vol. 7106, pp. 491–500. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-25832-9_50

    Chapter  Google Scholar 

  16. Britz, K., Varzinczak, I.: Defeasible modalities. In: Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), pp. 49–60 (2013)

    Google Scholar 

  17. Britz, K., Varzinczak, I.: Introducing role defeasibility in description logics. In: Michael, L., Kakas, A. (eds.) JELIA 2016. LNCS (LNAI), vol. 10021, pp. 174–189. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-48758-8_12

    Chapter  MATH  Google Scholar 

  18. Britz, K., Varzinczak, I.: From KLM-style conditionals to defeasible modalities, and back. J. Appl. Non-Class. Logics (JANCL) 28(1), 92–121 (2018)

    Article  MathSciNet  Google Scholar 

  19. Britz, K., Varzinczak, I.: Preferential accessibility and preferred worlds. J. Logic Lang. Inf. (JoLLI) 27(2), 133–155 (2018)

    Article  MathSciNet  Google Scholar 

  20. Britz, K., Varzinczak, I.: Rationality and context in defeasible subsumption. In: Ferrarotti, F., Woltran, S. (eds.) FoIKS 2018. LNCS, vol. 10833, pp. 114–132. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-90050-6_7

    Chapter  Google Scholar 

  21. Britz, K., Varzinczak, I.: Contextual rational closure for defeasible \(\cal{ALC}\). Annals of Mathematics and Artificial Intelligence, to appear (2019)

    Google Scholar 

  22. Britz, K., Varzinczak, I.: Reasoning with contextual defeasible \(\cal{ALC}\). In: Proceedings of the 32nd International Workshop on Description Logics (2019)

    Google Scholar 

  23. Casini, G., Meyer, T., Moodley, K., Sattler, U., Varzinczak, I.: Introducing defeasibility into OWL ontologies. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9367, pp. 409–426. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25010-6_27

    Chapter  Google Scholar 

  24. Casini, G., Meyer, T., Moodley, K., Varzinczak, I.: Towards practical defeasible reasoning for description logics. In: Proceedings of the 26th International Workshop on Description Logics, pp. 587–599 (2013)

    Google Scholar 

  25. Casini, G., Straccia, U.: Rational closure for defeasible description logics. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS (LNAI), vol. 6341, pp. 77–90. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-15675-5_9

    Chapter  MATH  Google Scholar 

  26. Casini, G., Straccia, U.: Defeasible inheritance-based description logics. J. Artif. Intell. Res. (JAIR) 48, 415–473 (2013)

    Article  MathSciNet  Google Scholar 

  27. Donini, F., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Logic 3(2), 177–225 (2002)

    Article  MathSciNet  Google Scholar 

  28. Giordano, L., Gliozzi, V.: Reasoning about multiple aspects in DLs: semantics and closure construction. CoRR abs/1801.07161 (2018), http://arxiv.org/abs/1801.07161

  29. Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Preferential description logics. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol. 4790, pp. 257–272. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-75560-9_20

    Chapter  Google Scholar 

  30. Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Reasoning about typicality in preferential description logics. In: Hölldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol. 5293, pp. 192–205. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-87803-2_17

    Chapter  MATH  Google Scholar 

  31. Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Logic 10(3), 18:1–18:47 (2009)

    MathSciNet  MATH  Google Scholar 

  32. Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: \(\cal{ALC}+{T}\): a preferential extension of description logics. Fundam. Informaticae 96(3), 341–372 (2009)

    MathSciNet  MATH  Google Scholar 

  33. Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: A minimal model semantics for nonmonotonic reasoning. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS (LNAI), vol. 7519, pp. 228–241. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33353-8_18

    Chapter  Google Scholar 

  34. Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: A non-monotonic description logic for reasoning about typicality. Artif. Intell. 195, 165–202 (2013)

    Article  MathSciNet  Google Scholar 

  35. Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: Semantic characterization of rational closure: from propositional logic to description logics. Artif. Intell. 226, 1–33 (2015)

    Article  MathSciNet  Google Scholar 

  36. Goré, R., Nguyen, L.: ExpTime tableaux for \(\cal{ALC}\) using sound global caching. J. Autom. Reasoning 50(4), 355–381 (2013)

    Article  MathSciNet  Google Scholar 

  37. Governatori, G.: Defeasible description logics. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 98–112. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30504-0_8

    Chapter  Google Scholar 

  38. Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proceedings of the 12th International Conference on World Wide Web (WWW), pp. 48–57. ACM (2003)

    Google Scholar 

  39. Heymans, S., Vermeir, D.: A defeasible ontology language. In: Meersman, R., Tari, Z. (eds.) OTM 2002. LNCS, vol. 2519, pp. 1033–1046. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-36124-3_66

    Chapter  Google Scholar 

  40. Homola, M., Serafini, L.: Contextualized knowledge repositories for the semantic web. Web Semant.: Sci., Serv. Agents World Wide Web 12, 64–87 (2012)

    Google Scholar 

  41. Klarman, S., Gutiérrez-Basulto, V.: Description logics of context. J. Logic and Comput. 26(3), 817–854 (2013)

    Article  MathSciNet  Google Scholar 

  42. Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44, 167–207 (1990)

    Article  MathSciNet  Google Scholar 

  43. Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55, 1–60 (1992)

    Article  MathSciNet  Google Scholar 

  44. Nguyen, L.A., Szałas, A.: ExpTime tableaux for checking satisfiability of a knowledge base in the description logic \(\cal{ALC}\). In: Nguyen, N.T., Kowalczyk, R., Chen, S.-M. (eds.) ICCCI 2009. LNCS (LNAI), vol. 5796, pp. 437–448. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04441-0_38

    Chapter  Google Scholar 

  45. Padgham, L., Zhang, T.: A terminological logic with defaults: a definition and an application. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI). pp. 662–668. Morgan Kaufmann Publishers (1993)

    Google Scholar 

  46. Qi, G., Pan, J.Z., Ji, Q.: Extending description logics with uncertainty reasoning in possibilistic logic. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 828–839. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-75256-1_72

    Chapter  MATH  Google Scholar 

  47. Quantz, J., Royer, V.: A preference semantics for defaults in terminological logics. In: Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 294–305 (1992)

    Google Scholar 

  48. Quantz, J., Ryan, M.: Preferential default description logics. Technical report, TU Berlin (1993). www.tu-berlin.de/fileadmin/fg53/KIT-Reports/r110.pdf

  49. Sengupta, K., Krisnadhi, A.A., Hitzler, P.: Local closed world semantics: grounded circumscription for OWL. In: Aroyo, L., et al. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 617–632. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-25073-6_39

    Chapter  Google Scholar 

  50. Shoham, Y.: Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Cambridge (1988)

    Google Scholar 

  51. Straccia, U.: Default inheritance reasoning in hybrid KL-ONE-style logics. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI). pp. 676–681. Morgan Kaufmann Publishers (1993)

    Google Scholar 

  52. Varzinczak, I.: A note on a description logic of concept and role typicality for defeasible reasoning over ontologies. Logica Universalis 12(3–4), 297–325 (2018)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CAIR, Stellenbosch University, Stellenbosch, South Africa

    Katarina Britz & Ivan Varzinczak

  2. CRIL, Université d’Artois & CNRS, Lens, France

    Ivan Varzinczak

Authors
  1. Katarina Britz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ivan Varzinczak
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ivan Varzinczak .

Editor information

Editors and Affiliations

  1. IBISC, Univ. Evry, Université Paris-Saclay, Evry, France

    Serenella Cerrito

  2. Middlesex University London, London, UK

    Andrei Popescu

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Britz, K., Varzinczak, I. (2019). Preferential Tableaux for Contextual Defeasible \(\mathcal {ALC}\). In: Cerrito, S., Popescu, A. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2019. Lecture Notes in Computer Science(), vol 11714. Springer, Cham. https://doi.org/10.1007/978-3-030-29026-9_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-29026-9_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-29025-2

  • Online ISBN: 978-3-030-29026-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation