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.
References
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
Bonatti P, Faella M, Petrova IM, Sauro L (2015) A new semantics for overriding in description logics. Artif Intell 222:1–48
Bonatti P, Faella M, Sauro L (2011) Defeasible inclusions in low-complexity DLs. J Artif Intell Res 42:719–764
Bonatti P, Lutz C, Wolter F (2009) The complexity of circumscription in description logic. J Artif Intell Res 35:717–773
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.
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.
Britz K, Varzinczak I (2013) Defeasible modalities. In: Proceedings of the 14th conference on theoretical aspects of rationality and knowledge (TARK). pp 49–60
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.
Britz K, Varzinczak I. Toward defeasible \(\cal{SROIQ}\). In: Proceedings of the 30th international workshop on description logics; 2017.
Britz K, Varzinczak I (2018) From KLM-style conditionals to defeasible modalities, and back. J Appl Non-Classical Logics (JANCL) 28(1):92–121
Britz K, Varzinczak I (2018) Preferential accessibility and preferred worlds. J Logic Lang Inf (JoLLI) 27(2):133–155
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.
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.
Donini FM, Nardi D, Rosati R (2002) Description logics of minimal knowledge and negation as failure. ACM Trans Comput Logic 3(2):177–225
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
Giordano L, Gliozzi V, Olivetti N, Pozzato GL (2013) A non-monotonic description logic for reasoning about typicality. Artif Intell 195:165–202
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.
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.
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.
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.
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
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
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
Corresponding author
Rights and permissions
About this article
Cite this article
Varzinczak, I. Defeasible Description Logics. Künstl Intell 34, 539–542 (2020). https://doi.org/10.1007/s13218-020-00649-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13218-020-00649-8