Extending an ontology-based search with a formalism for spatial reasoning

@inproceedings{Grtter2008ExtendingAO,
  title={Extending an ontology-based search with a formalism for spatial reasoning},
  author={Rolf Gr{\"u}tter and Bettina Bauer-Messmer and Martin H{\"a}geli},
  booktitle={SAC},
  year={2008}
}
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… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.