no code implementations • 1 Jun 2019 • Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Penaloza, Guohui Xiao
In particular, we investigate the problems of (i) deciding whether a provenance annotated OBDA instance entails a provenance annotated conjunctive query, and (ii) computing a polynomial representing the provenance of a query entailed by a provenance annotated OBDA instance.
no code implementations • 9 Nov 2017 • Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Penaloza, Daniele Porello, Oliver Kutz
Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology.
no code implementations • 14 Jul 2015 • Mario Alviano, Rafael Penaloza
To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of