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