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…
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…
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…