SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results).
Diego CalvaneseAlessandro GianolaAndrea MazzulloMarco MontaliPublished in: Description Logics (2021)
Keyphrases
- data sets
- database
- data collection
- high quality
- experimental data
- data sources
- data distribution
- knowledge discovery
- data quality
- original data
- raw data
- domain experts
- synthetic data
- computer systems
- data processing
- input data
- data points
- domain specific
- image data
- high dimensional data
- probability distribution
- missing data
- domain knowledge
- prior knowledge
- data analysis
- data structure
- data mining
- databases