Sign in
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version).
Diego Calvanese
Alessandro Gianola
Andrea Mazzullo
Marco Montali
Published in:
CoRR (2021)
Keyphrases
</>
data sets
data collection
database
raw data
high quality
data structure
data analysis
data processing
data points
image data
statistical analysis
semantically rich
spatial data
domain experts
synthetic data
input data
data mining techniques
knowledge discovery
domain knowledge
databases