Interoperability between biomedical ontologies through relation expansion, upper-level ontologies and automatic reasoning. - Robert Hoehndorf (Public Library of Science (PLoS), 2011)