10 citations · 16 across the 4 of their papers we have counts for
4 papers
Recovering Explanations from Transformed Rule-Based Ontologies
Alex Ivliev, Markus Krötzsch, Maximilian Marx
Datalog rules are often used to define ontologies over Knowledge Graphs. Rule reasoners routinely optimise such ontologies by rewriting their rules into a form that can be evaluate…
Nemo: First Glimpse of a New Rule Engine
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach +4
This system demonstration presents Nemo, a new logic programming engine with a focus on reliability and performance. Nemo is built for data-centric analytic computations, modelled…
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
Martin Bromberger, Irina Dragoste, Rasha Faqeh +6
In a previous paper, we have shown that clause sets belonging to the Horn Bernays-Schönfinkel fragment over simple linear real arithmetic (HBS(SLR)) can be translated into HBS clau…
Discovering Implicational Knowledge in Wikidata
Tom Hanika, Maximilian Marx, Gerd Stumme
Knowledge graphs have recently become the state-of-the-art tool for representing the diverse and complex knowledge of the world. Examples include the proprietary knowledge graphs o…