Logical Knowledge Representation of Regulatory Relations in Biomedical Pathways

Knowledge on regulatory relations, in for example regulatory pathways in biology, is used widely in experiment design by biomedical researchers and in systems biology. The knowledge has typically either been represented through simple graphs or through very expressive differential equation simulations of smaller sections of a pathway. As an alternative, in this work we suggest a knowledge representation of the most basic relations in regulatory processes regulates, positively regulates and negatively regulates in logics based on a semantic analysis. We discuss the usage of these relations in biology and in artificial intelligence for hypothesis development in drug discovery.

[1]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[2]  José Meseguer,et al.  Pathway Logic: Symbolic Analysis of Biological Signaling , 2001, Pacific Symposium on Biocomputing.

[3]  Frank Wolter,et al.  Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.

[4]  R Heinrich,et al.  Metabolic regulation and mathematical models. , 1977, Progress in biophysics and molecular biology.

[5]  B. Baets,et al.  Metarel: An Ontology to Support the Inferencing of Semantic Web Relations within Biomedical Ontologies , 2009 .

[6]  Torben Braüner,et al.  First-order modal logic , 2007, Handbook of Modal Logic.

[7]  Ulrike Sattler,et al.  Mary Likes all Cats , 2000, Description Logics.

[8]  Troels Andreasen,et al.  SIABO - Semantic Information Access through Biomedical Ontologies , 2009, KEOD.

[9]  Sine Zambach.  A Formal Framework on the Semantics of Regulatory Relations and Their Presence as Verbs in Biomedical Texts , 2009, FQAS.

[10]  Barry Smith,et al.  The Role of Foundational Relations in the Alignment of Biomedical Ontologies , 2004, MedInfo.

[11]  Jan Scheffczyk,et al.  BioFrameNet: A Domain-Specific FrameNet Extension with Links to Biomedical Ontologies , 2006, KR-MED.

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

[13]  Susumu Goto,et al.  KEGG: Kyoto Encyclopedia of Genes and Genomes , 2000, Nucleic Acids Res..

[14]  Ulrike Sattler,et al.  The Complexity of Reasoning with Boolean Modal Logics , 2000, Advances in Modal Logic.

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

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

[17]  Steffen Schulze-Kremer,et al.  BioSim: A New Qualitative Simulation Environment for Molecular Biology , 1998, ISMB.

[18]  Franz Baader.  Description Logics , 2009, Reasoning Web.

[19]  Dietrich Rebholz-Schuhmann,et al.  Gene Regulation Ontology (GRO): Design Principles and Use Cases , 2008, MIE.

[20]  T. Ideker,et al.  Supporting Online Material for A Systems Approach to Mapping DNA Damage Response Pathways , 2006 .

[21]  Lincoln Stein,et al.  Reactome knowledgebase of human biological pathways and processes , 2008, Nucleic Acids Res..