Skip to main content
SpringerLink
Log in

Defeasible Description Logics

  • Dissertation and Habilitation Abstracts
  • Published:
KI - Künstliche Intelligenz Aims and scope Submit manuscript

Abstract

The present paper is a summary of a habilitation (Habilitation à Diriger des Recherches, in French), which has been perused and evaluated by a committee composed by the following members: Franz Baader, Stéphane Demri, Hans van Ditmarsch, Sébastien Konieczny, Pierre Marquis, Marie-Laure Mugnier, Odile Papini and Leon van der Torre. It was defended on 26 November 2019 at Université d’Artois in Lens, France.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Baader F, Hollunder B. How to prefer more specific defaults in terminological default logic. In: Bajcsy R, editor. Proceedings of the 13th international joint conference on artificial intelligence (IJCAI). USA: Morgan Kaufmann Publishers; 1993. pp 669–675

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

    Article  MathSciNet  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  5. Booth R, Meyer T, Varzinczak I. A propositional typicality logic for extending rational consequence. In: Fermé EL, Gabbay DM, Simari GR, editors, Trends in belief revision and argumentation dynamics. vol 48 of Studies in logic–Logic and cognitive systems. King’s College Publications; 2013. pp 123–154.

  6. Britz K, Meyer T, Varzinczak I. Semantic foundation for preferential description logics. In: Wang D, Reynolds M, editors. Proceedings of the 24th Australasian joint conference on artificial intelligence, number 7106 in LNAI. Berlin: Springer; 2011. pp 491–500.

  7. Britz K, Varzinczak I (2013) Defeasible modalities. In: Proceedings of the 14th conference on theoretical aspects of rationality and knowledge (TARK). pp 49–60

  8. Britz K, Varzinczak I. Introducing role defeasibility in description logics. In: Michael L, Kakas AC, editors. Proceedings of the 15th European conference on logics in artificial intelligence (JELIA), number 10021 in LNCS. Berlin: Springer; 2016. pp 174–189.

  9. Britz K, Varzinczak I. Toward defeasible \(\cal{SROIQ}\). In: Proceedings of the 30th international workshop on description logics; 2017.

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

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  12. Britz K, Varzinczak K. Rationality and context in defeasible subsumption. In: Ferrarotti F, Woltran S, editors. Proceedings of the 10th international symposium on foundations of information and knowledge systems (FoIKS), number 10833 in LNCS. Berlin: Springer; 2018. pp 114–132.

  13. Casini G, Straccia U. Rational closure for defeasible description logics. In: Janhunen T, Niemelä I, editors. In: Proceedings of the 12th European conference on logics in artificial intelligence (JELIA), number 6341 in LNCS. Berlin: Springer-Verlag; 2010. pp 77–90.

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

    Article  MathSciNet  Google Scholar 

  15. Giordano L, Gliozzi V, Olivetti N, Pozzato GL (2007) Preferential description logics. In N. Dershowitz and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), number 4790 in LNAI, pages 257–272. Springer

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

    Article  MathSciNet  Google Scholar 

  17. Heymans S, Vermeir D (2002) A defeasible ontology language. In: Meersman R, Tari Z, editors, CoopIS/DOA/ODBASE, number 2519 in LNCS. Berlin: Springer; 2002. pp 1033–1046.

  18. Padgham L, Zhang T. A terminological logic with defaults: a definition and an application. In: Bajcsy R, editor, Proceedings of the 13th international joint conference on artificial intelligence (IJCAI). Morgan Kaufmann Publishers; 1993. pp 662–668.

  19. 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). 1992. pp 294–305.

  20. Sengupta K, Alfa Krisnadhi A, Hitzler P. Local closed world semantics: grounded circumscription for OWL. In: Aroyo L, Welty C, Alani H, Taylor J, Bernstein A, Kagal L, Noy N, Blomqvist E, editors. Proceedings of the 10th international semantic web conference (ISWC), number 7031 in LNCS. Berlin: Springer; 2011. pp 617–632.

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

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

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

Most of the content in the habilitation here summarised is based on journal articles and conference papers that have been published over the past few years or that are currently under review, and co-authored with Richard Booth, Arina Britz, Giovanni Casini, Tommie Meyer, Kody Moodley and Uli Sattler.

Author information

Authors and Affiliations

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

    Ivan Varzinczak

  2. CAIR, Computer Science Division, Department of Mathematical Sciences, Stellenbosch University, Stellenbosch, South Africa

    Ivan Varzinczak

Authors
  1. Ivan Varzinczak
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ivan Varzinczak.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Varzinczak, I. Defeasible Description Logics. Künstl Intell 34, 539–542 (2020). https://doi.org/10.1007/s13218-020-00649-8

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13218-020-00649-8

Keywords

Search

Navigation