Search Results for author: Rafael Penaloza

Found 3 papers, 0 papers with code

Enriching Ontology-based Data Access with Provenance (Extended Version)

no code implementations1 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.

Repairing Ontologies via Axiom Weakening

no code implementations9 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.

Fuzzy Answer Set Computation via Satisfiability Modulo Theories

no code implementations14 Jul 2015 Mario Alviano, Rafael Penaloza

To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of

Cannot find the paper you are looking for? You can Submit a new open access paper.