title: Spatial location and its relevance for terminological inferences in bio-ontologies.
abstract: BACKGROUND
  An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggregation and containment.
  
  
  RESULTS
  We demonstrate that the proposed formalism allows to deal consistently with "role propagation along non-taxonomic hierarchies", a problem which had repeatedly been identified as an intricate reasoning problem in biomedical ontologies.
  
  
  CONCLUSIONS
  The proposed approach seems to be suitable for the redesign of compositional hierarchies in (bio)medical terminology systems which are embedded into the framework of the OBO (Open Biological Ontologies) Relation Ontology and are using knowledge representation languages developed by the Semantic Web community.
authors: Medical Informatics Department, Freiburg University Hospital, Freiburg, Germany. stschulz@uni-freiburg.de
authors: Stefan
authors: S
authors: Schulz
authors: Kornél
authors: K
authors: Markó
authors: Udo
authors: U
authors: Hahn
mesh_terms: D002965:Classification / Q000379:methods*; D019295:Computational Biology / Q000379:methods*; D016208:Databases, Factual; D016247:Information Storage and Retrieval / Q000379:methods*; D008128:Logic; D008962:Models, Theoretical; D012660:Semantics