Résultats et Outils

Principaux résultats

    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
  • video

  • 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
  • Arpenteur (LSIS) : relevé photogrammétrique. Arpenteur
Français