Space, time, matter and things

Formal Ontology in Information Systems: Collected Papers from the Second International Conference

Volumn , Issue , 2001, Pages 105-116

  Bennett, Brandon ^a  

^a UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

Logic; Matter; Ontology; Space; Things; Time

Indexed keywords

GEOMETRY; SEMANTICS; STANDARDIZATION;

REGION-BASED GEOMETRY (RBG);

INFORMATION SCIENCE;

EID: 0035789883     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/505168.505179     Document Type: Conference Paper

References (23)

1. BENNETT, B. A categorical axiomatisation of region-based geometry. Fundamenta Informaticae 46, 1-2 (2001), 145-158.
2. BENNETT, B., COHN, A., TORRINI, P., AND HAZARIKA, S. Region-based qualitative geometry. Tech. Rep. 2000.07, University of Leeds, School of Computer Studies, LS2 9JT, UK, 2000. www.scs.leeds.ac.uk/services/reports/2000.html.
3. BENNETT, B., COHN, A. G., TORRINI, P., AND HAZARIKA, S. M. Describing rigid body motions in a qualitative theory of spatial regions. In Proceedings of AAAI-2000 (2000), H. A. Kautz and B. Porter, Eds., pp. 503-509.
4. BENNETT, B., COHN, A. G., TORRINI, P., AND HAZARIKA, S. M. A foundation for region-based qualitative geometry. In Proceedings of ECAI-2000 (2000), W. Horn, Ed., pp. 204-208.
5. BENNETT, B., AND GALTON, A. P. A unifying semantics for time and events. Tech. rep., QSR Group Technical Report, School of Computing, University of Leeds, Leeds LS2 9JT, UK, June 2000. Available from web at http://www.scs.leeds.ac.uk/pub/doc/srg/time_tech_qsr.ps.
6. BENNETT, B., AND GALTON, A. P. A versatile representation for time and events. In Fifth Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2001) (2001). to be published on symposium web site.
7. BORGO, S., GUARINO, N., AND MASOLO, C. A pointless theory of space based on strong congruence and connection. In Principles of Knowledge Representation and Reasoning, Proceedings of the 5th International Conference, KR96 (1996), L. C. Aiello and J. Doyle, Eds., Morgan Kaufmann.
8. BORGO, S., GUARINO, N., AND MASOLO, C. An ontological theory of physical objects. In Proceedings of Eleventh International Workshop on Qualitative Reasoning (QR'97) (Cortona, Italy, 1997), L. Ironi, Ed., pp. 223-231. http://www.ladseb.pd.cnr.it/infor/Ontology/Papers/QR97.pdf.
9. FRANK, A. Spatial ontology: a geographical information point of view. In Spatial and Temporal Reasoning, O. Stock, Ed. Kluwer, Dordrecht, 1997, ch. 5, pp. 321-352.
10. GALTON, A. P. Space, time and movement. In Spatial and Temporal Reasoning, O. Stock, Ed. Kluwer, Dordrecht, 1997, ch. 10, pp. 321-352.
11. GALTON, A. P. Transitions in continuous time, with an application to qualitative changes in spatial relations. In Advances in Temporal Logic (Proceedings of the Second International Conference on Temporal Logic, ICTL'97) (2000), H. B. et al., Ed., Kluwer, pp. 279-297.
12. GUARINO, N., Ed. Formal ontology in information systems: Proceedings of the 1st international conference (FOIS-98), vol. 46 of Frontiers in Artificial Intelligence and Applications. Ios Press, Trento, June 1998.
13. GUHA, R. V., AND LENAT, D. B. CYC: a mid-term report. AI Magazine 11, 3 (1990), 32-59.
14. GUPTA, A. The Logic of Common Nouns: an investigation in quantified modal logic. Yale University Press, New Haven, 1980.
15. HELLER, M. The Ontology of Physical Objects. Cambridge University Press, 1991.
16. HUGHES, C. Is a thing just the sum of its parts? Proceedings of the Aristotelian Society 86 (1986), 213-233.
17. McDERMOTT, D. A temporal logic for reasoning about processes and plans. Cognitive Science 6 (1982), 101-155.
18. MULLER, P. Space-time as a primitive for space and motion. In Formal ontology in information systems: Proceedings of the 1st international conference (FOIS-98) (Trento, June 1998), N. Guarino, Ed., vol. 46 of Frontiers in Artificial Intelligence and Applications, Ios Press, pp. 63-76.
19. RANDELL, D., CUI, Z., AND COHN, A. A spatial logic based on regions and connection. In Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning (San Mateo, 1992), Morgan Kaufmann, pp. 165-176.
20. SIMONS, P. Parts: A Study In Ontology. Clarendon Press, Oxford, 1987.
21. THOMASON, R. Combinations of tense and modality. In Handbook of Philosophical Logic, D. Gabbay and F. Guenthner, Eds., vol. II. Reidel, 1984, ch. 3, pp. 135-165.
22. VARZI, A. Basic problems of mereotopology. In Formal ontology in information systems: Proceedings of the 1st international conference (FOIS-98) (Trento, June 1998), N. Guarino, Ed., vol. 46 of Frontiers in Artificial Intelligence and Applications, Ios Press, pp. 29-38.
23. VON KUTSCHERA, F. T × W completeness. Journal of Philosophical Logic 26, 3 (1997), 241-251.