Non-Classical Reasoning for Enhanced Ontology-based Semantic Technologies

Collaboration avec l’université de Cardiff.

La tendance actuelle vers des applications intelligentes pour l’exploitation de grands ensembles de données pousse pour une meilleure compréhension des fondements théoriques et pratiques du raisonnement sur les ontologies formelles. Malgré les progrès réalisés au cours des dernières décennies dans le développement des logiques de description, de nombreux aspects importants du raisonnement humain dans ce cadre ont été largement négligés ou partiellement traités. Le but de ce projet est de concilier les logiques non-classiques et de description pour obtenir des technologies sémantiques améliorées. Pour ce faire, nous allons concevoir de nouvelles méthodes logiques générales avec lesquelles on puisse mieux comprendre, formaliser et traiter les différents aspects et nuances du raisonnement non-classique à tous ses niveaux. Le résultat sera un cadre global pour le raisonnement non-classique sur des ontologies et une base théorique plus solide pour des systèmes intelligents plus efficaces.