A common layer of interoperability for biomedical ontologies based on OWL EL

MOTIVATION Ontologies are essential in biomedical research due to their ability to semantically integrate content from different scientific databases and resources. Their application improves capabilities for querying and mining biological knowledge. An increasing number of ontologies is being developed for this purpose, and considerable effort is invested into formally defining them in order to represent their semantics explicitly. However, current biomedical ontologies do not facilitate data integration and interoperability yet, since reasoning over these ontologies is very complex and cannot be performed efficiently or is even impossible. We propose the use of less expressive subsets of ontology representation languages to enable efficient reasoning and achieve the goal of genuine interoperability between ontologies. RESULTS We present and evaluate EL Vira, a framework that transforms OWL ontologies into the OWL EL subset, thereby enabling the use of tractable reasoning. We illustrate which OWL constructs and inferences are kept and lost following the conversion and demonstrate the performance gain of reasoning indicated by the significant reduction of processing time. We applied EL Vira to the open biomedical ontologies and provide a repository of ontologies resulting from this conversion. EL Vira creates a common layer of ontological interoperability that, for the first time, enables the creation of software solutions that can employ biomedical ontologies to perform inferences and answer complex queries to support scientific analyses. AVAILABILITY AND IMPLEMENTATION The EL Vira software is available from http://el-vira.googlecode.com and converted OBO ontologies and their mappings are available from http://bioonto.gen.cam.ac.uk/el-ont.

[1]  Christine Golbreich,et al.  The Foundational Model of Anatomy in OWL: Experience and Perspectives , 2006, OWLED.

[2]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[3]  M. Ashburner,et al.  An ontology for cell types , 2005, Genome Biology.

[4]  Stephan Tobies,et al.  The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics , 2011, ArXiv.

[5]  Robert Stevens,et al.  Protein classification using ontology classification , 2006, ISMB.

[6]  P. Robinson,et al.  The Human Phenotype Ontology: a tool for annotating and analyzing human hereditary disease. , 2008, American journal of human genetics.

[7]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[8]  Dietrich Rebholz-Schuhmann,et al.  Interoperability between phenotype and anatomy ontologies , 2010, Bioinform..

[9]  Alan Ruttenberg,et al.  The OWL of Biomedical Investigations , 2008, OWLED.

[10]  Boontawee Suntisrivaraporn.  Empirical evaluation of reasoning in lightweight DLs on life science ontologies , 2008 .

[11]  Franz Baader,et al.  Efficient Reasoning in EL+ , 2006, Description Logics.

[12]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Profiles , 2009 .

[13]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[14]  Franz Baader,et al.  CEL - A Polynomial-Time Reasoner for Life Science Ontologies , 2006, IJCAR.

[15]  Mary E. Mangan,et al.  The Adult Mouse Anatomical Dictionary: a tool for annotating and integrating data , 2005, Genome Biology.

[16]  Michel Dumontier,et al.  A Platform for Reasoning with OWL-EL Knowledge Bases in a Peer-to-Peer Environment , 2009, OWLED.

[17]  Werner Ceusters,et al.  Referent Tracking: The Problem of Negative Findings , 2006, MIE.

[18]  Axel-Cyrille Ngonga Ngomo,et al.  Applying the functional abnormality ontology pattern to anatomical functions , 2010, J. Biomed. Semant..

[19]  José L. V. Mejino,et al.  A reference ontology for biomedical informatics: the Foundational Model of Anatomy , 2003, J. Biomed. Informatics.

[20]  M. Ashburner,et al.  Gene Ontology: tool for the unification of biology , 2000, Nature Genetics.

[21]  Tanya Z. Berardini,et al.  Cross-product extensions of the Gene Ontology , 2009, J. Biomed. Informatics.

[22]  Pantelis Topalis,et al.  A set of ontologies to drive tools for the control of vector-borne diseases , 2009, J. Biomed. Informatics.

[23]  Robert Hoehndorf,et al.  A top-level ontology of functions and its application in the Open Biomedical Ontologies , 2006, ISMB.

[24]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[25]  Alan L. Rector,et al.  Why do it the hard way? The Case for an Expressive Description Logic for SNOMED , 2008, KR-MED.

[26]  Cynthia L. Smith,et al.  The Mammalian Phenotype Ontology as a tool for annotating, analyzing and comparing phenotypic information , 2004, Genome Biology.

[27]  Russell Greiner,et al.  Efficient reasoning , 2001, CSUR.

[28]  Boris Motik,et al.  OWL 2: The next step for OWL , 2008, J. Web Semant..

[29]  Cynthia L. Smith,et al.  Integrating phenotype ontologies across multiple species , 2010, Genome Biology.

[30]  Martin Boeker,et al.  Strengths and limitations of formal ontologies in the biomedical domain. , 2009, Revista electronica de comunicacao, informacao & inovacao em saude : RECIIS.

[31]  Ian Horrocks,et al.  Practical Reasoning for Very Expressive Description Logics , 2000, Log. J. IGPL.

[32]  Franz Baader,et al.  SNOMED reaching its adolescence: Ontologists' and logicians' health check , 2009, Int. J. Medical Informatics.

[33]  Pascal Hitzler,et al.  A MapReduce Algorithm for EL+ , 2010, Description Logics.

[34]  Michel Dumontier,et al.  Relations as patterns: bridging the gap between OBO and OWL , 2010, BMC Bioinformatics.

[35]  Bijan Parsia,et al.  Pellet: An OWL DL Reasoner , 2004, Description Logics.

[36]  Dave Barker-Plummer,et al.  Language, Proof and Logic , 1999 .

[37]  Boris Motik,et al.  Hypertableau Reasoning for Description Logics , 2009, J. Artif. Intell. Res..

[38]  M. Ashburner,et al.  The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration , 2007, Nature Biotechnology.

[39]  A. Rector,et al.  Relations in biomedical ontologies , 2005, Genome Biology.

[40]  Sean Bechhofer,et al.  Igniting the OWL 1.1 Touch Paper: The OWL API , 2007, OWLED.

[41]  John M. Hancock,et al.  Building Mouse Phenotype Ontologies , 2003, Pacific Symposium on Biocomputing.

[42]  Natalya F. Noy,et al.  BioPortal: Ontologies and Integrated Data Resources at the Click of a Mouse , 2009 .

[43]  Nicola Guarino,et al.  Formal ontology, conceptual analysis and knowledge representation , 1995, Int. J. Hum. Comput. Stud..

[44]  Karen Eilbeck,et al.  Evolution of the Sequence Ontology terms and relationships , 2009, J. Biomed. Informatics.

[45]  Robert Hoehndorf,et al.  Representing default knowledge in biomedical ontologies: application to the integration of anatomy and phenotype ontologies , 2007, BMC Bioinformatics.