Sciweavers

35 search results - page 1 / 7
» A formal theory for spatial representation and reasoning in ...
Sort
View
ARTMED
2006
80views more  ARTMED 2006»
13 years 4 months ago
A formal theory for spatial representation and reasoning in biomedical ontologies
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...
Maureen Donnelly, Thomas Bittner, Cornelius Rosse
BIOINFORMATICS
2007
72views more  BIOINFORMATICS 2007»
13 years 4 months ago
The qualitative and time-dependent character of spatial relations in biomedical ontologies
The formal representation of mereological aspects of canonical anatomy (parthood relations) is relatively well understood. The formal representation of other aspects of canonical ...
Thomas Bittner, Louis J. Goldberg
BMCBI
2007
146views more  BMCBI 2007»
13 years 4 months ago
Spatial location and its relevance for terminological inferences in bio-ontologies
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
Stefan Schulz, Kornél G. Markó, Udo ...
KRMED
2004
13 years 5 months ago
Towards a computational paradigm for biomedical structure
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
Stefan Schulz, Udo Hahn
IJAR
2006
241views more  IJAR 2006»
13 years 4 months ago
Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology
In spatial reasoning, in particular for applications in image understanding, structure recognition and computer vision, a lot of attention has to be paid to spatial relationships ...
Isabelle Bloch