Time for Fun3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

Abstract

Semantic Web (SW) rule languages, such as Notation3 (N3), add declarative programming abilities to the SW platform. To execute rule-based programs, instead of building complex abstract machines, an option is to translate the program into an imperative language; in that case, the latter’s compiler or interpreter can simply be used to execute the program. We propose a challenge to implement top-down reasoners by pre-compiling rules into a modern imperative language. The features of these languages, e.g., functions as first-class citizens and co-routining, and their extensive libraries, can simplify such a translation. Tackling this challenge can yield development simplicity, compared to typical abstract machine implementations; and integrated logic and imperative environments, as translated code can be directly called from other imperative code. We propose one solution to this challenge, called fun3, which pre-compiles N3 rules into Python functions. We provide initial performance results that show the feasibility of solving this challenge while not overly sacrificing performance.

Details

OriginalspracheEnglisch
TitelCEUR Workshop Proceedings
Band4083
PublikationsstatusVeröffentlicht - 2025
Peer-Review-StatusJa

Publikationsreihe

ReiheCEUR Workshop Proceedings
ISSN1613-0073

Konferenz

Titel9th International Joint Conference on Rules and Reasoning
KurztitelRuleML+RR 2025
Veranstaltungsnummer9
Beschreibungpart of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2025 and the Reasoning Web Summer School 2025
Dauer22 - 24 September 2025
Webseite
OrtKadir Has University
StadtIstanbul
LandTürkei

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

  • Code translation, Notation3, Rules, Semantic Web, Top-down reasoning