RuleML+RR 2025

Main track

(L-1) Obligation Taxonomy in the Non-Markovian Situation Calculus. Kalonji Kalala, Iluju Kiringa and Tet Yeap.

(L-2) A Novel Concept Induction Approach for Explainable Quality 4.0. Léa Charbonnier, Franco Giustozzi, Julien Saunier and Cecilia Zanni-Merk.

(L-11) An Optimized Framework for DSPG Synthesis and Trust Network Analysis with Subjective Logic. Koffi Ismael Ouattara, Ana Petrovska, Ioannis Krontiris, Theo Dimitrakos and Frank Kargl.

(L-13) When Does Naïve Evaluation Work for Datalog? Heng Liu and Eugenia Ternovska.

(L-16) Scalable Evaluation of Rule-Based Recommender Systems: Algorithms and Benchmarks. Len Feremans and Bart Goethals. 

(S-18) Rule2Text: Natural Language Explanation of Logical Rules in Knowledge Graphs. Nasim Shirvani Mahdavi, Devin Wingfield, Amin Ghasemi and Chengkai Li.

(L-19) Minimizing Side-effects in Virtual Knowledge Graph Updates. Romuald Esdras Wandji and Diego Calvanese.

(L-21) Rule Extraction and Interaction-Aware Explainability for AI-Driven Malware Detection. Peter Anthony, Rimamnuskeb Galadima Kefas, Zekeri Adams, Monday Onoja, Daniel Arp, Martin Homola and Stefan Balogh.

(L-22) Probabilistic Answer Set Programming Driven Ranking of Dynamic Space-Time Belief Models. Julius Monsen, Jakob Suchan and Mehul Bhatt.

(L-25) Learning Interpretable Probabilistic Models and Schema Axioms for Knowledge Graphs. Ivan Diliso, Nicola Fanizzi and Claudia D'Amato.

(L-36) Integrating Environmental Regulations Into Autonomous Agricultural Robotics: A Case for Waterbody-Aware Fertilization. Guillaume Perution-Khili, Ahmad Kadi, Nikolas Mueller, David Carral, Pierre Bisquert, Akira Charoensit, Federico Ulliana, Ansgar Bernardi and Marie-Laure Mugnier.

(L-40) SPARQL in N3: SPARQL construct as a rule language for the Semantic Web. Doerthe Arndt, William Van Woensel and Dominik Tomaszuk.

(S-41) Positioning LLM-enabled Agents as Legal Compliance Aides for Data Pipelines. Adela Nedisan Videsjorden, Nikolay Nikolov, Carl-Henrik Lien, Arda Goknil, Sagar Sen, Hui Song, Ahmet Soylu and Dumitru Roman.

(L-42) Learning to Contest Argumentative Claims. Emanuele De Angelis, Maurizio Proietti and Francesca Toni.

Rule Challenge

(S-56) Wikidata as a Challenge for Rule Systems. Peter Patel-Schneider and Ege Atacan Doğan.

(S-58) Synthesising Bayesian Network Models for Clinical Decision Support from Rule-Based Logic. Georgia Sowerby, Ol'Tunde Ashaolu, Radu Calinescu and Stephen Connor.

(L-61) Computing Compact Answers to Temporal Path Queries Using SQL. Muhammad Adnan, Diego Calvanese, Julien Corman, Anton Dignös, Werner Nutt and Ognjen Savkovic.

(L-62) How Rules Represent Causal Knowledge: Causal Modeling with Abductive Logic Programs. Kilian Rückschloß and Felix Weitkämper.

(L-63) A Declarative Formalization of R2RML using Datalog and its Efficient Execution. Ali Elhalawati, Anastasia Dimou and Jan Van den Bussche.

(L-64) Scalable, Context-Aware NLP Moderation for Child Safety: A Multi-Agent Ethical and Legal Compliance Framework. Jan Fillies, Theodoros Mitsikas, Ralph Schäfermeier and Adrian Paschke.

(L-65) An experimental analysis of the legal coding process. Matteo Cristani, Guido Governatori, Francesco Olivieri, Monica Palmirani and Gabriele Buriola.

(L-66) When Data Stands Before the Law: an Experience Report on Representing Financial Rules in SPARQL. Marcello Ceci, Nicolas Sannier, Sallam Abualhaija, Domenico Bianculli and Michael Halling.

(L-67) FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning. William Van Woensel, Doerthe Arndt and Jos De Roo.

Industry Track

(L-46) Rule and Blockchain-based Data Management Framework to Facilitate Ship Efficiency Assessment. Shuai Wang, Bingjie Guo, Nikita Karandikar.

(S-48) Datalog-based Reasoning for Banking Supervision: Is This All a Fantasy? Luigi Bellomarini, Marta Bernardini, Livia Blasi, Costanza Catalano, Andrea Gentili, Rosario Laurendi, Davide Magnanimi, Marco Mastrogirolamo and Emanuel Sallinger.

(L-53) Thermal Calibration of Electronic Components using Artificial Intelligence predictions. Teodor-Gabriel Dinu, Ioana-Georgiana Ciuciu, Ioan Cosmin Leordean and Diana Zaharie-Butucel.

(S-55) Dental Anomaly Recognition on Radiographs using LLMs. Dragos-Andrei Gavrus and Ioana-Georgiana Ciuciu.

Networking Session

(N-30) An open-source platform for Resilient Secure Digital Identities: The RECITALS Project. George Stamoulis, Manolis Koubarakis, Dimitris Pavlou, Konstantinos Chousos, 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 and Kyriakos Dimitriou.

(N-69) Automated Compliance for Data and AI Pipelines: The DataPACT Project. Christopher Maidens, Paolo Pareti, Dumitru Roman and George Konstantinidis.

(N-70) 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 and Dumitru Roman.

(N-71) The Joint Knowledge Graph Labs: Neuro-symbolic Reasoning in Action. Luigi Bellomarini, Livia Blasi, Andrea Gentili, Rosario Laurendi, Eleonora Laurenza and Emanuel Sallinger.

Doctoral Consortium

(D-45) Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering. Hanna Abi Akl. 

(D-47) Towards Semantically Enriched Knowledge Graph Embedding through Ontology Axiom Integration. Ivan Diliso. 

(D-49) Hybridization of Description Logics and Logic Programming for Aeronautics Applications. Arun Raveendran Nair Sheela.

(D-51)Towards a Hybrid AI Solution for Emergency Department Patient Triage. Georgia Sowerby, Ol'Tunde Ashaolu, Radu Calinescu and Stephen Connor.

(D-57) Uncertainty Representation and Reasoning Within the Threat Intelligence Domain. Ritten Roothaert.