Title :
A modal representation of RCC62
Author :
Fu, Qian ; Ouyang, Ji-hong ; Liu, Da-you
Author_Institution :
Coll. of Comput. Sci. & Technol., Jilin Univ., Changchun, China
fDate :
Nov. 30 2010-Dec. 2 2010
Abstract :
The major problem in developing a useful formalism for reasoning about spatial information is the trade off between expressive power and computational tractability. Based on Bennett´s modal representation of convex-hull and the RCC62 model which describes the topological relation between simple concave regions, the modal representation of RCC62 is presented in this paper, which has a theoretical advantage over 1st-order representations.
Keywords :
concave programming; convex programming; spatial reasoning; 1st-order representation; Bennett´s modal representation; RCC62 model; computational tractability; concave region; convex-hull; spatial information reasoning; topological relation; Calculus; Cognition; Computational modeling; Encoding; Knowledge engineering; Laboratories; RCC62; RCC8; S4 modality; convex hull; modal representation;
Conference_Titel :
Computer Sciences and Convergence Information Technology (ICCIT), 2010 5th International Conference on
Conference_Location :
Seoul
Print_ISBN :
978-1-4244-8567-3
Electronic_ISBN :
978-89-88678-30-5
DOI :
10.1109/ICCIT.2010.5711219
