A point based generalization of the spatial logic RCC
Jodrey School of Computer Science
Wolf Ville, Nova Scotia, Canada, B4P 2R6
We present a point based qualitative spatial logic for representing and reasoning about spatial objects and regions. The logic can simultaneously represent objects of different dimensions and is a generalization of RCC.Main Topic: Knowledge representation. Keywords: Qualitative first order spatial logic, RCC.