Tiers of ontology and consistency constraints in geographical information systems

Frank, Andrew U.

doi:10.1080/13658810110061144

Cited by 144 publications

(93 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Tretji pristop opredelitve SRS-a ponuja Frank (2001), in sicer kot »sloje« (Tiers). Ničelni sloj predpostavlja »zunanjo« stvarnost, ki jo sestavlja niz kontinuiranih polj prostor-čas.…”

Section: Problemunclassified

Semantic web and the concept of global geo-ontology

Čeh¹,

Smole²,

Podobnikar³

2013

Geod. vestn.

View full text Add to dashboard Cite

ontologija, semantični splet, geografski prostor, logika, semantični referenčni sistem, globalna geoontologija ontology, semantic web, geographic space, logic, semantic reference system, global geo-ontology UVODPogosto vprašanje pri razumevanju geografskih informacij je, kakšen je pomen pojmov »pašnik« ali »travnik«, ki se pojavljata v različnih zbirkah prostorskih podatkov, na primer v DTK 5, zemljiškem katastru, CORINE Land Cover ali na jožefinski vojaški karti. V zadnjih dveh desetletjih so na področju geoprostorske znanosti, ki je podpodročje geografskih informacijskih sistemov (GIS), opazna prizadevanja številnih raziskovalcev za opredelitev okolja, ki omogoča enostavnejšo in bolj učinkovito pridobivanje, izmenjavo prostorskih podatkov in storitev ter njihovo integracijo.Takšno okolje se imenuje »geoprostorski pomenski splet« (angl. geospatial semantic web)

show abstract

Section: Problemunclassified

Semantic web and the concept of global geo-ontology

Čeh¹,

Smole²,

Podobnikar³

2013

Geod. vestn.

View full text Add to dashboard Cite

show abstract

“…Isabelle is based on the functional language ML and has many features of other functional languages including HASKELL-style axiomatic type classes (Thompson 1999). There is a ten year history in which software tools such as HASKELL have been used successfully for the representation of geospatial ontologies and as tools for rapid prototyping of GIS data structures using algebraic specifications (Frank and Kuhn 1999, Frank 2001, Winter and Nittel 2003. In our use of Isabelle we go one step further along this road.…”

Section: Automated Reasoning and Rapid Prototypingmentioning

confidence: 99%

A spatio-temporal ontology for geographic information integration

Bittner

Donnelly

Smith

2009

International Journal of Geographical Information Science

View full text Add to dashboard Cite

This paper presents an axiomatic formalisation of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations -in particular their behavior with respect to time -is critical for geographic information processing.The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computerverified and the computational representation of the theory is available online.

show abstract

“…The terms fields and coverages describe real-world phenomena that vary continuously in space and time [5,10,26]. Despite the abstract nature of the concept, most work on fields deals with concrete data structures (e.g., triangulations, cells, and contours).…”

Section: Introductionmentioning

confidence: 99%

Fields as a Generic Data Type for Big Spatial Data

Câmara

Egenhofer

Ferreira

et al. 2014

Geographic Information Science

View full text Add to dashboard Cite

Abstract. This paper defines the Field data type for big spatial data. Most big spatial data sets provide information about properties of reality in continuous way, which leads to their representation as fields. We develop a generic data type for fields that can represent di↵erent types of spatiotemporal data, such as trajectories, time series, remote sensing and, climate data. To assess its power of generality, we show how to represent existing algebras for spatial data with the Fields data type. The paper also argues that array databases are the best support for processing big spatial data and shows how to use the Fields data type with array databases.

show abstract

Tiers of ontology and consistency constraints in geographical information systems

Cited by 144 publications

References 18 publications

Semantic web and the concept of global geo-ontology

Semantic web and the concept of global geo-ontology

A spatio-temporal ontology for geographic information integration

Fields as a Generic Data Type for Big Spatial Data

Contact Info

Product

Resources

About