Spatial Description Logic and Its Application in Geospatial Semantic Web

Classical description logics deal with the concept and instance reasoning, while qualitative spatial reasoning handles the geospatial relations of objects. In geospatial semantic web, cooperation of these two kinds of reasoning tasks is required. Thatpsilas the motive of our spatial description logic. A general spatial representation and reasoning method with ALC is proposed. The constraints satisfaction problem for spatial relation can be solved within ExpTime-complete time, while the previous spatial description logics are all undecidable. Integrating of multi-aspects spatial relation models is also discussed. Finally, a prototype system is given to show its application in geospatial semantic web.