Obstacles on the Way to Qualitative Spatial Reasoning with Description Logics: Some Undecidability Results.
Michael WesselPublished in: Description Logics (2001)
Keyphrases
- description logics
- qualitative spatial reasoning
- spatial reasoning
- knowledge base
- formal theory
- spatial relations
- knowledge representation
- cardinal directions
- number restrictions
- reasoning tasks
- semantic web
- exptime complete
- ontology languages
- dl lite
- computational properties
- path consistency
- reasoning problems
- temporal reasoning
- machine learning
- databases
- spatial information
- multi dimensional