From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment.
David CarralLarry GonzálezPatrick KoopmannPublished in: Description Logics (2019)
Keyphrases
- raw data
- database
- data sources
- data sets
- image data
- end users
- training data
- computer systems
- data collection
- data mining techniques
- deductive databases
- experimental data
- data processing
- np hard
- high dimensional data
- data transformation
- databases
- machine learning
- integrity constraints
- high quality
- spatial data
- missing data
- data integration
- knowledge discovery
- statistical analysis
- logic programming
- data structure
- data analysis
- xml documents
- data points