Search strategies for reasoning about spatial ontologies | IEEE Conference Publication | IEEE Xplore