Topological Reasoning in Basic Description.
Matteo CristaniNicoletta GabrielliPaolo TorelliPublished in: Description Logics (2006)
Keyphrases
- topological and directional
- directional relations
- knowledge representation
- high level
- spatial reasoning
- topological properties
- reasoning systems
- model based reasoning
- automated reasoning
- formal models
- resource bounded
- knowledge base
- qualitative reasoning
- legal reasoning
- social networks
- knowledge representation and reasoning
- analogical reasoning
- graphical representation
- qualitative spatial reasoning
- topological relations
- reasoning mechanisms
- metadata