Formalising bio-spatial knowledge

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

Volumn , Issue , 2001, Pages 198-209

  Cohn, Anthony G ^a  

^a UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

DNA; Logic; Molecular biology; Ontology; Qualitative spatial reasoning; Space

Indexed keywords

CELLS; DNA; MOLECULAR BIOLOGY; TOPOLOGY;

BIO-INFORMATIC INFORMATION SYSTEMS;

INFORMATION SCIENCE;

EID: 0035789844     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/505168.505188     Document Type: Conference Paper

References (23)

1. ALBERTS, B., BRAY, D., JOHNSON, A., LEWIS, J., RAFF, M., ROBERTS, K., AND WALTER, P. Essential Cell Biology. Garland Publishing, NY, 1997.
2. ARTALE, A., FRANCONI, E., GUARINO, N., AND PAZZI, L. Part-whole relations in object-centered systems: An overview. Data and Knowledge Engineering (October 1996).
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., COHN, A. G., TORRINI, P., AND HAZARIKA, S. M. Region based qualitative geometry. Tech. Rep. Report 2000.07, University of Leeds, School of Computing, Leeds, LS2 9JT, 2000.
6. 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.
7. CASATI, R., AND VARZI, A. Holes and Other Superficialities. MIT Press, Cambridge, MA, 1994.
8. COHN, A. G. A hierarchical representation of qualitative shape based on connection and convexity. In Proc COSIT95 (1995), A. M. Frank, Ed., LNCS, Springer Verlag, pp. 311-326.
9. COHN, A. G., BENNETT, B., GOODAY, J., AND GOTTS, N. RCC: a calculus for region based qualitative spatial reasoning. GeoInformatica 1 (1997), 275-316.
10. COHN, A. G., AND HAZARIKA, S. Qualitative spatial representation and reasoning: An overview. Fundamenta Informaticae 46 (2001), 1-29.
11. COHN, A. G., AND HAZARIKA, S. M. Continuous transitions in mereotopology. In Proc. Commonsense'01 (2001).
12. COHN, A. G., RANDELL, D. A., AND GUI, Z. Taxonomies of logically defined qualitative spatial relations. Int. J of Human-Computer Studies 43 (1995), 831-846.
13. CRISTANI, M. The Complexity of Reasoning about Spatial Congruence. Journal of Artificial Intelligence Research 11 (1999), 361-390.
14. DAVIS, E. The kinematics of cutting solid objects. Annals of Mathematics and Artificial Intelligence 9, 3,4 (1993), 253-305.
15. DAVIS, E., GOTTS, N., AND COHN, A. G. Constraint networks of topological relations and convexity. Constraints 4, 3 (1999), 241-280.
16. FLAPAN, E. When Topology Meets Chemistry: A Topological Look at Molecular Chirality. Cambridge University Press, 2000.
17. GUARINO, N., BORGO, S., AND MASOLO, C. Logical modelling of product knowledge: Towards a well-founded semantics for step. In European Conference on Product Data Technology (PDT Days 97), (1997), Sophia Antipolis, France.
18. HAYES, P. J. The second naive physics manifesto. In Formal Theories of the Commonsense World, J. R. Hobbs and B. Moore, Eds. Ablex, 1985, pp. 1-36.
19. HAZARIKA, S. M., AND COHN, A. G. Qualitative spatio-temporal continuity. In Proc. COSIT'01 (2001), LNCS, Springer Verlag.
20. KAMPS, J. On criteria for formal theory building: Applying logic and autmoated reasoning tools to the social sciences. In Proc. AAAI'99 (1999), AAAI Press, pp. 285-90.
21. MULLER, P. A qualitative theory of motion based on spatio-temporal primitives. In Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR-98) (1998), A. G. Cohn, L. Schubert, and S. Shapiro, Eds., Morgan Kaufman, pp. 131-141.
22. RANDELL, D. A., COHN, A. G., AND GUI, Z. Naive topology: Modelling the force pump. In Advances in Qualitative Physics, P. Struss and B. Faltings, Eds. MIT Press, 1992, pp. 177-192.
23. SIMONS, P. Parts: A Study In Ontology. Clarendon Press, Oxford, 1987.