Algebraic Reasoning for SHIQ.
Laleh Roosta PourVolker HaarslevPublished in: Description Logics (2012)
Keyphrases
- description logics
- reasoning tasks
- reasoning systems
- knowledge base
- databases
- probabilistic reasoning
- computational properties
- reasoning process
- neural network
- qualitative spatial
- model based reasoning
- consistency checking
- first order logic
- artificial intelligence
- qualitative reasoning
- spatial reasoning
- query language
- machine learning