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
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.
Ibrahim Al-Ayoubi et Abir Amina Hammoud
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
Riadh Guemache
Maël Abily
Sébastien Bonduelle
Sébastien Bonduelle
Nicolas Dalsass
Michaël Thomazo
Michaël Thomazo
Daniel Luedemann
Antoine Zimmermann
