Specifying Essential Features of Street Networks

In order to apply advanced high-level concepts for transportation networks, like hypergraphs, multi-level wayfinding and traffic forecasting, to commercially available street network datasets, it is often necessary to generalise from network primitives. However, the appropriate method of generalisation strongly depends on the complex street network feature they belong to. In this paper, we develop formal expressions for road segments and some essential types of roads, like roundabouts, dual carriageways and freeways. For this purpose, a formal network language is developed, which allows a clear distinction among the geometrical network, its embedding into the Euclidian plane, as well as navigational constraints for a traffic mode.

[1]  Max J. Egenhofer,et al.  Reasoning about Binary Topological Relations , 1991, SSD.

[2]  Michael F. Goodchild Geographic information systems and disaggregate transportation modeling , 1998 .

[3]  E. Lynn Usery,et al.  A Spatial Data Model Design for Feature-Based Geographical Information Systems , 1996, Int. J. Geogr. Inf. Sci..

[4]  William M. Farmer Martin Simple Type Theory: Simple Steps Towards a Formal Specification , 2004 .

[5]  William M. Farmer,et al.  A Basic Extended Simple Type Theory , 2003 .

[6]  Chenghu Zhou,et al.  A Conceptual Model for a Feature-Based Virtual Network , 2000, GeoInformatica.

[7]  Max J. Egenhofer,et al.  Advances in Spatial Databases , 1997, Lecture Notes in Computer Science.

[8]  Sabine Timpf,et al.  A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction , 1992, Spatio-Temporal Reasoning.

[9]  Michel Mainguenaud,et al.  Modelling the Network Component of Geographical Information Systems , 1995, Int. J. Geogr. Inf. Sci..

[10]  Andrew U. Frank,et al.  Theories and Methods of Spatio-Temporal Reasoning in Geographic Space , 1992, Lecture Notes in Computer Science.

[11]  Stephan Winter,et al.  Spatial Information Theory, 8th International Conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007, Proceedings , 2007, COSIT.

[12]  Christian Freksa,et al.  Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science , 1999, Lecture Notes in Computer Science.

[13]  John G. Stell,et al.  Granulation for Graphs , 1999, COSIT.

[14]  Michael F. Worboys,et al.  Generalizing Graphs Using Amalgamation and Selection , 1999, SSD.

[15]  Sabine Timpf,et al.  Granularity Transformations in Wayfinding , 2003, Spatial Cognition.

[16]  M. Egenhofer Categorizing Binary Topological Relations Between Regions, Lines, and Points in Geographic Databases , 1998 .

[17]  Wilfried Brauer,et al.  Spatial Cognition III , 2003, Lecture Notes in Computer Science.

[18]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .