Neuigkeit aus der Forschungsgruppe Computational Logic vom 23. Oktober 2025

Dörthe Arndt gewinnt Rule Challenge Best Paper Award bei RuleML+RR 2025

Dörthe Arndt, Postdoktorandin am ICCL, wurde für ihre Arbeit „FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning” mit dem Rule Challenge Best Paper Award auf der Konferenz RuleML+RR 2025 ausgezeichnet.

Der Artikel stellt fun3 vor, eine Methode, die Notation3 (N3)-Semantic-Web-Regeln in imperative Python-Funktionen vorkompiliert, um Top-Down-Schlussfolgerungen zu ermöglichen. Dies vereinfacht die Entwicklung im Vergleich zu abstrakten Maschinenentwürfen, integriert Logik in imperativen Code und frühe Benchmarks zeigen die Machbarkeit ohne größere Leistungseinbußen.

Die „Rule Challenge” ist ein Wettbewerb, bei dem innovative Regelsysteme und Schlussfolgerungen bewertet werden, wobei Lösungen im Vordergrund stehen, die die Grenzen des deklarativen Schlussfolgerns, der Regelintegration und der logikbasierten Berechnung erweitern.

Herzlichen Glückwunsch Dörthe!