DocumentCode
2484727
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
fYear
2010
fDate
Nov. 30 2010-Dec. 2 2010
Firstpage
1058
Lastpage
1063
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICCIT.2010.5711219
Filename
5711219
Link To Document