Large-scale reasoning over functions in biomedical ontologies

Robert Hoehndorf*, Liam Mencel, Georgios V. Gkoutos, Paul N. Schofield

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)
92 Downloads (Pure)


A large number of biomedical resources have been developed to represent the functions of biological entities, and these resources are widely used for data integration and analysis. Expressing functions in biomedical ontologies currently uses formal representation patterns that renders basic reasoning tasks to fall in complexity classes beyond polynomial time, thereby limiting the potential of using knowledge-based methods for data integration, querying or quality control. Here, we propose an alternative representation pattern for expressing knowledge about biological functions, together with a biological and ontological justification, which can be expressed using the description logic EL++ and implemented using the OWL 2 EL profile. To demonstrate the utility of our account of biological functions, we apply it to all proteins contained in the SwissProt database and evaluate its utility with respect to answering complex queries as well with respect to the classification and query times.

Original languageEnglish
Title of host publicationFrontiers in Artificial Intelligence and Applications
EditorsRoberta Ferrario, Werner Kuhn
PublisherIOS Press
ISBN (Electronic)978-1614996606
ISBN (Print)978-1614996590
Publication statusPublished - Jul 2016
Event9th Formal Ontology in Information Systems Conference, FOIS 2016 - Annecy, France
Duration: 6 Jul 20169 Jul 2016

Publication series

NameFrontiers in Artificial Intelligence and Applications
ISSN (Print)0922-6389


Conference9th Formal Ontology in Information Systems Conference, FOIS 2016


  • Big ontologies
  • Biological function
  • Protein
  • Tractable reasoning

ASJC Scopus subject areas

  • Artificial Intelligence


Dive into the research topics of 'Large-scale reasoning over functions in biomedical ontologies'. Together they form a unique fingerprint.

Cite this