Graph-based consistency checking in spatial information systems

J. Kong; Kang Zhang

doi:10.1109/HCC.2003.1260219

Graph-based consistency checking in spatial information systems

J. Kong, Kang Zhang

Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review

4 Citations (Scopus)

Abstract

Consistency checking of cardinal directions is one of the important problems in qualitative spatial reasoning. This paper presents a graph model to visually represent direction specifications. In the model, nodes represent regions occupied by objects, and directed edges indicate direction relationships between objects. This graph model can be applied not only to consistency checking, but also to general spatial reasoning. Based on this model, we present an efficient algorithm that performs consistency checking on a set of definitive direction specifications by analyzing the connectivity of the participating nodes. The consistency checking algorithm is performed in O(n ⁴) time.

Original language	English
Title of host publication	Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003
Pages	153-160
Number of pages	8
DOIs	https://doi.org/10.1109/HCC.2003.1260219
Publication status	Published - 2003
Externally published	Yes
Event	2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003 - Auckland, New Zealand Duration: 28 Oct 2003 → 31 Oct 2003

Publication series

Name	Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003

Conference

Conference	2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003
Country/Territory	New Zealand
City	Auckland
Period	28/10/03 → 31/10/03

Access to Document

10.1109/HCC.2003.1260219

Cite this

@inproceedings{b8435594c1614103b7b34c7ef1d796fd,

title = "Graph-based consistency checking in spatial information systems",

abstract = "Consistency checking of cardinal directions is one of the important problems in qualitative spatial reasoning. This paper presents a graph model to visually represent direction specifications. In the model, nodes represent regions occupied by objects, and directed edges indicate direction relationships between objects. This graph model can be applied not only to consistency checking, but also to general spatial reasoning. Based on this model, we present an efficient algorithm that performs consistency checking on a set of definitive direction specifications by analyzing the connectivity of the participating nodes. The consistency checking algorithm is performed in O(n 4) time.",

author = "J. Kong and Kang Zhang",

year = "2003",

doi = "10.1109/HCC.2003.1260219",

language = "English",

isbn = "0780382250",

series = "Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003",

pages = "153--160",

booktitle = "Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003",

note = "2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003 ; Conference date: 28-10-2003 Through 31-10-2003",

}

Kong, J & Zhang, K 2003, Graph-based consistency checking in spatial information systems. in Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003., 1260219, Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003, pp. 153-160, 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003, Auckland, New Zealand, 28/10/03. https://doi.org/10.1109/HCC.2003.1260219

Graph-based consistency checking in spatial information systems. / Kong, J.; Zhang, Kang.
Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003. 2003. p. 153-160 1260219 (Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003).

Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review

TY - GEN

T1 - Graph-based consistency checking in spatial information systems

AU - Kong, J.

AU - Zhang, Kang

PY - 2003

Y1 - 2003

N2 - Consistency checking of cardinal directions is one of the important problems in qualitative spatial reasoning. This paper presents a graph model to visually represent direction specifications. In the model, nodes represent regions occupied by objects, and directed edges indicate direction relationships between objects. This graph model can be applied not only to consistency checking, but also to general spatial reasoning. Based on this model, we present an efficient algorithm that performs consistency checking on a set of definitive direction specifications by analyzing the connectivity of the participating nodes. The consistency checking algorithm is performed in O(n 4) time.

AB - Consistency checking of cardinal directions is one of the important problems in qualitative spatial reasoning. This paper presents a graph model to visually represent direction specifications. In the model, nodes represent regions occupied by objects, and directed edges indicate direction relationships between objects. This graph model can be applied not only to consistency checking, but also to general spatial reasoning. Based on this model, we present an efficient algorithm that performs consistency checking on a set of definitive direction specifications by analyzing the connectivity of the participating nodes. The consistency checking algorithm is performed in O(n 4) time.

UR - https://www.scopus.com/pages/publications/33749622274

U2 - 10.1109/HCC.2003.1260219

DO - 10.1109/HCC.2003.1260219

M3 - Conference Paper published in a book

AN - SCOPUS:33749622274

SN - 0780382250

SN - 9780780382251

T3 - Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003

SP - 153

EP - 160

BT - Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003

T2 - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003

Y2 - 28 October 2003 through 31 October 2003

ER -

Graph-based consistency checking in spatial information systems

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this