| Vol-4083 urn:nbn:de:0074-4083-x Copyright © 2025 for the individual papers by the papers' authors. Copyright © 2025 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# RuleML+RR-Companion 2025
Rule Challenge, Doctoral Consortium, Industry Track, and Networking Session 2025

### Companion Proceedings of the 9th International Joint Conference on Rules and Reasoning (RuleML+RR 2025)
also co-located with 21th Reasoning Web Summer School (RW 2025) and 17th DecisionCAMP 2025 as part of Declarative AI 2025

### Istanbul, Türkiye, September 22-24, 2025.

Edited by

### Alessandro Margara 1
Tomáš Kliegr 2
Ognjen Savkovic 3
Shqiponja Ahmetaj 4
Riccardo Tommasini 5
Luigi Bellomarini 6
Evgeny Kharlamov 7
Ioana Georgiana Ciuciu 8
Dumitru Roman 9
George Konstantinidis 10
Emanuel Sallinger 11
Ahmet Soylu 12

1 Politecnico di Milano, Milan, Italy
2 Prague University of Economics and Business, Prague, Czechia
3 Free University of Bozen-Bolzano, Bolzano, Italy
4 TU Wien, Vienna, Austria
5 INSA Lyon, Lyon, France
6 Banca d’Italia, Rome, Italy
7 Bosch Center for Artificial Intelligence, Renningen, Germany
8 Babeș-Bolyai University, Cluj-Napoca, Romania
9 SINTEF AS, Oslo, Norway
10 University of Southampton, Southampton, UK
11 Vienna University of Technology, Vienna, Austria
12 Kristiania University of Applied Sciences, Oslo, Norway

## Table of Contents

- Preface

### Rule Challenge

- Wikidata as a Challenge for Rule Systems
  Peter Patel-Schneider, Ege Atacan Doğan
- Synthesising Bayesian Network Models for Clinical Decision Support from Rule-Based Logic
  Georgia Sowerby, Ol'Tunde Ashaolu, Radu Calinescu, Stephen Connor
- Computing Compact Answers to Temporal Path Queries Using SQL
  Muhammad Adnan, Diego Calvanese, Julien Corman, Anton Dignös, Werner Nutt, Ognjen Savkovic
- How Rules Represent Causal Knowledge: Causal Modeling with Abductive Logic Programs
  Kilian Rückschloß, Felix Weitkämper
- A Declarative Formalization of R2RML Using Datalog and Its Efficient Execution
  Ali Elhalawati, Jan Van den Bussche, Anastasia Dimou
- Scalable, Context-Aware NLP Moderation for Child Safety: A Multi-Agent Ethical and Legal Compliance Framework
  Jan Fillies, Theodoros Mitsikas, Ralph Schäfermeier, Adrian Paschke
- An Experimental Analysis of the Legal Coding Process
  Matteo Cristani, Guido Governatori, Francesco Olivieri, Monica Palmirani, Gabriele Buriola
- When Data Stands Before the Law: An Experience Report on Representing Financial Rules in SPARQL
  Marcello Ceci, Nicolas Sannier, Sallam Abualhaija, Domenico Bianculli, Michael Halling
- Time for FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning
  William Van Woensel, Doerthe Arndt, Jos De Roo

### Doctoral Consortium

- Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering
  Hanna Abi Akl
- Towards Semantically Enriched Knowledge Graph Embedding through Ontology Axiom Integration
  Ivan Diliso
- Hybridization of Description Logics and Logic Programming for Aeronautics Applications
  Arun Raveendran Nair Sheela
- Towards a Hybrid AI Solution for Emergency Department Patient Triage
  Georgia Sowerby, Ol'Tunde Ashaolu, Radu Calinescu, Stephen Connor
- Uncertainty Representation and Reasoning Within the Threat Intelligence Domain
  Ritten Roothaert

### Industry Track

- Rule and Blockchain-based Data Management Framework to Facilitate Ship Efficiency Assessment
  Shuai Wang, Bingjie Guo, Nikita Karandikar
- Datalog-based Reasoning for Banking Supervision: Is This All a Fantasy?
  Luigi Bellomarini, Marta Bernardini, Livia Blasi, Costanza Catalano, Rosario Laurendi, Andrea Gentili, Davide Magnanimi, Marco Mastrogirolamo, Emanuel Sallinger
- Thermal Calibration of Electronic Components Using Artificial Intelligence Predictions
  Teodor-Gabriel Dinu, Ioana-Georgiana Ciuciu, Ioan Cosmin Leordean, Diana Zaharie-Butucel
- Dental Anomaly Recognition on Radiographs Using LLMs
  Dragos-Andrei Gavrus, Ioana-Georgiana Ciuciu

### Networking Session

- An Open-Source Platform for Resilient Secure Digital Identities: The RECITALS Project
  George Stamoulis, Dimitris Pavlou, Konstantinos Chousos, Manolis Koubarakis, George Papadakis, Christina Papapostolou, Georgios Smaragdakis, Zekeriya Erkin, Roland Kromes, Themis Palpanas, Salima Benbernou, Mourad Ouziri, Adel Boubetra, Paulo Correia, João Pedro, Ioan Constantin, Laurentiu Coica, Marco Fisichella, Apoorva Upadhyaya, Harshvardhan Pandit, Kyriakos Dimitriou
- Automated Compliance for Data and AI Pipelines: The DataPACT Project
  Christopher Maidens, Paolo Pareti, Dumitru Roman, George Konstantinidis
- Core Services for Compliant and Trustworthy Data Marketplaces: The EU UPCAST Project
  Soulmaz Gheisari, Christopher Maidens, Semih Yumusak, Jaime Osvaldo Salas, Paolo Pareti, George Giamouridis, Miao Hu, Adeel Aslam, Bijay Prasad Jaysawal, Luis-Daniel Ibáñez, George Konstantinidis, Dumitru Roman
- The Joint Knowledge Graph Labs: Neuro-Symbolic Reasoning in Action
  Luigi Bellomarini, Livia Blasi, Andrea Gentili, Rosario Laurendi, Eleonora Laurenza, Emanuel Sallinger

2025-10-27: submitted by Ahmet Soylu, metadata incl. bibliographic data published under Creative Commons CC0
2025-10-30: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|