Formal system of interactions on biomedical ontology

  • Authors:

  • Naoko Izumi;Naoki Yonezaki

  • Affiliations:

  • Graduate School of Information Science and Engineering, Tokyo Institute of Technology and Faculty of Social and Information Science, Jumonji University;Graduate School of Information Science and Engineering, Tokyo Institute of Technology

  • Venue:
  • Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

A huge amount of interaction knowledge among biological materials has been accumulated and it is most urgent that they are properly used to discover hidden phenomena in life. These data of interactions describe those among many kinds of objects and reactions on different levels of life or different time scales in similar way. In this paper, we formalize two general concepts of biological interaction functions i.e. inhibition and activation, and present a formal system of the ontology of them. This formal system is an axiomatic system which represents the general concepts of interactions not only between objects but also between reactions and on pathways of reactions. We demonstrate the applicability of the formal system to the real world phenomena of drugs poisoning in pharmacy.