A mathematical language for the modeling of geospatial static rules

Abstract

— More and more in information technologies, rules are considered as first-class citizens; and many applications in business intelligence are built on rules. But in territorial intelligence and in smart city planning, few works have been done in this direction. The role of this paper is to show the importance of geographic rules and to propose, beyond the modeling in natural language, a mathematical language to model them. This language is primary based on logic and set theory in which some relations and operators coming from topology, computational geometry and operation research are integrated, and will cover only static rules. By mathematical language, one means that it is independent from any software products and applications, and its formal grammar is presented by means of syntactic diagrams. Examples in urban planning are provided.