Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences

@incollection{citeulike:1430800, abstract = {In this paper, we propose a formulation for inference rules in Drug Interaction Ontology (DIO). Our formulation for inference rules is viewed from the standpoint of process-description. The relations in DIO are now described as resource-sensitive linear logical implications. The compositional reasoning on certain drug-interactions discussed in our previous work on DIO is represented as a construction of a linear logical proof. As examples of our formulation, we use some anti-cancer drug interactions.1}, author = {Okada, Mitsuhiro and Sugimoto, Yutaro and Yoshikawa, Sumi and Konagaya, Akihiko }, citeulike-article-id = {1430800}, doi = {10.1007/11780274\_32}, journal = {Algebra, Meaning and Computation}, keywords = {drug, interaction, ontology, semantic\_web}, pages = {616--642}, posted-at = {2007-07-03 14:17:00}, priority = {5}, title = {Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences}, url = {http://dx.doi.org/10.1007/11780274\_32}, year = {2006} }

TY - CHAP ID - citeulike:1430800 L3 - citeulike-article-id:1430800 TI - Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences JF - Algebra, Meaning and Computation SP - 616 EP - 642 N2 - In this paper, we propose a formulation for inference rules in Drug Interaction Ontology (DIO). Our formulation for inference rules is viewed from the standpoint of process-description. The relations in DIO are now described as resource-sensitive linear logical implications. The compositional reasoning on certain drug-interactions discussed in our previous work on DIO is represented as a construction of a linear logical proof. As examples of our formulation, we use some anti-cancer drug interactions.1 KW - drug KW - interaction KW - ontology KW - semantic_web AU - Okada, Mitsuhiro AU - Sugimoto, Yutaro AU - Yoshikawa, Sumi AU - Konagaya, Akihiko PY - 2006/// UR - http://dx.doi.org/10.1007/11780274_32 ER -