Drug Interaction Ontology (DIO) and the resource-sensitive logical inferences

Mitsuhiro Okada, Yutaro Sugimoto, Sumi Yoshikawa, Akihiko Konagaya

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

2 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages616-642
Number of pages27
Volume4060 LNCS
Publication statusPublished - 2006
EventSymposium on Algebra, Meaning, and Computation on Essays to Joseph A Goguen on the Occasion of His 65th Birthday - San Diego, CA, United States
Duration: 2006 Jun 272006 Jun 29

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4060 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

OtherSymposium on Algebra, Meaning, and Computation on Essays to Joseph A Goguen on the Occasion of His 65th Birthday
CountryUnited States
CitySan Diego, CA
Period06/6/2706/6/29

Fingerprint

Drug interactions
Drug Interactions
Ontology
Drugs
Resources
Interaction
Inference Rules
Formulation
Cancer
Reasoning
Neoplasms

ASJC Scopus subject areas

  • Computer Science(all)
  • Biochemistry, Genetics and Molecular Biology(all)
  • Theoretical Computer Science

Cite this

Okada, M., Sugimoto, Y., Yoshikawa, S., & Konagaya, A. (2006). Drug Interaction Ontology (DIO) and the resource-sensitive logical inferences. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4060 LNCS, pp. 616-642). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4060 LNCS).

Drug Interaction Ontology (DIO) and the resource-sensitive logical inferences. / Okada, Mitsuhiro; Sugimoto, Yutaro; Yoshikawa, Sumi; Konagaya, Akihiko.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4060 LNCS 2006. p. 616-642 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4060 LNCS).

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

Okada, M, Sugimoto, Y, Yoshikawa, S & Konagaya, A 2006, Drug Interaction Ontology (DIO) and the resource-sensitive logical inferences. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 4060 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4060 LNCS, pp. 616-642, Symposium on Algebra, Meaning, and Computation on Essays to Joseph A Goguen on the Occasion of His 65th Birthday, San Diego, CA, United States, 06/6/27.
Okada M, Sugimoto Y, Yoshikawa S, Konagaya A. Drug Interaction Ontology (DIO) and the resource-sensitive logical inferences. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4060 LNCS. 2006. p. 616-642. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Okada, Mitsuhiro ; Sugimoto, Yutaro ; Yoshikawa, Sumi ; Konagaya, Akihiko. / Drug Interaction Ontology (DIO) and the resource-sensitive logical inferences. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4060 LNCS 2006. pp. 616-642 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{cb098a9ff4674f0cadd57163645d4586,
title = "Drug Interaction Ontology (DIO) and the resource-sensitive logical inferences",
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.",
author = "Mitsuhiro Okada and Yutaro Sugimoto and Sumi Yoshikawa and Akihiko Konagaya",
year = "2006",
language = "English",
isbn = "354035462X",
volume = "4060 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "616--642",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Drug Interaction Ontology (DIO) and the resource-sensitive logical inferences

AU - Okada, Mitsuhiro

AU - Sugimoto, Yutaro

AU - Yoshikawa, Sumi

AU - Konagaya, Akihiko

PY - 2006

Y1 - 2006

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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=38549142592&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=38549142592&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:38549142592

SN - 354035462X

SN - 9783540354628

VL - 4060 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 616

EP - 642

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -