Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/the-galois-lattice-as-a-hierarchical-structure-for-topological-bH0YqBUaQ3
References (53)
-
(1999)
M(cid:246)ller -
M.J. Egenhofer, J. Sharma (1993)
Advances in Spatial Databases, Third International Symposium, SSD’93, Singapore, LNCS 692 -
B. Bennett, A. Isli, A. Cohn (1998)
A System Handling RCC-8 Queries on 2D Regions Representable in the Closure algebra of Half-Planes -
M. Egenhofer, R. Franzosa (2001)
Point-Set Topological Spatial Relations -
D. Randell, M. Witkowski (2002)
Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France -
Anthony Cohn, Jochen Renz (2008)
Qualitative Spatial Representation and Reasoning -
M. Egenhofer (1989)
A Formal Definition of Binary Topological Relationships -
B. Davey, H. Priestley (1990)
Introduction to lattices and order -
B. Bennett, A. Isli, A.G. Cohn (1998)
Proceedings of the 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA-AIE), LNCS 1415 -
Thomas Russ, R. MacGregor, B. Salemi, K. Price, R. Nevatia (1996)
VEIL: Combining Semantic Knowledge with Image Understanding -
R.M. MacGregor (1991)
Inside the LOOM Description ClassifierACM Sigart Bulletin, 2
-
V. Duquenne (1999)
Latticial Structures in Data AnalysisTheor. Comput. Sci., 217
-
Petko Valtchev, R. Missaoui, R. Godin (2004)
Formal Concept Analysis for Knowledge Discovery and Data Mining: The New Challenges -
Sébastien Ferré, S. Rudolph (2009)
Formal Concept Analysis -
R. Wille (1999)
Formal Concept Analysis: Tutorial on formal concept analysisElectron. Notes Discret. Math., 2
-
R. MacGregor (1991)
Inside the LOOM description classifierSIGART Bull., 2
-
D. Randell, Anthony Cohn (1992)
Exploiting lattices in a theory of space and timeComputers & Mathematics With Applications, 23
-
F. Ber, A. Napoli (2003)
Design and comparison of lattices of topological relations for spatial representation and reasoningJournal of Experimental & Theoretical Artificial Intelligence, 15
-
B. Bennett (1994)
Spatial Reasoning with Propositional Logics -
D.A. Randell, A.G. Cohn, Z. Cui (1992)
Proceedings of the 11th international conference on automated deduction, CADE’92, LNCS 607 -
A. Simon, A. Napoli (1999)
Proceedings of the first international conference on information reuse and integration (IRI’99) -
Jochen Renz, H. Guesgen (2008)
Spatial and Temporal ReasoningSpatial Cognition & Computation, 8
-
K. Price, Thomas Russ, R. MacGregor (1994)
Knowledge Representation for Computer Vision: The VEIL Project -
Ralf Möller, Michael Wessel (1999)
Terminological Default Reasoning about Spatial Information: A First Step -
B. Bennett (1994)
Proceeding of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR’94) -
Florence Ber, A. Napoli
The Design of an Object-based System for Representing and Classifying Spatial Structures and Relations -
V. Duquenne (1987)
Beiträge zur Begriffsanalyse -
G. Ligozat (1999)
Simple Models for Simple Calculi -
Arnaud Simon, A. Napoli (1999)
Building Viewpoints in an Object-Based Representation System for Knowledge Discovery in Databases -
(1991)
Y3 : YAFOOL, the object oriented language -
M.J. Egenhofer (1989)
Foundations of Data Organization and Algorithms, FODO 1989, Paris, France, LNCS 367 -
D.A. Randell, A.G. Cohn (1992)
Exploiting lattices in a theory of space and time. Comput. Math. Appl., 23
-
F. Ber, A. Napoli, J. Metzger, S. Lardon (2003)
Modeling and Comparing Farm Maps using Graphs and Case-based ReasoningJ. Univers. Comput. Sci., 9
-
M. Egenhofer, J. Sharma (1993)
Topological Relations Between Regions in R² and Z² -
L. Vieu (1997)
Spatial Representation and Reasoning in Artificial Intelligence -
(1970)
Ordre et classi cation Algèbre et combinatoire -
R. MacGregor, David Brill (1992)
Recognition Algorithms for the Loom Classifier -
D. Randell, M. Witkowski (2002)
Building Large Composition Tables via Axiomatic Theories -
R. Godin, R. Missaoui (1994)
An Incremental Concept Formation Approach for Learning from DatabasesTheor. Comput. Sci., 133
-
L. Mangelinck (1998)
Représentation et classification de structures spatiales - Application à la reconnaissance de paysages agricoles. (Representation and classification of spatial structures : recognition of landscap patterns) -
R. Wille (1992)
Concept lattices and conceptual knowledge systemsComputers & Mathematics With Applications, 23
-
D.A. Randell, Z. Cui, A.G. Cohn (1992)
3rd International Conference on Principles of Knowledge Representation and Reasoning -
W. Kainz, M. Egenhofer, Ian Greasley (1993)
Modelling Spatial Relations and Operations with Partially Ordered SetsInt. J. Geogr. Inf. Sci., 7
-
J. Guigues, V. Duquenne (1986)
Familles minimales d'implications informatives résultant d'un tableau de données binaires, 95
-
D. Randell, A. Cohn, Zhan Cui (1992)
Computing Transivity Tables: A Challenge For Automated Theorem Provers -
D. Randell, Z. Cui, A. Cohn (1992)
A Spatial Logic based on Regions and Connection -
Anthony Cohn, B. Bennett, J. Gooday, N. Gotts (1997)
Representing and Reasoning with Qualitative Spatial Relations About Regions -
B. Clarke (1981)
A calculus of individuals based on "connection"Notre Dame J. Formal Log., 22
-
W. Litwin, H. Schek (1989)
Foundations of Data Organization and Algorithms, 367
-
F. Ber, Ludmila Mangelinck (1998)
A Formal Representation of Landscape Spatial Patterns to Analyze Satellite Images, 12
-
(1998)
Représentation et classi cation de structures spatiales -
V. Haarslev, C. Lutz, Ralf Möller (1999)
A Description Logic with Concrete Domains and a Role-forming Predicate OperatorJ. Log. Comput., 9
-
D. Montello (2001)
Spatial Information Theory, 2205
- Publisher
- Springer Journals
- Copyright
- Copyright © 2007 by Springer Science+Business Media B.V.
- Subject
- Computer Science; Complexity; Computer Science, general ; Mathematics, general; Artificial Intelligence (incl. Robotics)
- ISSN
- 1012-2443
- eISSN
- 1573-7470
- DOI
- 10.1007/s10472-007-9054-5
- Publisher site
- See Article on Publisher Site
Abstract
This paper presents the construction and the comparison of Galois lattices of topological relations for qualitative spatial representation and reasoning. The lattices rely on a correspondence between computational operations working on quantitative data, on the one hand, and topological relations working on qualitative knowledge units, on the other hand. After introducing the context of the present research work, i.e. the RCC-8 model of topological relations, we present computational operations for checking topological relations on spatial regions. From these operations are derived two sets of computational conditions that can be associated to topological relations through a Galois connection. The associated Galois lattices are presented and compared. Elements on the practical use of the lattices for representing spatial knowledge and for reasoning are also introduced and discussed.
Journal
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Jun 29, 2007