Bioinformatics; Formal ontology; Qualitative spatial, temporal, and spatio-temporal reasoning; Approximate reasoning, representation and reasoning about vagueness and indeterminacy; Medical ...