57 citations · 166 across the 21 of their papers we have counts for
4 papers · 2 filters
Ontology Module Extraction via Datalog Reasoning
Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau +1
Module extraction - the task of computing a (preferably small) fragment M of an ontology T that preserves entailments over a signature S - has found many applications in recent yea…
Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
We study the problem of rewriting a disjunctive datalog program into plain datalog. We show that a disjunctive program is rewritable if and only if it is equivalent to a linear dis…
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach
Bernardo Cuenca Grau, Boris Motik
There is currently a growing interest in techniques for hiding parts of the signature of an ontology Kh that is being reused by another ontology Kv. Towards this goal, in this pape…
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos +1
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at l…