Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
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…
cs.LO2026
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…
cs.LO2025
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…