Bioinformatics; Formal ontology; Qualitative spatial, temporal, and spatio-temporal reasoning; Approximate reasoning, representation and reasoning about vagueness and indeterminacy; Medical information science; Theoretical foundations of geographic information systems; Spatial information science and formal geography