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.