Formalising bio-spatial knowledge

Authors:
Anthony G. Cohn
Affiliations:
University of Leeds, Leeds, UK
Venue:
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Year:
2001

Citing 9
Cited 7

Naive topology: modeling the force pump

Recent advances in qualitative physics
Taxonomies of logically defined qualitative spatial relations

International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Part-whole relations in object-centered systems: an overview

Data & Knowledge Engineering - Special issue on modeling parts and wholes
On criteria for formal theory building: applying logic and automated reasoning tools to the social sciences

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Constraint Networks of Topological Relations and Convexity

Constraints
Qualitative Spatial Representation and Reasoning with the Region Connection Calculus

Geoinformatica
Qualitative Spatio-Temporal Continuity

COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Qualitative Spatial Representation and Reasoning: An Overview

Fundamenta Informaticae - Qualitative Spatial Reasoning

Biomedical ontologies: what part-of is and isn't

Journal of Biomedical Informatics - Special issue: Biomedical ontologies
A formal theory for reasoning about parthood, connection, and location

Artificial Intelligence
From GENIA to BIOTOPTowards a Top-Level Ontology for Biology

Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Layered mereotopology

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A formal theory for reasoning about parthood, connection, and location

Artificial Intelligence
Automated ontology generation using spatial reasoning

KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Anatomical information science

COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

There is now a growing literature on qualitative spatialrepresentations covering many aspects of spatial representationincluding mereology, topology, orientation and distance. In thispaper I will briefly outline some of these approaches toqualitative spatial representation and then apply these theories tothe task of formalising a non-trivial domain: that of representingcell structure. The paper is thus a contribution to the evaluationof qualitative spatial representations and spatial ontologies andmay form the basis of a bio-informatic information system.