微信服务号

微信订阅号

2025年6月15日 17:24 星期日
首页 > 过刊浏览>2007年第18卷第10期 >2458-2468
PDF HTML阅读 XML下载 导出引用 引用提醒
RCC11复合表的表示
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant Nos.10571112,60673105(国家自然科学基金);the Teaching and Research Award Program for Outstanding Young Teachers in Higher Education Institutions of MOE,China(高等学校优秀青年教师教学科研奖励计划);the National Basic Research Program of China under Grant No.2002CB312200(国家重点基础研究发展计划(973))


Representation of RCC11 Composition Table
Author:
  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [21]
    • |
  • 相似文献 [20]
    • | | |
  • 文章评论
    摘要:

    主要研究熟知的区域连接演算(region connection calculus,简称RCC)的关系代数方面的性质.证明了补闭圆盘代数恰好构成RCC11复合表的一个表示,其中,RCC11复合表是由D(u)ntsch于1999年引入的.补闭圆盘代数由两类区域构成:一类是实平面中的所有闭圆盘;另一类是实平面中的所有闭圆盘的补的闭包组成.而连接关系为经典的Whiteheadean连接,即对区域a,b,aCb(表示a,b有连接关系)当且仅当 a∩b≠? .

    Abstract:

    This paper is mainly concerned with the relation-algebraic aspects of the well-known Region Connection Calculus (RCC).It is shown that the complemented closed disk algebra is a representation for the relation algebra determined by the RCC11 table,which was first described by Düntsch.The domain of this algebra contains two classes of regions,the closed disks and closures of their complements in the real plane,and the contact relation is the standard Whiteheadean contact(i.e.aCb iff a∩b≠? .

    参考文献
    [1]Egenhofer MJ,Herring J.Categorizing binary topological relationships between regions,lines,and points in geographic database.Technical Report,University of Maine,1991.
    [2]Cohn AG,Benoett B,Gooday J,Gotts NM.Qualitative spatial pepresentation and reasoning with the region connection calculus.Geoinformatica,1997,1:275-316.
    [3]Randell DA,Cui Z,Cohn AG.A spatial logic based on regions and connection.In:Nebel B,Swartout B,Rich C,eds.Proc.of the 3rd Int'l Conf.Knowledge Representation and Reasoning.Los Allos:Morgan Kanfmann Publishers,1992.165-176.
    [4]Egenhofer MJ.Reasoning about binary topological relations.In Günther O,Schek HJ,eds.Advances in Spatial Databases.LNCS 525,New York:Springer-Verlag,1991.143-160.
    [5]Cui Z,Cohn AG,Randell DA.Qualitative and topological relationships in spatial databases.In:Abel D,Ooi BC,eds.Advances in Spatial Databases.LNCS 692,Berlin:Springer-Verlag,1993.293-315.
    [6]Allen JF.Maintaining knowledge about temporal intervals.Communications of the ACM,1983,26:832-843.
    [7]Allen JF.Towards a general theory of action and time.Artificial Intelligence,1984,23:123-154.
    [8]Düntsch I.A tutorial on relation algebras and their application in spatial reasoning.Given at COSIT,1999.http://www.cosc.brocku.ca/duentsch/papers/relspat.html
    [9]Li S,Ying M.Region connection calculus:Its models and composition table.Artificial Intelligence,2003,145:121-145.
    [10]Jónsson B.Varieties of relation algebras.Algebra Universalis,1982,15:273-298.
    [11]Stell JG.Part and complement:fundamental concepts in spatial reltations.Annals of Artificial Intelligence and Mathematics,2004,41:1-17.
    [12]Kahl W,Schmidt G.Exploring (finite) relation algebras using tools written in haskell.Technical Report,2000-02,Fakult(a)t für Informatik,Universit(a)t der Bundeswehr München.http://ist.unibwmuenchen.de/Publications/TR/2000-02/2001
    [13]Düntsch I,Wang H,McCloskey S.Relation algebras in qualitative spatial reasoning.Fundamental Informaticae,1999,39:229-248.
    [14]Düntsch I,Schmidt G,Winter M.A necessary relation algebra for mereotopology.Studia Logica,2001,69:380-409.
    [15]Düntsc I,Winter M.A representation theorem for Boolean contact algebras.Theoretical Computer Science,2005,347(3):498-512.
    [16]Stell JG.Boolean connection algebras:A new approach to the region-connection calculus.Aritificiai Intelligence,2000,122:111-136.
    [17]Düntsch I,Wang H,McCloskey S.A relation-algebraic approach to the region connection calculus.Theoretical Computer Science,2001,255:63-83.
    [18]Li S,Ying M.Extensionality of the RCC8 composition table.Fundamenta Informaticae,2003,55:363-385.
    [19]Gotts NM.An axiomatic approach to spatial information systems.Research Report,96.25.University of Leeds,1996.
    [20]Worboys M,Bofakos P.A canonical model for a class of area spatial objects.In:Able D,Ooi BC,eds.Proc.of the 3rd Int'l Symp.on Large Spatial Databases.LNCS 692,New York:Springer-Verlag,1993.36-52. [1]A similar and more detailed interpretation for RCC8 CT has been in Ref.
    [9].
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

李永明,李三江. RCC11复合表的表示.软件学报,2007,18(10):2458-2468

复制
分享
文章指标
  • 点击次数:4466
  • 下载次数: 5236
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2005-05-08
  • 最后修改日期:2006-05-11
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第20052610位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号