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

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