Complete logics for QSR: A guide to plane mereotopology

Journal of Visual Languages and Computing

Volumn 9, Issue 1, 1998, Pages 5-21

  Lemon, Oliver ^a   Pratt, Ian ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Completeness; Formal semantics; GIS; Logic; Ontology; Space

Indexed keywords

EID: 0031992703     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jvlc.1997.0068     Document Type: Article

References (28)

1. 1. N. Asher & L. Vieu (1995) Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology. In: International Joint Conference on Artificial Intelligence (IJCAI'95). AAAI Press, New York.
2. 2. P. Balbiani, L. Farinas del Cerro, T. Tinchev & D. Vakarelov (1996) Geometrical structures and model logic. In: Practical Reasoning(Gabbay and Ohlbach, eds), Lecture Notes in Artificial Intelligence, Vol. 1085. Springer, Berlin, 1996. Formal Aspects of Practical Reasoning '96.
3. 3. B. Bennett (1994) Spatial reasoning with prepositional logics. In: Principles of Knowledge Representation and Reasoning Proceedings of the 4th International Conference (KR '94), San Francisco, CA (J. Doyle, E. Sandewall and P. Torasso, eds). Morgan Kaufmann, Los Altos, CA.
4. 4. B. Bennett (1995) Modal logics for qualitative spatial reasoning. Bulletin of the IGPL 3, 1-22.
5. 5. L. Biacino & G. Gerla (1991) Connection structures. Notre Dame Journal of Formal Logic 32, 242-247.
6. 6. S. Borgo, N. Guarino & C. Masolo (1996) A pointless theory of space based on strong connection and congruence. In: Principles of Knowledge Representation and Reasoning. Proceedings of the 5th International Conference (KR '96), San Francisco, CA (L. C. Aiello, J. Doyle and S. C. Shapiro, eds). Morgan Kaufmann, Los Altos, CA, pp. 220-229.
7. 7. R. Casati & A. Varzi (1994) Holes and other Superficialities. MIT Press, Cambridge, MA.
8. 8. R. Casati & A. Varzi (1996) The structure of spatial localization. Philosophical Studies 82, 205-239.
9. 9. B. L. Clarke (1981) A calculus of individuals based on 'connection'. Notre Dame Journal of Formal Logic 23, 204-218.
10. 10. B. L. Clarke (1985) Individuals and points. Notre Dame Journal of Formal Logic 26, 61-75.
11. 11. C. Dornheim (1996) Vergleichende Analyse topologischer Ansätze des qualitativen räumlichen Schließens. Technical Report FBI-HH-M-253/96, Universität Hamburg, Vogt-Kölln-Straße 30, D-22527 Hamburg.
12. 12. N. Gotts, J. Gooday & A. Cohn (1996) A connection based approach to commonsense topological description and reasoning. Monist 79, 51-75.
13. 13. N. M. Gotts (1994) How far can we 'C'? Defining a 'Doughnut' using connection alone. In: Proceedings of the 4th International Conference on Knowledge Representation and Reasoning. Morgan Kaufmann, Los Altos, CA
14. 14. D. Hernández (1994) Qualitative Representation of Spatial Knowledge, Lecture Notes in Artificial Intelligence. Springer, Berlin.
15. 15. R. Jeansoulin & C. Mathieu (1995) Revisable spatial knowledge by means of a spatial modal logic. In: Joint European Conference on GIS, The Hague, Netherlands.
16. 16. O. Lemon (1996) Semantical foundations of spatial logics. In: Principles of Knowledge Representation and Reasoning. Proceedings of the 5th International Conference (KR '96), San Francisco, CA (L. C. Aiello, J. Doyle and S. C. Shapiro, eds). Morgan Kaufmann, Los Altos, CA, pp. 212-219.
17. 17. O. Lemon & I. Pratt (1996) Incomplete spatial logics: on the foundations of computational geography. In: Proceedings cf the 1st International Conference on Geo Computation'96, Vol. II. School of Geography, Leeds, pp. 504-516.
18. 18. O. Lemon & L. Pratt (1997) On the incompleteness of modal logics of space: advancing complete modal logics of place. In: Advances in Modal Logic (M. Kracht, M. de Rijke, H. Wansing, M. Zakharyaschev, eds). CSLI Publications, Stanford, pp. 113-130.
19. 19. O. Lemon & I. Pratt (1997) Spatial logic and the complexity of diagrammatic reasoning. Machine GRAPHICS and VISION 6, 89-108. (Special Issue on Diagrammatic Representation and Reasoning).
20. 20. I. Pratt & O. Lemon (1998) Ontologies for plane, polygonal mereotopology, Notre Dame Journal of Formal Logic 38 (in press).
21. 21. I. Pratt & D. Schoop (1997) A complete axiom system for polygonal mereotopology of the real plane. Technical Report UMCS97-2-2, University of Manchester, Department of Computer Science.
22. 22. D. Randell, Z. Cui and A. Cohn (1992) A spatial logic based on regions and connection In: Proceedings of the 3rd International Conference on Knowedge Representation and Reasoning. Morgan Kaufmann, Los Altos, CA
23. 23. N. Rescher & J. Garson (1968) Topologjcal logic. Journal of Symbolic Logic 33, 537-548.
24. 24. P. Simons (1987) Parts: A Study in Ontology Clarendon Press, Oxford.
25. 25. A. Tarski (1956) Logic, Semantics, Metamathematics. Clarendon Press, Oxford.
26. 26. A. Varzi (1996) Parts, wholes and part-whole relations: the prospects of mereotopology. Data and Knowledge Engineering 20, 259-286.
27. 27. G. H. von Wright (1979) A model logic of place. In: The Philosophy of Nicholas Rescher: Discussion and Replies (E. Sosa, ed). D. Reidel, Dordrecht, Holland, pp. 65-73.
28. 28. A. N. Whitehead (1929) Process and Reality. The MacMillan Company, New York.