Soundness Preserving Approximation for TBox Reasoning.
Yuan RenJeff Z. PanYuting ZhaoPublished in: AAAI (2010)
Keyphrases
- reasoning tasks
- knowledge base
- description logics
- automated reasoning
- knowledge representation
- model based reasoning
- reasoning systems
- computational properties
- approximation error
- temporal reasoning
- image details
- neural network
- polygonal approximation
- closed form
- logic programming
- answer set programming
- approximation algorithms
- expressive power
- bayesian networks
- machine learning