News from the research group Computational Logic of October 23, 2025

Dörthe Arndt wins Rule Challenge Best Paper Award at RuleML+RR 2025

Dörthe Arndt, who is a postdoctoral researcher at the ICCL, has received the Rule Challenge Best Paper Award at the RuleML+RR 2025 conference for her paper "FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning".

The paper introduces fun3, a method that pre-compiles Notation3 (N3) Semantic Web rules into imperative Python functions to enable top-down reasoning. This simplifies development versus abstract-machine designs, integrates logic with imperative code, and early benchmarks show feasibility without major performance penalties.

The "Rule Challenge" is a competitive track that evaluates innovative rule systems and reasoning submissions, highlighting solutions that push the boundaries of declarative reasoning, rule integration, and logic-based computation.

Congratulations Dörthe!