Search Results for author:
Found 3 papers, 0 papers with code
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries
In both approaches, we provide semantic characterizations of FO-rewritability that are of independent interest.
The Space-Efficient Core of Vadalog
Vadalog is a system for performing complex reasoning tasks such as those required in advanced knowledge graphs.
Containment for Rule-Based Ontology-Mediated Queries
We also apply our techniques to pinpoint the complexity of problems associated with two emerging applications of OMQ containment: distribution over components and UCQ rewritability of OMQs.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
