首页    期刊浏览 2025年02月21日 星期五
登录注册

文章基本信息

  • 标题:Characterization Results for the Poset Based Representation of Topological Relations -- II: Intersection and Union
  • 本地全文:下载
  • 作者:Luca Forlizzi
    ; Enrico Nardelli
  • 期刊名称:Informatica
  • 印刷版ISSN:1514-8327
  • 电子版ISSN:1854-3871
  • 出版年度:2000
  • 卷号:24
  • 期号:1.
  • 出版社:The Slovene Society Informatika, Ljubljana
  • 摘要:

    Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used for the description of topological relations among spatial objects since many years. In particular, the use of the lattice completion (or normal completion) of a poset modeling a set of spatial objects has been shown by Kainz, Egenhofer and Greasley to be a fundamental technique to build meaningful representations for topological relations. In a companion paper [3] we have discussed the expressive power of the lattice completion as a formal model for a set of spatial objects. In this paper we prove sufficient and necessary conditions for its use to give a correct representation of intersection and union relations among spatial objects. We also show how to use lattice completion when working on a subset (i.e., a view) of the set of spatial objects so that the computation only considers objects relevant to the view itself.

  • 关键词:topological model; poset; spatial relations; lattice completion
国家哲学社会科学文献中心版权所有