Topological properties in ontology-based applications

Representation and reasoning with spatial properties is essential in several application domains where ontologies are being successfully applied; e.g., Information Fusion systems. This requires a full characterization of the semantics of relations such as adjacent, included, overlapping, etc. Nevertheless, ontologies are not expressive enough to directly support widely-use spatial or topological theories, such as the Region Connection Calculus (RCC). In addition, these properties must be properly instantiated in the ontology, which may require expensive calculations. This paper presents a practical approach to represent and reason with topological properties in ontology-based systems, as well as some optimization techniques that have been applied in a video-based Information Fusion application.

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

[2]  Sebastian Rudolph,et al.  Cheap Boolean Role Constructors for Description Logics , 2008, JELIA.

[3]  Brandon Bennett,et al.  Spatial Reasoning with Propositional Logics , 1994, KR.

[4]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[5]  Nancy Wiegand,et al.  A Task‐Based Ontology Approach to Automate Geospatial Data Retrieval , 2007, Trans. GIS.

[6]  Bowman L. Clarke,et al.  Individuals and points , 1985, Notre Dame J. Formal Log..

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

[8]  Jochen Renz,et al.  Qualitative Spatial Reasoning with Topological Information , 2002, Lecture Notes in Computer Science.

[9]  Evren Sirin,et al.  PelletSpatial: A Hybrid RCC-8 and RDF/OWL Reasoning and Query Engine , 2009, OWLED.

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

[11]  Werner Kuhn,et al.  Ontology-based discovery of geographic information services - An application in disaster management , 2006, Comput. Environ. Urban Syst..

[12]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[13]  Ian Horrocks,et al.  Description Logics as Ontology Languages for the Semantic Web , 2005, Mechanizing Mathematical Reasoning.

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

[15]  Willem Robert van Hage,et al.  The Space Package: Tight Integration between Space and Semantics , 2010, Trans. GIS.

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

[17]  Miguel A. Patricio,et al.  Ontology-based context representation and reasoning for object tracking and scene interpretation in video , 2011, Expert Syst. Appl..

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

[19]  James Llinas,et al.  Revisiting the JDL Data Fusion Model II , 2004 .

[20]  Max J. Egenhofer,et al.  Reasoning about Binary Topological Relations , 1991, SSD.

[21]  B. L. Clark Individuals and points. , 1985 .