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