From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment.
David CarralLarry GonzálezPatrick KoopmannPublished in: AAAI (2019)
Keyphrases
- data sets
- database
- input data
- data collection
- data analysis
- image data
- synthetic data
- data sources
- data processing
- computer systems
- prior knowledge
- data points
- original data
- statistical analysis
- missing data
- experimental data
- data distribution
- deductive databases
- raw data
- integrity constraints
- logic programming
- databases
- clustering algorithm
- special case