5 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…
Stratified Negation in RDF Rules: A Correct Approach (Extended Version)
Nils Küchenmeister, Alex Ivliev, Dörthe Arndt +1
Combining RDF rule languages, such as N3 or SHACL Rules, with default negation is challenging. Existing methods to stratify negation often fail for RDF rules, since individual trip…
Evaluating a Visual Query Tracer and Builder for Learning Declarative Logic Programming
Julián Méndez, Lukas Gerlach, Tobias Wieland +3
Nemo Explain Visualizer (nev) is an interactive visual query tracer and builder for Nemo, a powerful Datalog reasoner with extended features. Our tools were developed with and for…
Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
Philipp Hanisch, Markus Krötzsch
Static filtering is a data-independent optimisation method for Datalog, which generalises algebraic query rewriting techniques from relational databases. In spite of its early disc…
Towards Mass Spectrum Analysis with ASP
Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
We present a new use of Answer Set Programming (ASP) to discover the molecular structure of chemical samples based on the relative abundance of elements and structural fragments, a…