Short Bio

Livia holds a Master’s degree in Computer Engineering from Sapienza University of Rome. Since 2020, she has worked at the Bank of Italy as part of the Applied Research Team (ART). She is currently pursuing a PhD in Knowledge Representation and Reasoning in Financial Graphs at TU Wien under the supervision of Emanuel Sallinger. She is based in Rome.

PhD Project – Reasoning on Financial Knowledge Graphs

Supervised by Emanuel Sallinger

Knowledge Graphs (KGs) are a data model for representing domains characterized by complex entities and rich interrelations. From a computer science perspective, they provide a foundation for automated reasoning and deductive AI, enabling logical inference, query answering, and the discovery of implicit knowledge.

This PhD project focuses on financial knowledge graphs, addressing the challenges of dynamic, time-evolving data. It explores the integration of temporal reasoning and temporal logic within reasoning frameworks, aiming to support sound and efficient inference over temporal data, enhance expressiveness, and improve tasks such as anomaly detection, pattern discovery, and decision support in financial systems.

Publications and Conferences

• Luigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger: The Temporal Vadalog System: Temporal Datalog-Based Reasoning. Theory Pract. Log. Program. 25(2): 168-196 (2025)

• Livia Blasi, Matteo Brandetti, Costanza Catalano, Andrea Gentili, Davide Magnanimi: Uncovering Corporate Influence: A First Scalable Method for Qualifying Holdings Computation. CIKM 2025: 5567-5574

• Luigi Bellomarini, Livia Blasi, Andrea Gentili, Rosario Laurendi, Eleonora Laurenza, Emanuel Sallinger: The Joint Knowledge Graph Labs: Neuro-Symbolic Reasoning in Action. RuleML+RR (Companion) 2025

• Luigi Bellomarini, Marta Bernardini, Livia Blasi, Costanza Catalano, Rosario Laurendi, Andrea Gentili, Davide Magnanimi, Marco Mastrogirolamo, Emanuel Sallinger: Datalog-based Reasoning for Banking Supervision: Is This All a Fantasy? RuleML+RR (Companion) 2025

• Luigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger: The Temporal Vadalog System (Short Paper). TIME 2025: 15:1-15:8 2024

• Luigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger: The Temporal Vadalog System: Temporal Datalog-based Reasoning. CoRR abs/2412.13019 (2024) 2022

• Luigi Bellomarini, Lorenzo Bencivelli, Claudia Biancotti, Livia Blasi, Francesco Paolo Conteduca, Andrea Gentili, Rosario Laurendi, Davide Magnanimi, Michele Savini Zangrandi, Flavia Tonelli, Stefano Ceri, Davide Benedetto, Markus Nissl, Emanuel Sallinger: Reasoning on company takeovers: From tactic to strategy. Data Knowl. Eng. 141: 102073 (2022)

• Livia Blasi: A Temporal Datalog Primer. EDBT/ICDT Workshops 2022

• Luigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger: The Temporal Vadalog System. RuleML+RR 2022: 130-145 2021

• Luigi Bellomarini, Livia Blasi, Rosario Laurendi, Emanuel Sallinger: Financial Data Exchange with Statistical Confidentiality: A Reasoning-based Approach. EDBT 2021: 558-569

• Luigi Bellomarini, Livia Blasi, Rosario Laurendi, Emanuel Sallinger: A Reasoning Approach to Financial Data Exchange with Statistical Confidentiality. PKDD/ECML Workshops (2) 2021: 226-231