Media type: E-Article Title: SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results) Contributor: Calvanese, Diego [VerfasserIn]; Gianola, Alessandro [VerfasserIn]; Mazzullo, Andrea [VerfasserIn]; Montali, Marco [VerfasserIn] imprint: 2021 Published in: International Workshop on Description Logics (34. : 2021 : Bratislava; Online): DL 2021: Description Logics 2021 ; 2021 Language: English Origination: Footnote: Access State: Open Access