SPARQS: A qualitative spatial reasoning engine

Knowledge-Based Systems

Volumn 17, Issue 2-4, 2004, Pages 89-102

  El Geresy, Baher A ^a   Abdelmoty, Alia I ^b  

^a UNIVERSITY OF GLAMORGAN   (United Kingdom)

^b CARDIFF UNIVERSITY   (United Kingdom)

Author keywords

Qualitative spatial reasoning; Qualitative spatial representation; Spatial composition tables

Indexed keywords

CONSTRAINT THEORY; DATABASE SYSTEMS; FORMAL LOGIC; GEOGRAPHIC INFORMATION SYSTEMS; GRAPHICAL USER INTERFACES; KNOWLEDGE ACQUISITION; TABLE LOOKUP;

QUALITATIVE SPATIAL REASONING; QUALITATIVE SPATIAL REPRESENTATION; REASONING ENGINES; SPATIAL COMPOSITION TABLES;

INFERENCE ENGINES;

EID: 3242661681     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2004.03.004     Document Type: Conference Paper

References (28)

1. El-Geresy B.A., Abdelmoty A.I. Order in space: a general formalism for spatial reasoning. International Journal of Artificial Intelligence Tools. 6:(4):1997;423-450.
2. Bennett B. Spatial reasoning with propositional logics. Principles of Knowledge Representation and Reasoning (KR94). 1994;Morgan Kaufmann. pp. 51-62.
3. B. Bennett, A. Isli, A. G. Cohn, When does a Composition Table Provide a Complete and Tractable Proof Procedure for a Relational Constraint Language?, Proceedings of the IJCAI - 97 workshop on Spatial and Temporal Reasoning, Nagoya, Japan, 1997.
4. Bloch I. Fuzzy relative position between objects in image processing: a morphological approach. IEEE Transactions on Pattern Analysis and Machine Intelligence. 21:(7):1999;657-664.
5. Brown A.G.P., Coenen F.P. Spatial reasoning: improving computational efficiency. Automation in Construction. 9:(4):2000;336-361.
6. Clementini A., Di Felice P. A model for representing topological relationships between complex geometric features in spatial databases. Information Sciences. 3:1995;149-178.
7. Clementini E., Di Felice P. An algebraic model for spatial objects with indeterminate boundaries. Burrough P.A., Frank A.U. Geographic Objects with Indeterminate Boundaries, GISDATA. 1996;155-169 Taylor & Francis, New York.
8. Clementini E., Di Felice P., Califano G. Composite regions in topological queries. Information Systems. 20:(7):1995;579-594.
9. Coenen F.P., Pepijn V. A generic ontology for spatial reasoning. Research and Development in Expert Systems XV, Proceedings of ES'98. 1998;Springer, Berlin. pp. 44-57.
10. Cohn A.G., Hazarika S.M. Qualitative spatial representation and reasoning: an overview. Fundamenta Informaticae. 46:(1/2):2001;1-29.
11. Cohn A.G., Bennett B., Gooday J., Gotts N.M. Qualitative spatial representation and reasoning with the region connection calculus. Geoinformatica. 1:(3):1997;1-42.
12. Cohn A.G., Gotts N.M. The 'egg-yolk' representation of regions with indeterminate boundaries. Burrough P.A., Frank A.U. Geographic Objects with Indeterminate Boundaries, GISDATA. 1996;Taylor & Francis, New York. pp. 171-187.
13. Cohn A.G., Randell D.A., Cui Z., Bennet B. Qualitative spatial reasoning and representation. Carrete P., Singh M.G. Qualitative Reasoning and Decision Technologies. 1993;. pp. 513-522.
14. Egenhofer M.J. Deriving the composition of binary topological relations. Journal of Visual Languages and Computing. 5:1994;133-149.
15. Egenhofer M.J., Clementini E., Di Felicem P. Topological relations between regions with holes. International Journal of Geographic Information Systems. 8:(2):1994;129-142.
16. Egenhofer M.J., Franzosa R.D. PointSet topological spatial relations. International Journal of Geographic Information Systems. 5:(2):1991;161-174.
17. Egenhofer M.J., Herring J.R. A mathematical framework for the definition of topological relationships. Proceedings of the Fourth International Symposium on Spatial Data Handling. vol. 2:1990;803-813.
18. Guesgen H.W., Albrech J. Imprecise reasoning in geographic information systems. Fuzzy Sets and Systems. 113:(1):2000;121-131.
19. H.W. Guesgen, Spatial reasoning based on allen's temporal logic, Technical Report TR-89-049, International Computer Science Institute, Berkeley, CA, 1989.
20. Karbou F. An interval approach to fuzzy surroundedness and fuzzy spatial relations. 19th International Conference of the North American Fuzzy Information Processing Society. 2000.
21. Lee S.-Y., Hsu F.-J. Picture algebra for spatial reasoning of iconic images represented in 2D C-string. Pattern Recognition. 12:1991;425-435.
22. Mukerjee A., Joe G. A qualitative model for space. Proceeding of the Eighth National Conference on Artificial Intelligence. 1990;AAAI.
23. Nguyen V.H., Parent C., Spaccapietra S. Complex regions in topological queries. Proceeding of the International Conference on Spatial Information Theory COSIT'97, LNCS 1329. 1997;Springer, Berlin. pp. 175-192.
24. Papadias D., Sellis T. Spatial reasoning using symbolic arrays. Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, LNCS 716. 1992;Springer, Berlin. pp. 153-161.
25. Randell D., Wikowski M. Building large composition tables via axiomatic theories. Principles of Knowledge Representation and Reasoning: Proceedings of the Eighth International Conference (KR-2002). 2002;AAAI Press. pp. 26-35.
26. Randell D.A., Cohn A.G., Cui Z. Computing transitivity tables: a challenge for automated theorem provers. Proceedings of CADE 11, Lecture Notes in Computer Science. 1992.
27. Sridharan K., Stephanou H.E. Fuzzy distances for proximity characterization under uncertainty. Fuzzy Sets and Systems. 103:(3):1999;427- 434.
28. Worboys M.F., Clementini E. Integration of imperfect spatial information. Journal of Visual Languages and Computing. 12:2001;61-80.