Time for Fun3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
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
| Original language | English |
|---|---|
| Title of host publication | CEUR Workshop Proceedings |
| Volume | 4083 |
| Publication status | Published - 2025 |
| Peer-reviewed | Yes |
Publication series
| Series | CEUR Workshop Proceedings |
|---|---|
| ISSN | 1613-0073 |
Conference
| Title | 9th International Joint Conference on Rules and Reasoning |
|---|---|
| Abbreviated title | RuleML+RR 2025 |
| Conference number | 9 |
| Description | part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2025 and the Reasoning Web Summer School 2025 |
| Duration | 22 - 24 September 2025 |
| Website | |
| Location | Kadir Has University |
| City | Istanbul |
| Country | Turkey |
Keywords
ASJC Scopus subject areas
Keywords
- Code translation, Notation3, Rules, Semantic Web, Top-down reasoning