Modélisation par des règles existentielles du paradigme « traits-fonctions-services » utilisé en agroécologie. Les traits sont extraits de différentes bases de données (utilisation de nos mappings) et servent à calculer les fonctions et services rendus par une plante.
Nouveaux résultats d’acyclicité sur une base de règles, qui étendent à la fois nos graphes de dépendance et les approches concurrentes par nom de prédicat et position. Premiers résultats sur la réécriture en présence de règles transitives.Ce travail a permis le développement de l'outil logiciel Kiabora.
Une extension des règles existentielles avec la négation par défaut, sous la sémantique des modèles stables. Ce travail a été implémenté dans le logiciel ASPERIX (Université d'Angers).
Proposition d'architecture et implémentation dans Graal de multiples formalismes de stockage pour nos bases de faits (BD relationnelles, Triple Stores RDF, NoSQL), qui sont interrogées de façon générique en utilisant notre algorithme de backtrack. Préfigure le paradigme OBDA qui se développera plus tard en représentation de connaissances.
Introduction de la classe gbts, et première proposition d’un formalisme plus riche que les UCQ (union de requêtes conjonctives) pour plus de cas d'arrêt du mécanisme de réécriture. 🥇Prix de thèse AFIA 2014.
L'introduction d'expressions régulières dans les requêtes conjonctives est nécessaire, par exemple, dans le langage de requêtes SPARQL. Préfigure mon travail ultérieur sur les CRPQ.
Elie Najm
Swan Rocher
Fabien Garreau
Bruno Paiva Lima da Silva
Michaël Thomazo
Faisal Alkhateeb
Extension d'Integraal pour pouvoir retourner des réponses à des requêtes imbriquées et implémentation en Python d'un langage de template reposant sur des requêtes Integraal pour pouvoir proposer un système de génération de pages web basé sur des raisonnements logiques.
Utilisation de la disjonction et/ou des fonctions calculées pour améliorer l'algorithme de chase utilisant le graphe des dépendances et le calcul de la règle résultante d'une application et d'un unificateur.
Le mécanisme de liaison de fonctions externes sous Integraal oblige pour l'instant l'utilisateur à développer ses fonctions externes en Java. Or la librairie py4graal a pour ambition de permettre à un utilisateur de piloter Integraal sans écrire une seule ligne de code Java. Pour atteindre cet objectif, il nous manque encore la possibilité d'écrire ces fonctions externes en Python.
Travail de modélisation en DLGP d'une base de connaissances raisonnant sur des données extraites de prédictions météorologiques. Début de coopération avec Fabio Porto (LNCC, Brésil).
Requêtes-chemin dans les requêtes conjonctives, saturation et réécriture.
Première implémentation de fonctions calculées dans Graal. Cette implémentation générique et extensible repose sur l'idée suivante : un identificateur de fonction (ou de prédicat) calculée est une IRI qui pointe sur un fichier Json donnant toutes les informations pour « charger » la fonction via java.lang.reflect. Travail fondateur pour leur développement ultérieur dans Integraal.
Utilisation du core chase pour des raisonnements dans la logique de description Horn-ALCH.
Réécriture de requêtes disjonctives. Adaptation du mécanisme de réécriture des règles existentielles qui ne manipule que des disjonctions de conjonctions afin de pouvoir réécrire des formules quelconques.
Réécriture de requêtes disjonctives. Adaptation du mécanisme de réécriture des règles existentielles qui ne manipule que des disjonctions de conjonctions afin de pouvoir réécrire des formules quelconques.
Test de propriétés pour les homomorphismes de graphes.
Interrogation de bases de connaissances avec des règles expressives : décidabilité et dépendances entre règles.
Interrogation de bases de connaissances avec des règles expressives : décidabilité et dépendances entre règles.
Conception, implémentation et test d'un algorithme de projection de graphes conceptuels alliant techniques de bases de données et de satisfaction de contraintes.
Fusion de descriptions hétérogènes en RDF.
Farah Rammal M2
Génération de pages web basée sur des raisonnements logiques
Charly Garcia, Abir Amina Hammoud et Thomas Quemin M1
Utilisation de la dépendance de règles dans la saturation sous Integraal
Raphaël Bouchrani, Victor Chastragnat, Yacer Habab et Ilyess Tahar L3
Implémentation sous Integraal de fonctions externes écrites en Python
Ibrahim Al-Ayoubi et Abir Amina Hammoud L3M1
Graphe de Connaissances pour l'analyse de modèles d'IA dans le cadre de la prédiction d'événements extrêmes
Maksym Lytvynenko M2
Riadh Guemache M2
Maël Abily M1
Sébastien Bonduelle M1
Sébastien Bonduelle L3
Nicolas Dalsass M1
Michaël Thomazo M2
Michaël Thomazo M1
Daniel Luedemann DEA
Antoine Zimmermann DEA
