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