Results et Tools

Submitted by dominguesw on Thu, 09/21/2017 - 16:28

Main results

    Knowledge representation : Introduction of two new formalisms
  • ∃-ASP, a language that generalizes ASP with the introduction and the processing of existential variables and existential rules with the introduction and the processing of non-monotonic rules
  • pi-DL-Lite, the possibilistic extension of the lightweight description logic DL-Lite for representing uncertain Aboxes/Tboxes
    Reasoning :
  • revision and merging of ASP logic programs
  • revision and merging of knowledge bases expressed in DL-Lite and in pi-DL-Lite
  • inconsistency handling of knowledge bases expressed in existential rules with the definition of a unified framework for inference relations
  • query answering of ASP logic programs
  • a prototype that from a knowledge base expressed within a OWL2 fragment produces an ASP which can be queried. The prototype has been experimented on query answering information stemming from 3D surveys of underwater archaeologist sites and provides an helpful tool to underwater archaeologists for the wrecks study.

List of tools

  • plrsf (LSIS) : software implementing the merging of ASP logic programs
    fiche-PLRSF
  • dlgp2easp (LERIA) : translator of a .dlgp file into a .easp file
    fiche-DLGP2EASP
  • eASPeRiX (LERIA) : extension of the ASPeRiX solver with existential variables in the head of the rules
    fiche-EASPERIX
  • easp2asp (LERIA) : translator of a .easp into a .asp file
    fiche-EASP2ASP
  • query answering integrated within the eASPeRiX solver (LERIA) : query answering of ASP logic programs
  • vizualisation of the results of the queries integrated within the Arpenteur tool (LSIS)
  • Prototype (LERIA-LIRMM-LSIS-CRIL) : integration of the previous tools in order knowledge bases query answering

    • video

  • pi-DL-Lite (CRIL) : a tool for representing and reasoning with possibilistic DL-Lite ontologies. It implements in particular, of a new algorithm for computing the inconsistency degree
    fiche     .
  • no-inference (CRIL) : a tool developed in java for the inconsistency tolerant inference by non-objection within the framework of OBDA.
    fiche
  • GoDL (CRIL) : tool for handling ordered possibilistic knowledge bases potentially inconsistent
    fiche-GODL

Tools linked to the project :

  • OWL2dlgp (LIRMM) : translator of a .owl into a .dlgp file (transformation in existential rules). Graal
  • Arpenteur (LSIS) : photogrammetric survey Arpenteur
English