SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs

Alex IvlievAlex Ivliev, Markus KrötzschMarkus Krötzsch, Maximilian MarxMaximilian Marx

Download

Alex Ivliev, Markus Krötzsch, Maximilian Marx
SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs
In Maribel Acosta, Marieke van Erp, Sebastian Rudolph, Olaf Hartig, Blerina Spahiu, Anisa Rula, Daniel Garijo, Francesco Osborne, eds., Proceedings of the 23rd European Semantic Web Conference (ESWC 2026), LNCS, to appear. Springer

Details
Bibtex

KurzfassungAbstract
We propose a new integration of rule reasoners with one or more RDF stores, using selective SPARQL queries to fetch relevant data. In contrast to previous implementations that merely import results of fixed SPARQL queries, our approach relies on pure logic programs over RDF triple data. Transparent to the user, optimised SPARQL queries then are constructed and evaluated during reasoning. To ensure good performance, we develop optimisation methods that adopt ideas from logic program optimisation, including semi-naive evaluation, magic sets, and static filtering. Based on the integration of our methods into the open source rule engine Nemo, we empirically evaluate our approach with complex rule sets over large knowledge graphs.
Bemerkung: Note: To appear
Projekt:Project: CPEC, SECAI, ScaDS.AI
Verknüpfte Tools:Related Tools: Nemo
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

The final publication is available at Springer.

@inproceedings{IKM2026,
  author    = {Alex Ivliev and Markus Kr{\"{o}}tzsch and Maximilian Marx},
  title     = {SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge
               Graphs},
  editor    = {Maribel Acosta and Marieke van Erp and Sebastian Rudolph and Olaf
               Hartig and Blerina Spahiu and Anisa Rula and Daniel Garijo and
               Francesco Osborne},
  booktitle = {Proceedings of the 23rd European Semantic Web Conference (ESWC
               2026)},
  series    = {LNCS},
  publisher = {Springer},
  year      = {2026}
}