Représentation des connaissances : Introduction de deux nouveaux formalismes
∃-ASP, langage qui généralise à la fois ASP par l’ajout et le traitement de variables existentielles, et les règles existentielles par l’ajout et le traitement de règles non-monotones
pi-DL-Lite, l’extension possibiliste de la logique de description légère DL-Lite qui permet la représentation de l’incertain dans la logique DL-Lite
Raisonnement :
Révision et fusion de programmes logiques ASP
Révision et fusion de bases de connaissances exprimées en DL-Lite et en pi-DL-Lite
Définition d'un cadre unifié pour les relations d’inférences tolérant l’incohérence
pour des bases de connaissances représentées dans le formalisme des règles existentielles
Interrogation de programmes logiques ASP
Prototype implanté qui à partir d’une base de connaissances exprimée dans un fragment d’OWL2 produit un programme logique ASP. Le prototype a été expérimenté sur l’application portant sur l’interrogation d’informations à partir de relevés 3D de sites archéologiques sous-marins et fournit un outil d’aide utile aux archéologues sous-marins pour l’étude des épaves.
Liste des outils
plrsf (LSIS) : logiciel mettant en œuvre la fusion de programmes logiques ASP
fiche-PLRSF
dlgp2easp (LERIA) : traducteur d’un fichier .dlgp en un fichier .easp
fiche-DLGP2EASP
eASPeRiX (LERIA) : extension du solveur ASPeRiX avec règles existentielles en tête de règles
fiche-EASPERIX
easp2asp (LERIA) : traducteur d’un fichier .easp en un fichier .asp
fiche-EASP2ASP
module d’interrogation intégré dans eASPeRiX (LERIA) : interrogation de programmes ASP
module de visualisation des résultats des requêtes intégré dans l’outil Arpenteur (LSIS)
Prototype (LERIA-LIRMM-LSIS-CRIL) : intégration des outils précédents afin de mettre en œuvre l’interrogation de bases de connaissances
pi-DL-Lite (CRIL) : un outil pour représenter et raisonner avec des ontologies DL-Lite possibiliste. Il implémente, en particulier, un nouvel algorithme de calcul de degré d’incohérence
fiche .
no-inference (CRIL) : outil développé en Java pour l’inférence tolérant l’incohérence par non-objection dans le cadre d’OBDA.
fiche
GoDL (CRIL) : outil de gestion de bases de connaissances DL-Lite possibilistes ordonnées potentiellement incohérentes.
fiche-GODL
Outils liés au projet :
OWL2dlgp (LIRMM) : traducteur d’un fichier .owl en un fichier .dlgp (transformation en règles existentielles). Graal