Combining Ontological and Qualitative Spatial Reasoning: Application to Urban Images Interpretation

In this paper, we develop a qualitative spatial reasoning (QSR) applied to the interpretation of urban satellite images. This reasoning is integrated within an ontology of urban objects, which has been implemented in cooperation with expert geographers. The spatial concepts mainly include the set of topological relations of the Region Connection Calculus theory (RCC8), and the set of computational primitives (CM8) which have been defined for computing the RCC8 relations on raster images. Our approach relies on a reified representation of the RCC8 relationship and of the CM8 primitives, within a lattice of concepts, implemented in OWL (Ontology Web Language). It provides a straightforward representation of concepts corresponding to conjunctions or disjunctions of spatial relations, and thus offers the advantage to overcome some drawbacks of the existing approaches in OWL, where spatial relations are represented as roles. Indeed, the OWL language does not allow the expression of the disjunction of roles. We can then implement a reasoning on the RCC8 relationship, which in particular allows the computation of the composition table and its transitive closure. As the reification of roles precludes the use of role’s properties, such as symmetry and transitivity, we propose to implement RCC8 inferences through SWRL rules (Semantic Web Rule Language).

[1]  Max J. Egenhofer,et al.  A Formal Definition of Binary Topological Relationships , 1989, FODO.

[2]  Florence Le Ber,et al.  The Design of an Object-based System for Representing and Classifying Spatial Structures and Relations , 2002, J. Univers. Comput. Sci..

[3]  Florence Le Ber,et al.  Design and comparison of lattices of topological relations for spatial representation and reasoning , 2003, J. Exp. Theor. Artif. Intell..

[4]  Min Deng,et al.  Multi-level Topological Relations Between Spatial Regions Based Upon Topological Invariants , 2007, GeoInformatica.

[5]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[6]  Ramez Elmasri,et al.  Formalization of 2-D spatial ontology and OWL/Protégé realization , 2011, SWIM '11.

[7]  Jérôme Gensel,et al.  Semantic Analysis for the Geospatial Web - Application to OWL-DL Ontologies , 2008, W2GIS.

[8]  Boris Motik,et al.  Optimized Description Logic Reasoning via Core Blocking , 2010, IJCAR.

[9]  Bowman L. Clarke,et al.  A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..

[10]  Yarden Katz,et al.  Representing Qualitative Spatial Information in OWL-DL , 2005, OWLED.

[11]  Cecilia Zanni-Merk,et al.  A Description Logics Geographical Ontology for Effective Semantic Analysis of Satellite Images , 2012, KES.

[12]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

[13]  Euripides G. M. Petrakis,et al.  SOWL: A Framework for Handling Spatio-temporal Information in OWL 2.0 , 2011, RuleML Europe.

[14]  Uzay Kaymak,et al.  Spatial Knowledge Representation on the Semantic Web , 2010, 2010 IEEE Fourth International Conference on Semantic Computing.

[15]  Bernhard Nebel,et al.  Efficient Algorithms for Qualitative Spatial Reasoning , 1998, ECAI.

[16]  Eliseo Clementini,et al.  A Small Set of Formal Topological Relationships Suitable for End-User Interaction , 1993, SSD.

[17]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[18]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[19]  Michael Wessel,et al.  Obstacles on the Way to Qualitative Spatial Reasoning with Description Logics: Some Undecidability Results , 2001, Description Logics.

[20]  Boris Motik,et al.  OWL 2: The next step for OWL , 2008, J. Web Semant..