research
∙
12/16/2022
Rewriting the Infinite Chase
Guarded tuple-generating dependencies (GTGDs) are a natural extension of...
share
research
∙
07/01/2021
Computing CQ lower-bounds over OWL 2 through approximation to RSA
Conjunctive query (CQ) answering over knowledge bases is an important re...
research
∙
09/15/2017
LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
Logic-based paradigms are nowadays widely used in many different fields,...
research
∙
07/21/2017