BOREAL : Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données
Les systèmes d’information actuels sont basés sur l’exploitation de données provenant d’un nombre croissant de sources hétérogènes. Pour maîtriser la variété des données, il est nécessaire de développer des paradigmes d’accès aux données qui s’adaptent aux différents types de sources, ainsi que des langages déclaratifs de haut niveau assurant le traitement de ces données et leur qualité. L’équipe BOREAL s’intéresse aux problématiques de raisonnement, à la fois fondamentales et appliquées, dans un contexte de variété des données. Son expertise en représentation de connaissances et raisonnement automatique est mise au service de la conception de nouvelles techniques pour la gestion de données hétérogènes et fédérées, qui s’appuient en particulier sur des langages expressifs à base de règles.
L’équipe s’intéresse à un ensemble de questions liées à la gestion de données basée sur des connaissances, notamment :
- Fondements des langages à base de règles (Règles Existentielles, Logiques de Description)
- Algorithmes et optimisations pour raisonner sur les données
- Architectures et langages pour l’intégration de données hétérogènes
- Gestion des incohérences dans l’interrogation des données
- Qualité des systèmes d’intégration de données à base de connaissances
- Explication des raisonnements
Deprecated: JCITwig\Loader\FilesystemLoader::__construct(): Implicitly marking parameter $rootPath as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/Loader/FilesystemLoader.php on line 37
Deprecated: JCITwig\Environment::getTemplateClass(): Implicitly marking parameter $index as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/Environment.php on line 262
Deprecated: JCITwig\Environment::loadTemplate(): Implicitly marking parameter $index as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/Environment.php on line 330
Deprecated: JCITwig\Environment::createTemplate(): Implicitly marking parameter $name as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/Environment.php on line 386
Deprecated: jci_twig_template_from_string(): Implicitly marking parameter $name as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/Extension/StringLoaderExtension.php on line 38
Deprecated: JCITwig\NodeVisitor\SafeAnalysisNodeVisitor::intersectSafe(): Implicitly marking parameter $a as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/NodeVisitor/SafeAnalysisNodeVisitor.php on line 139
Deprecated: JCITwig\NodeVisitor\SafeAnalysisNodeVisitor::intersectSafe(): Implicitly marking parameter $b as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/NodeVisitor/SafeAnalysisNodeVisitor.php on line 139
Deprecated: JCITwig\TokenStream::__construct(): Implicitly marking parameter $source as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/TokenStream.php on line 28
Deprecated: JCITwig\TokenStream::expect(): Implicitly marking parameter $message as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/TokenStream.php on line 71
Deprecated: JCITwig\Parser::addImportedSymbol(): Implicitly marking parameter $name as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/Parser.php on line 250
Deprecated: JCITwig\Parser::addImportedSymbol(): Implicitly marking parameter $node as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/Parser.php on line 250
Deprecated: JCITwig\Node\Node::__construct(): Implicitly marking parameter $tag as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/Node/Node.php on line 39
Deprecated: JCITwig\Node\SetNode::__construct(): Implicitly marking parameter $tag as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/Node/SetNode.php on line 24
Deprecated: JCITwig\Node\IfNode::__construct(): Implicitly marking parameter $tag as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/Node/IfNode.php on line 24
Deprecated: JCITwig\Node\PrintNode::__construct(): Implicitly marking parameter $tag as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/Node/PrintNode.php on line 25
Deprecated: JCITwig\Node\Expression\ArrayExpression::addElement(): Implicitly marking parameter $key as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/Node/Expression/ArrayExpression.php on line 58
Deprecated: JCITwig\Template::displayBlock(): Implicitly marking parameter $templateContext as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/Template.php on line 151
Deprecated: JCITwig\Node\ForNode::__construct(): Implicitly marking parameter $tag as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/Node/ForNode.php on line 28
Deprecated: JCITwig\Node\ForLoopNode::__construct(): Implicitly marking parameter $tag as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/Node/ForLoopNode.php on line 23
Permanents
Michel Leclere, Maître de conférences, UM
Marie-Laure Mugnier, Professeur des universités, UM
David Carral Martinez, Chargé de recherche, INRIA
Nofar Carmeli, Chargé de recherche, INRIA
Federico Ulliana, Chargé de recherche, INRIA
Jean-François Baget, Chargé de recherche, INRIA
Doctorants
Akira Charoensit, INRIA
Autres personnels
Michel Chein, Invité longue durée Eméritat, UM
Quentin Manière, CDD Chercheur, INRIA
Deprecated: JCITwig\Node\Expression\FilterExpression::__construct(): Implicitly marking parameter $tag as nullable is deprecated, the explicit nullable type must be used instead in /data/www/WP-sites/wp-content/plugins/jsoncontentimporterpro3/twiglib/twig351adj/vendor/twig/twig/src/Node/Expression/FilterExpression.php on line 20
Titre : Génération de scénarios de test pour les systèmes de contrôle-commande : une application pour les centrales nucléaires dEDF
Doctorant : Mohamed Aziz Sfar Gandoura
Date de soutenance : 2025-05-20
Directeur de thèse :
Madalina Croitoru
Titre : Gestion de données dans le cadre des règles existentielles: traduction de requêtes et de contraintes
Doctorant : Guillaume Perution Kihli
Date de soutenance : 2023-12-18
Directeur de thèse :
Marie-Laure Mugnier
Titre : Raisonner sur des données en agroécologie : application à la sélection despèces végétales de service
Doctorant : Elie Najm
Date de soutenance : 2022-12-13
Directeur de thèse :
Marie-Laure Mugnier
Titre : Une approche basée sur les préférences pour l’éthique des machines dans le contexte de la planification automatique
Doctorant : Martin Jedwabny
Date de soutenance : 2022-12-02
Directeur de thèse :
Madalina Croitoru
InteGraal est un outil Java dédié au raisonnement sur des données hétérogènes et fédérées. Il intègre des algorithmes et des techniques développées à l’intersection de la représentation des connaissances, du raisonnement et de la gestion des données.
Conçu de manière modulaire, InteGraal favorise la réutilisation et l’extension logicielle ; il facilite ainsi l’expérimentation de nouveaux scénarios et l’évaluation de nouvelles approches, notamment en combinant plusieurs algorithmes. Les principales fonctionnalités actuelles d’InteGraal sont ses capacités d’intégration de données pour l’exploitation de sources hétérogènes fédérées via des mappings (permettant de cibler des systèmes SQL, RDF ou encore des API Web) ainsi que des nombreux algorithmes de réponse aux requêtes reposant sur la réécriture de requêtes et matérialisation des données.