A Finite Basis for the Set of EL-Implications Holding in a Finite Model.
Franz BaaderFelix DistelPublished in: ICFCA (2008)
Keyphrases
- finite number
- computational model
- mathematical model
- statistical model
- neural network
- probabilistic model
- probability distribution
- data sets
- prior knowledge
- input data
- hierarchical structure
- experimental data
- dependency graph
- database
- formal model
- sensitivity analysis
- theoretical framework
- theoretical analysis
- small number
- high level
- search engine
- genetic algorithm