Abstract. In this paper, we present a spatial logic which can be used to reason about topological and spatial relationships among objects in spatial databases. The main advantages of such a formalism are its rigorousness, clear semantics and sound inference mechanism. We also show how the formalism can be extended to include orientation and metrical information. Comparisons with other formalisms are discussed. 1
|
1705
|
Maintaining Knowledge about Temporal Intervals
– Allen
- 1983
|
|
366
|
Qualitative simulation
– Kuipers
- 1986
|
|
171
|
Temporal reasoning based on semi-intervals
– Freksa
- 1992
|
|
119
|
Qualitative Representation of Spatial Knowledge
– Hernández
- 1994
|
|
114
|
Automated deduction by theory resolution
– Stickel
- 1985
|
|
113
|
Using orientation information for qualitative spatial reasoning
– Freksa
- 1992
|
|
78
|
A qualitative model for space
– Mukerjee, Joe
- 1990
|
|
76
|
A Calculus of Individuals Based on “Connection
– Clarke
- 1981
|
|
62
|
Geo-Relational Algebra: A Model and Query Language for Geometric Database Systems
– Güting
- 1988
|
|
60
|
A Formal Definition of Binary Topological Relationships
– Egenhofer
- 1989
|
|
44
|
Taxonomies of logically defined qualitative spatial relations. International journal of human-computer studies
– Cohn, Randell, et al.
- 1995
|
|
42
|
Computing transitivity tables: A challenge for automated theorem provers
– RANDELL, COHN, et al.
- 1992
|
|
40
|
Research Issues in Spatial Databases
– Guenther, Buchmann
- 1990
|
|
35
|
Foundations of the geometry of solids
– Tarski
- 1956
|
|
29
|
Towards a spatial query language: user interface considerations
– Egenhofer, Frank
- 1998
|
|
28
|
Towards an integrated logic of space, time, and motion
– Galton
- 1993
|
|
25
|
S'emantique des relations spatiales et inf'erences spatio-temporelles: Une contribution `a l"etude des structures formelles de l'espace en Langage Naturel
– Vieu
- 1991
|
|
21
|
Naive Topology: modeling the force pump
– Randell, Cohn, et al.
- 1992
|
|
15
|
Analysing the Familiar: Reasoning About Space and Time in the Everyday World
– Randell
- 1991
|
|
12
|
line and surface as sets of solids
– Point
- 1922
|
|
7
|
Using Comparative Relations to represent Spatial Knowledge
– Hernandez
- 1990
|
|
6
|
Individuals and Points", Notre Dame
– Clarke
- 1985
|
|
4
|
Contribution a l'etude de la semantique formelle de l'espace et du raisonnement spatial: la localisation interne en francais, semantique et structures inferentielles", PhD thesis, l'Universite Paul Sabatier de
– Aurnague
- 1991
|
|
4
|
Randell: " Qualitative Simulation Based On A Logical Formalism Of Space And Time
– Cui, Cohn, et al.
- 1992
|
|
4
|
Reasoning about Protein Topology using the Logic Programming Language PROLOG
– Rawlings, Taylor, et al.
- 1985
|
|
3
|
Boi Faltings: "Qualitative spatial reasoning: The CLOCK project
– Forbus, Nielsen
- 1991
|
|
3
|
Cohn: "Modelling Topological and
– Randell, G
- 1989
|
|
3
|
Cohn: "Exploiting Lattice in a Theory of Space and Time
– Randell, G
- 1992
|
|
2
|
J.Herring, "A mathematical framework for the definition of topological relationships
– Egenhofer
- 1990
|
|
2
|
Al-Taha: "Reasoning About Gradual Changes of Topological Changes", Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
– Egenhofer, K
- 1992
|
|
2
|
Commonsense Reasoning about Moving Objects: an Elusive Goal
– Joskowicz
- 1992
|
|
2
|
Cohn: "A Spatial Logic based on Regions and Connection
– Randell, Cui, et al.
- 1992
|
|
2
|
Cohn: "An Interval Logic for Space based on "Connection
– Randell, Cui, et al.
- 1992
|
|
2
|
Whitehead: "Process and Reality: Corrected Edition
– N
- 1978
|
|
1
|
et al: "Efficient Implementation of Lattice Operations
– Ait-Kaci
- 1989
|
|
1
|
Benthem: The Logic of Time, Synthese Library vol 156
– Van
- 1982
|
|
1
|
Cohn: "A More Expressive Formulation of Many Sorted Logic
– G
- 1987
|
|
1
|
Egenhofer:"Reasoning about Binary Topological Relations
– unknown authors
- 1991
|
|
1
|
Cohn: "Thought and
– Frisch, G
- 1990
|
|
1
|
Egenhofer: "Towards Formal Definitions of Topological Relations among Spatial Objects
– Pullar, M
- 1988
|
|
1
|
Faloutsos and T. Sellis: "An Efficient Pictorial Database System for PSQL
– Roussopoulos, C
- 1988
|
|
