• Author:
  • Ivan Varzinczak
  • HDR Defended on :
  • Nov 26, 2019 • salle des thèses, Faculté des sciences Jean Perrin


The current trend towards intelligent applications for the exploitation of large data sets pushes for a better understanding of the theoretical and practical foundations of reasoning on formal ontologies. Despite the progress made in recent decades in the development of description logics, the formal foundations of ontologies, many important aspects of human reasoning in this context have been neglected or partially treated. In this habilitation monograph I describe how we can reconcile non-monotonic reasoning with description logics for obtaining enhanced semantic technologies. In particular, I design new general logical methods with which one can formalise, better understand and deal with the different aspects and nuances of non-monotonic reasoning at all its levels. The result of the work described here is a general and more robust framework for reasoning on formal ontologies which can serve as the theoretical basis for more efficient intelligent systems.



  • Franz Baader, TU Dresden
  • Hans van Ditmarsch, CNRS, Nancy
  • Odile Papini, Univ. Marseille


  • Stéphane Demri, CNRS, Paris
  • Sébastien Konieczny, CNRS, Lens
  • Pierre Marquis, Univ. Artois, Lens
  • Marie-Laure Mugnier, Univ. Montpelier
  • Leon var der Torre, Luxembourg