Abstract
With the objective of extending an existing ontology-based search with a formalism for spatial reasoning two approaches to a representation of the Region Connection Calculus (RCC) in OWL DL are explored. The exploration results in a representation which is minimal yet still allows inferring the relations between all connecting regions in any of the different RCC species using a sound and complete calculus. The theoretical results are demonstrated in a sample application. The scale of the representation in the sample application is discussed. While the successful approach can be applied to small applications, we conclude that further research is required before applying it to large applications.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2008-004

BibTeX:

@inproceedings{REWERSE-RP-2008-004,
	author = {Rolf Gr\"utter and Bettina Bauer-Messmer and Martin H\"ageli},
	title = {Extending an Ontology-based Search with a Formalism for Spatial Reasoning},
	booktitle = {Proceedings of 23rd Annual ACM Symposium on Applied Computing, Fortaleza, Brazil (16th--20th March 2008)},
	year = {2008},
	organization = {ACM},
	pages = {2266--2270},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2008-004}
}