Formalization of conceptual models for GIS using Gofer

Car, Adrijana; Frank, Andrew U.

doi:10.1016/0198-9715(95)00013-x

Cited by 16 publications

(10 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…FORMALIZATION METHOD Formalization of spatial concepts is an important task for GIS and for a successful implementation or a computational model, a conceptual model for GIS needs to be formalized. Formalization helps to understand the underlying structure and theory in the model, to define objects, which provides a basis for their comparison [5]. This topic is important for GIS because concepts of space either lack formalization or are not implementable because of restrictions of computers [13].…”

Section: Image Schemata Related To "Boundary Relations" Methods Of mentioning

confidence: 99%

“…Goguen [23]1989) uses them to formalize some basic geometrical constructions (e.g., the line through two points, the intersection of two lines, the circle throughout three points, and the tangent to a circle through a point). Car and Frank [5] give specifications for hierarchical spatial reasoning and presents a particular case of wayfinding in a hierarchically structured network. Some other related applications are mentioned in [15], [11], [43].…”

Section: B Algebra and The Algebraic Specificationsmentioning

confidence: 99%

“…This function is expressed in notation that follows normal mathematical principles. The ability of the computer to evaluate the functions' definitions increases its power of calculation [5]. Bird and Wadler [3] pointed out that expressions in a functional language can be constructed, manipulated, and reasoned about, like any other kind of mathematical expression, using more or less familiar algebraic laws.…”

Section: Functional Programmingmentioning

confidence: 99%

“…A variation on this approach, called cleanroom software engineering [8], [37], is currently applied by some software development organizations. Among the various existing specification methodssuch as state machine models and axiomatic descriptionsalgebraic definitions have proven to be good candidates for specifying data abstractions for spatial and temporal domains [5], [14], [29], [36], [44].…”

Section: A Formalizationmentioning

confidence: 99%

See 3 more Smart Citations

Formalization of Cognitive Modeling of Environment for Wayfinding

Ahmadi¹

2018

Preprint

View full text Add to dashboard Cite

Abstract-This paper outlines the formal representation of the environment in which it is assumed that a wayfinding process has been occurred through a street network. Wayfinding is a process in which people navigate themselves from an origin to a destination by their common sense geospatial knowledge. Naïve Geography is a field of study that investigates the body of knowledge that people have about the surrounding geospatial world and it deals with common sense knowledge of space. The image schemas which are needed for wayfinding with boundary relations method have been extracted and represented formally with algebraic specifications. These specifications are mentioned in the syntax of a functional programming language, Haskell. It allows us to execute written algebraic specifications and provide conditions for rapid prototyping and formal checks on consistency. These formal specifications are implemented for modeling street network of a part of Tehran, Capital city of Iran.

show abstract

Section: Image Schemata Related To "Boundary Relations" Methods Of mentioning

confidence: 99%

Section: B Algebra and The Algebraic Specificationsmentioning

confidence: 99%

Section: Functional Programmingmentioning

confidence: 99%

Section: A Formalizationmentioning

confidence: 99%

See 2 more Smart Citations

Formalization of Cognitive Modeling of Environment for Wayfinding

Ahmadi¹

2018

Preprint

View full text Add to dashboard Cite

show abstract

“…Although program-like statements and pseudo-code express data models more precisely (Car and Frank 1995, Kosters et al 1997), they typically rely on some prede® ned, pre-con® ned, programming schemes via operational statements. However, they lack declarative capabilities in most cases.…”

Section: Introductionmentioning

confidence: 99%

Many sorted algebraic data models for GIS

Lin¹

1998

International Journal of Geographical Information Science

View full text Add to dashboard Cite

Although many GIS data models are available, a declarative, operational, well-de® ned, implementation-in dependent, and object-oriented language is lacking. Based on the theory of many sorted algebra, this work presents a family of geometric data models. Some geographical data models of urban information systems are illustrated using homomorphism. According to the results, the preferred characteristics of mixing declarative and operational statements, multiple representations, tight interdependency among objects, and integration of vector and raster based systems can be achieved through this mechanism.

show abstract

Granularity Transformations in Wayfinding

Timpf¹,

Kuhn²

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Wayfinding in road networks is a hierarchical process. It involves a sequence of tasks, starting with route planning, continuing with the extraction of wayfinding i nstructions, and leading to the actual driving. From one task level to the next, the relevant road network becomes more detailed. How does the wayfinding process change? Building on a previous, informal hierarchical highway navigation model and on graph granulation theory, we are working toward a theory of granularity transformations for wayfinding processes. The paper shows the first results: a formal ontology of wayfinding at the planning level and an informal model of granularity mappings.

show abstract

Formalization of conceptual models for GIS using Gofer

Cited by 16 publications

References 2 publications

Formalization of Cognitive Modeling of Environment for Wayfinding

Formalization of Cognitive Modeling of Environment for Wayfinding

Many sorted algebraic data models for GIS

Granularity Transformations in Wayfinding

Contact Info

Product

Resources

About