Search Results for author: Andrea Mazzullo

Found 2 papers, 0 papers with code

SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)

no code implementations27 Aug 2021 Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali

In the context of verification of data-aware processes (DAPs), a formal approach based on satisfiability modulo theories (SMT) has been considered to verify parameterised safety properties of so-called artifact-centric systems.

Learning Query Inseparable ELH Ontologies

no code implementations17 Nov 2019 Ana Ozaki, Cosimo Persia, Andrea Mazzullo

', with A an arbitrary data instance and q and query in Q.

Cannot find the paper you are looking for? You can Submit a new open access paper.