Spatial data reasoning

Description Logic (DL) is an excellent tool to support ontology reasoning and knowledge obtaining for attribute data, but need to be extended for spatial reasoning. While DL is well suitable for the representation of structure or semi-structured attribute information, things become complicated if "non-abstract" space is considered. For example, for knowledge bases it would be necessary to be able to compute spatial relationships from the geometry of objects. However, the DL-based system is unlikely to efficiently handle large geographical knowledge bases. A huge ABox containing all the topological relationships of the spatial data will be quite prohibitive to query without the help of appropriate index structures or optimization techniques. In this project, we explore the methods and techniques for efficient handling spatial data reasoning.