Ontology for Spatio-temporal Databases.
Published 1 January 2003
Andrew U. Frank
Citations96
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
Ontology and the related term “semantics ” have recently found increased attention in database discussions. Early discussions of ontology issues important for databases [126,78] were lost in a sea of papers on technical, mostly performance issues, despite the fact that textbooks as early as [134] discussed briefly the relationship
Keywords
Computer Science
Communications of the ACMMaintaining knowledge about temporal intervals
7,550 Citations1983James F. Allen
An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between space and time.
The Journal of Higher EducationWomen, Fire, and Dangerous Things: What Categories Reveal about the Mind
7,437 Citations1988Terence Odlin, George Lakoff
ScienceOn the Theory of Scales of Measurement
4,682 Citations1946S. S. Stevens
The current issues will remain at 32 pages until a more adequate supply of paper is assured, due to a shortage of paper for Bacto-Agar research.
Cambridge University Press eBooksMappings in Thought and Language
2,147 Citations1997Gilles Fauconnier
Language<b>Semantics:</b> Primes and universais. By Anna Wierzbicka. Oxford & New York: Oxford University Press. 1996. Pp. xii, 500. $105.00.
1,376 Citations1998Bert Peeters
Semantics: Primes and Universals is a major synthesis of Anna Wierzbicka's work, presenting a full and systematic exposition of that theory in a non-technical and readable way, delineating a full set of universal concepts.
International Journal of Human-Computer StudiesFormal ontology, conceptual analysis and knowledge representation
1,190 Citations1995Nicola Guarino
The notion of the ontological level is introduced, intermediate between the epistemological and the conceptual levels discussed by Brachman, as a way to characterize a knowledge representation formalism taking into account the intended meaning of its primitives.
Parts : a Study in Ontology
983 Citations1987Peter Simons
Category Theory For Computing Science
904 Citations1995Michael Barr, Charles Wells
Sketches for Endofunctors: Catesian Closed Categories, Diagrams, and Toposes.
Topics in information systemsTowards a Logical Reconstruction of Relational Database Theory
577 Citations1984Raymond Reiter
Insofar as database theory can be said to owe a debt to logic, the currency on loan is model theoretic in the sense that a database can be viewed as a particular kind of first order interpretation, and query evaluation is a process of truth functional evaluation of firstorder formulae with respect, to this interpretation.
The Literary Mind
521 Citations1996Mark Turner
Lecture notes in computer scienceSpatial Information Theory A Theoretical Basis for GIS
489 Citations1993
An improved document support system for use in a character by character printer of the type that employs a rear striking hammer to drive the document, at the printing position, into contact with a selected symbol on a rotating type font.
Lecture notes in computer scienceMonads for functional programming
459 Citations1995Philip Wadler
Three case studies are looked at in detail: how monads ease the modication of a simple evaluator;How monads act as the basis of a datatype of arrays subject to in-place update; and how monad can be used to build parsers.
Computers & GeosciencesGeographical data modeling
394 Citations1992Michael F. Goodchild
This work reviews the alternative data models available in spatial databases, and assess them from the perspective of accurate representation of geographical reality, particularly for three dimensions and time dependence.
Lecture notes in computer scienceReasoning about gradual changes of topological relationships
336 Citations1992Max J. Egenhofer, Khaled K. Al-Taha
This model describes a partial order over topological relationships and provides a measure to assess how far two relationships are apart from each other and provides answers to three kinds of qualitative space-time inferences.
Lecture notes in computer sciencePeople manipulate objects (but cultivate fields): Beyond the raster-vector debate in GIS
315 Citations1992Helen Couclelis
GIS can turn a rather dry debate into a source of insights regarding the nature of its subject matter by learning from how people actually experience and deal with the geographic world, according to a list of desiderata.
ACM Computing SurveysType systems
304 Citations1996Luca Cardelli
A definition of contravariant, a type that varies in the inverse direction from one of its parts with respect to subtyping, and a tree of judgments obtained by applying the rules of a type system.
Lecture notes in computer scienceSemantic matching: Formal ontological distinctions for information organization, extraction, and integration
299 Citations1997Nicola Guarino
The subject of Formal Ontology is introduced, showing how the notions of parthood, integrity, identity, and dependence can be of help in understanding, organizing and formalizing fundamental ontological distinctions.
Kent Academic Repository (University of Kent)Haskell: The Craft of Functional Programming
274 Citations1996Simon Thompson
The second edition of Haskell: The Craft of Functional Programming is essential reading for beginners to functional programming and newcomers to the Haskell programming language, with an emphasis on software engineering principles.
Interoperating Geographic Information Systems
271 Citations2012Michael F. Goodchild, Cliff Kottman +1 more
Qualitative Spatial Reasoning
240 Citations1991Christian Freksa
Some cognitive aspects of perception and knowledge representation are explored and it is suggested that ‘spatial inference engines’ provide the basis for rather general cognitive capabilities inside and outside the spatial domain.
International Journal of Geographical Information SystemsOn spatial database integration
216 Citations1998Thomas Devogèle, Christine Parent +1 more
A general format is proposed for precisely defining correspondences between objects of two databases and a solution is presented for aggregation conflicts which arise when one object of one database corresponds to a set of objects in the other database.
Lecture notes in computer scienceAn Introduction to Algebraic Semiotics, with Application to User Interface Design
190 Citations1999Joseph A. Goguen
It is shown that the quality of representations is closely related to the preservation properties of semiotic morphisms; these measures of quality also provide the orderings needed by the category theoretic formulation of blending.
Lecture notes in computer scienceOn drawing lines on a map
185 Citations1995Barry Smith
A general typology of spatial boundaries is presented, based in particular on an opposition between bona fide or physical boundaries on the one hand, and fiat or human-demarcation-induced boundaries onThe other, which generates a corresponding categorization of the different sorts of objects which (complete) boundaries determine or demarcate.
Geographical JournalLand Information Management: An Introduction with Special Reference to Cadastral Problems in the Third World Countries
147 Citations1989John B. Wright, Peter Dale +1 more
American Journal of Economics and SociologyAn Illuminating Exchange The Construction of Social Reality
142 Citations2003Barry Smith, John R. Searle
Modelling topological and metrical properties in physical processes
141 Citations1989David Randell, Anthony G. Cohn
The power of the formalism is illustrated by modelling the process of phagocytosis of theamoeba, together with an outline of how many pro-perties of physical entities and relations can be modelled within a unitary framework.
International Journal of Geographical Information SystemsConcepts and paradigms in spatial information: are current geographical information systems truly generic?
135 Citations1995P.A. Burrough, Andrew U. Frank
The role of culture and language in describing geographical reality and the ways geographical data models reflect how people view the world are examined and differences between those who see the world as made of exact entities and smooth continuous surfaces are explored.
A pointless theory of space based on strong connection and congruence
125 Citations1996Stefano Borgo, Nicola Guarino +1 more
A logical theory of space where only tridimensional regions are assumed in the domain is presented, and three distinct primitives are used to describe their mereological, topological and morphological properties.
Ontological Tools for Geographic Representation
91 Citations1998Roberto Casati, Barry Smith +1 more
Lecture notes in computer scienceTowards a qualitative theory of movement
79 Citations1995Antony Galton
By attending closely to the constraints imposed by continuity on the temporal behaviour of different fluents the authors develop theory of dominance, which enables us to generate ab initio the perturbation relation on the full set of positional relations.
Second-order signature
65 Citations1993Ralf Hartmut Güting
A framework for the specification of extensible database systems using second-order signature (and algebra), a system of two coupled many-sorted signatures, where the top- level signature offers kinds and type constructors and the bottom-level signature provides polymorphic operations over the types defined as terms of the top level.
Spatial Ontology: A Geographical Information Point of View
63 Citations1997Andrew U. Frank
The ancient philosophical discipline of ontology has been rediscovered for the purposes of artificial intelligence and the importance of fixing exactly what is at the base of the things one talks about and of specifying how the different terms interact becomes evident.
What's special about spatial?
53 Citations1993Max J. Egenhofer
Through the combination of real-time access and geographic data, this work identifies particularly challenging database requirements of this application with respect to data models, query languages, and query processing.
Annals of Mathematics and Artificial IntelligenceA boundary-sensitive approach to qualitative location
47 Citations1998Thomas Bittner, John G. Stell
A new approach to describing figure-ground relationships is presented which is able to take account of how the figure relates to boundaries between cells as well as to their interiors, and is applied to the case of the boundary-sensitive model of location.
Objects and Their Environments: From Aristotle to Ecological Ontology
45 Citations2000Barry Smith
Lecture notes in computer scienceHow significant are cultural differences in spatial cognition?
44 Citations1995Daniel R. Montello
It is concluded that cultural differences in spatial cognition are not nearly as substantial as is often claimed.
Lecture notes in computer scienceRough Sets in Approximate Spatial Reasoning
35 Citations2001Thomas Bittner, John G. Stell
This paper shows how systems of relations between regions can be extended from precisely known regions to approximate ones, and the equivalence between them is proved.
International Journal of Geographical Information SystemsFormalization of families of categorical coverages
34 Citations1997Andrew U. Frank, Gary S. Volta +1 more
It is shown that categorical coverages are partially ordered by refinement of partitions, and a formalization of these rules based on the concepts of a partition of space and the refinement of such partitions of space is presented.
Temporal reasoning in cadastral systems
31 Citations1992Khaled K. Al-Taha
A detailed case study was necessary to determine the actual-reasoning structures and requirements in temporal GIS, and to provide the different temporal reasoning powers in cadastral systems, to provide a formal description of the legal and topological reasoning in them.
Grazer Philosophische StudienAn Essay in Formal Ontology
27 Citations1978Barry Smith, Editions Rodopi
Lecture notes in computer scienceContinuous change in spatial regions
27 Citations1997Antony Galton
This paper applies different forms of continuity within the context of the great variety of types of spatial change by definining different measures of separation between regions, such that different changes may be continuous with respect to different selections from this set of measures.
reposiTUm (TU Wien)Lifestyles - A Paradigm for the Description of Spatiotemporal Databases
15 Citations1999Damir Medak
The major result is the formal model for a universal spatiotemporal database, capable of representing different classes of objects in a uniform way with respect to change in identity of objects.
Time, Actuality, Novelty and History
7 Citations2000Georg Franck
GeoInformaticaFinite-Resolution Simplicial Complexes
4 Citations1998Werner Ho ̈lbling, Werner Kuhn +1 more
A finite-resolution line intersection method, called Zero Order Intersection, is introduced, and its application to simplicial complexes results in the Discrete Simplicial Data Model which guarantees consistency and reliability of topological queries within a GIS.
An Approach to Data Exchange: The Spatial Data Transfer Standard
2 Citations1992HJ Rossmeissl, RD Rugg