Practical Issues of Description Logics for Spatial Reasoning.
Matteo CristaniNicoletta GabrielliPublished in: AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems (2009)
Keyphrases
- spatial reasoning
- practical issues
- description logics
- temporal reasoning
- spatial relations
- knowledge base
- knowledge representation
- reasoning tasks
- dl lite
- formal theory
- computing least common subsumers
- reasoning problems
- semantic web
- concept descriptions
- fuzzy description logics
- number restrictions
- np complete
- knowledge representation languages
- query processing