Spatial Reasoning with Place Information on the Semantic Web

Geographical referencing of data and resources on the Web has become prevalent. Discovering and linking this information poses eminent research challenges to the geospatial semantic web, with regards to the representation and manipulation of information on geographic places. Towards addressing these challenges, this work explores the potential of the current semantic web languages and tools. In particular, an integrated logical framework of rules and ontologies, using current W3C standards, is assessed for modeling geospatial ontologies of place and for encoding both symbolic and geometric references to place locations. Spatial reasoning is incorporated in the framework to facilitate the deduction of implicit spatial relations and for expressing spatial integrity constraints. The logical framework is extended with geo-computation engines that offer more effective manipulation of geometric information. Example data sets mined from web resources are used to demonstrate and evaluate the framework, offering insights to its potentials and limitations.

[1]  Raphael Volz,et al.  Web ontology reasoning with logic databases , 2004 .

[2]  Michael Wessel,et al.  Flexible software architectures for ontology-based information systems , 2009, J. Appl. Log..

[3]  Michael Wessel,et al.  Obstacles on the Way to Spatial Reasoning with Description Logics: Undecidability of. . , 2000 .

[4]  Michael Wessel,et al.  Some Practical Issues in Building a Hybrid Deductive Geographic Information System with a DL Component , 2003, KRDB.

[5]  Carsten Lutz,et al.  Modal Logics of Topological Relations , 2006, Log. Methods Comput. Sci..

[6]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[7]  Michael Wessel,et al.  On Spatial Reasoning with Description Logics - Position Paper , 2002, Description Logics.

[8]  Sebastian Rudolph,et al.  Description Logic Rules , 2010, ECAI.

[9]  Bernhard Nebel,et al.  On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus , 1999, Artif. Intell..

[10]  Martine De Cock,et al.  Reasoning About Fuzzy Temporal and Spatial Information from the Web , 2010, Intelligent Information Systems.

[11]  Rolf Grütter,et al.  Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture , 2007, AGILE Conf..

[12]  Rolf Grütter,et al.  Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data , 2007, OWLED.

[13]  Viktor Schuppan,et al.  Linear Encodings of Bounded LTL Model Checking , 2006, Log. Methods Comput. Sci..