Block Algebra-Based Consistency Checking With Cardinal Direction Relations in 3D Space
Consistency checking, as a key and challenging problem in the research field of qualitative spatial reasoning with direction relations in 3D space, has received a lot of attention. It is widely used in 3D spatial configuration and anomaly detection in urban planning. To enrich and enhance the abilit...
Main Authors: | , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2023-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/10319425/ |
_version_ | 1797473520586850304 |
---|---|
author | Miao Wang Mengmeng Li Zhenxi Fang Jixun Gao Weiguang Liu |
author_facet | Miao Wang Mengmeng Li Zhenxi Fang Jixun Gao Weiguang Liu |
author_sort | Miao Wang |
collection | DOAJ |
description | Consistency checking, as a key and challenging problem in the research field of qualitative spatial reasoning with direction relations in 3D space, has received a lot of attention. It is widely used in 3D spatial configuration and anomaly detection in urban planning. To enrich and enhance the ability of reasoning and predict with 3D cardinal direction relations, a new approach for spatial projection on each axis is proposed on the basis of the 3DR27 model for cardinal direction relations in 3D space presented in our previous work. This paper divides the consistency checking of spatial direction relation networks into two processes. Firstly, the projection method is employed to determine whether a network with three-dimensional cardinal directional relations is a convex relation network. Then, by means of the good calculation properties of interval algebra and the mapping between 3D rectangular cardinal direction and 3-block algebra, an algorithm for consistency checking is proposed, which can be used to determine whether one or more than one solution can be found to satisfy the given network constraints. The results of theoretical analysis and verification show that our method is correct and complete. This method effectively improves the ability of intelligent analysis and processing for complex 3D spatial direction relations. |
first_indexed | 2024-03-09T20:15:40Z |
format | Article |
id | doaj.art-8e20fee460b5490caddf096fcc85418a |
institution | Directory Open Access Journal |
issn | 2169-3536 |
language | English |
last_indexed | 2024-03-09T20:15:40Z |
publishDate | 2023-01-01 |
publisher | IEEE |
record_format | Article |
series | IEEE Access |
spelling | doaj.art-8e20fee460b5490caddf096fcc85418a2023-11-24T00:01:44ZengIEEEIEEE Access2169-35362023-01-011113001013002110.1109/ACCESS.2023.333336110319425Block Algebra-Based Consistency Checking With Cardinal Direction Relations in 3D SpaceMiao Wang0https://orcid.org/0000-0002-7699-5716Mengmeng Li1Zhenxi Fang2Jixun Gao3Weiguang Liu4https://orcid.org/0009-0007-1094-1946Department of Software, Henan University of Engineering, Zhengzhou, ChinaDepartment of Computer Science, Zhongyuan University of Technology, Zhengzhou, ChinaDepartment of Computer Science, Zhongyuan University of Technology, Zhengzhou, ChinaDepartment of Software, Henan University of Engineering, Zhengzhou, ChinaDepartment of Computer Science, Zhongyuan University of Technology, Zhengzhou, ChinaConsistency checking, as a key and challenging problem in the research field of qualitative spatial reasoning with direction relations in 3D space, has received a lot of attention. It is widely used in 3D spatial configuration and anomaly detection in urban planning. To enrich and enhance the ability of reasoning and predict with 3D cardinal direction relations, a new approach for spatial projection on each axis is proposed on the basis of the 3DR27 model for cardinal direction relations in 3D space presented in our previous work. This paper divides the consistency checking of spatial direction relation networks into two processes. Firstly, the projection method is employed to determine whether a network with three-dimensional cardinal directional relations is a convex relation network. Then, by means of the good calculation properties of interval algebra and the mapping between 3D rectangular cardinal direction and 3-block algebra, an algorithm for consistency checking is proposed, which can be used to determine whether one or more than one solution can be found to satisfy the given network constraints. The results of theoretical analysis and verification show that our method is correct and complete. This method effectively improves the ability of intelligent analysis and processing for complex 3D spatial direction relations.https://ieeexplore.ieee.org/document/10319425/Consistency checkingqualitative spatial reasoning3D cardinal direction relationsblock algebraconvex relation |
spellingShingle | Miao Wang Mengmeng Li Zhenxi Fang Jixun Gao Weiguang Liu Block Algebra-Based Consistency Checking With Cardinal Direction Relations in 3D Space IEEE Access Consistency checking qualitative spatial reasoning 3D cardinal direction relations block algebra convex relation |
title | Block Algebra-Based Consistency Checking With Cardinal Direction Relations in 3D Space |
title_full | Block Algebra-Based Consistency Checking With Cardinal Direction Relations in 3D Space |
title_fullStr | Block Algebra-Based Consistency Checking With Cardinal Direction Relations in 3D Space |
title_full_unstemmed | Block Algebra-Based Consistency Checking With Cardinal Direction Relations in 3D Space |
title_short | Block Algebra-Based Consistency Checking With Cardinal Direction Relations in 3D Space |
title_sort | block algebra based consistency checking with cardinal direction relations in 3d space |
topic | Consistency checking qualitative spatial reasoning 3D cardinal direction relations block algebra convex relation |
url | https://ieeexplore.ieee.org/document/10319425/ |
work_keys_str_mv | AT miaowang blockalgebrabasedconsistencycheckingwithcardinaldirectionrelationsin3dspace AT mengmengli blockalgebrabasedconsistencycheckingwithcardinaldirectionrelationsin3dspace AT zhenxifang blockalgebrabasedconsistencycheckingwithcardinaldirectionrelationsin3dspace AT jixungao blockalgebrabasedconsistencycheckingwithcardinaldirectionrelationsin3dspace AT weiguangliu blockalgebrabasedconsistencycheckingwithcardinaldirectionrelationsin3dspace |