135 citations · 302 across the 18 of their papers we have counts for
4 papers · 1 filter
Chase Termination Beyond Polynomial Time
Philipp Hanisch, Markus Krötzsch
The chase is a widely implemented approach to reason with tuple-generating dependencies (tgds), used in data exchange, data integration, and ontology-based query answering. However…
Column-Oriented Datalog Materialization for Large Knowledge Graphs (Extended Technical Report)
Jacopo Urbani, Ceriel Jacobs, Markus Krötzsch
The evaluation of Datalog rules over large Knowledge Graphs (KGs) is essential for many applications. In this paper, we present a new method of materializing Datalog inferences, wh…
Query Containment for Highly Expressive Datalog Fragments
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
The containment problem of Datalog queries is well known to be undecidable. There are, however, several Datalog fragments for which containment is known to be decidable, most notab…
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch +4
Answering conjunctive queries (CQs) over a set of facts extended with existential rules is a prominent problem in knowledge representation and databases. This problem can be solved…