Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2508.00003 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911086520827904 |
|---|---|
| author | Ang, Kang Rong Roy |
| author_facet | Ang, Kang Rong Roy |
| contents | This report proposes a formal specification for organising all buildings, streets and administrative areas in the world into a hierarchical space-partitioning tree using data from OpenStreetMap. This hierarchical structure is encoded into a bigraph, serving as a digital twin of the world and capturing complete street connectivity. It presents a tool implemented in OCaml (source code at https://github.com/royangkr/bigraph-of-the-world ) that constructs bigraphs for regions from any part of the world. In addition, it contributes algorithmic improvements to open-source bigraph-building tools that enable them to efficiently construct and transform extremely large bigraphs, achieving up to a 97x speedup among other gains. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_00003 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Building Bigraphs of the real world Ang, Kang Rong Roy Logic in Computer Science This report proposes a formal specification for organising all buildings, streets and administrative areas in the world into a hierarchical space-partitioning tree using data from OpenStreetMap. This hierarchical structure is encoded into a bigraph, serving as a digital twin of the world and capturing complete street connectivity. It presents a tool implemented in OCaml (source code at https://github.com/royangkr/bigraph-of-the-world ) that constructs bigraphs for regions from any part of the world. In addition, it contributes algorithmic improvements to open-source bigraph-building tools that enable them to efficiently construct and transform extremely large bigraphs, achieving up to a 97x speedup among other gains. |
| title | Building Bigraphs of the real world |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2508.00003 |