She specializes in logic with applications to ontology-based reasoning in bioinformatics and other fields. Her research interests include 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.