Keyphrases
- description logics
- expressive power
- linear interpolation
- image interpolation
- inference rules
- modal logic
- interpolation methods
- number restrictions
- computational properties
- machine learning
- interpolation algorithm
- databases
- decision procedures
- nonmonotonic logics
- edge direction
- cubic spline
- edge directed
- interpolation method
- classical logic
- knowledge representation
- artificial intelligence
- learning algorithm