18 citations · 19 across the 5 of their papers we have counts for
4 papers · 1 filter
Revisiting Inferential Benchmarks for Knowledge Graph Completion
Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks +1
Knowledge Graph (KG) completion is the problem of extending an incomplete KG with missing facts. A key feature of Machine Learning approaches for KG completion is their ability to…
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…
Computing Datalog Rewritings beyond Horn Ontologies
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos +1
Rewriting-based approaches for answering queries over an OWL 2 DL ontology have so far been developed mainly for Horn fragments of OWL 2 DL. In this paper, we study the possibiliti…