Soundness Preserving Approximation for TBox Reasoning in R.
Yuan RenJeff Z. PanYuting ZhaoPublished in: Description Logics (2009)
Keyphrases
- knowledge base
- reasoning tasks
- description logics
- reasoning systems
- logic programming
- computational properties
- approximation error
- knowledge representation
- error bounds
- automated reasoning
- machine learning
- closed form
- reasoning process
- deductive reasoning
- dl lite
- relative error
- answer set programming
- artificial intelligence
- spatial reasoning
- probabilistic reasoning
- analogical reasoning
- reasoning mechanisms
- databases