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

Mitsuhiro Okada; Yutaro Sugimoto; Sumi Yoshikawa; Akihiko Konagaya

doi:10.1007/11780274_32

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 proceeding › Conference 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 language	English
Title of host publication	Algebra, Meaning, and Computation
Subtitle of host publication	Essays Dedicated to Joseph A Goguen on the Occasion of His 65th Birthday
Publisher	Springer Verlag
Pages	616-642
Number of pages	27
ISBN (Print)	354035462X, 9783540354628
DOIs	https://doi.org/10.1007/11780274_32
Publication status	Published - 2006
Externally published	Yes
Event	Symposium on Algebra, Meaning, and Computation - Essays Dedicated to Joseph A Goguen on the Occasion of His 65th Birthday - San Diego, CA, United States Duration: 2006 Jun 27 → 2006 Jun 29

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4060 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Symposium on Algebra, Meaning, and Computation - Essays Dedicated to Joseph A Goguen on the Occasion of His 65th Birthday
Country/Territory	United States
City	San Diego, CA
Period	06/6/27 → 06/6/29

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1007/11780274_32

Cite this

Okada, M., Sugimoto, Y., Yoshikawa, S., & Konagaya, A. (2006). Drug Interaction Ontology (DIO) and the resource-sensitive logical inferences. In Algebra, Meaning, and Computation: Essays Dedicated to Joseph A Goguen on the Occasion of His 65th Birthday (pp. 616-642). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4060 LNCS). Springer Verlag. https://doi.org/10.1007/11780274_32

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

Algebra, Meaning, and Computation: Essays Dedicated to Joseph A Goguen on the Occasion of His 65th Birthday. Springer Verlag, 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 proceeding › Conference contribution

Okada, M, Sugimoto, Y, Yoshikawa, S & Konagaya, A 2006, Drug Interaction Ontology (DIO) and the resource-sensitive logical inferences. in Algebra, Meaning, and Computation: Essays Dedicated to Joseph A Goguen on the Occasion of His 65th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4060 LNCS, Springer Verlag, pp. 616-642, Symposium on Algebra, Meaning, and Computation - Essays Dedicated to Joseph A Goguen on the Occasion of His 65th Birthday, San Diego, CA, United States, 06/6/27. https://doi.org/10.1007/11780274_32

Okada M, Sugimoto Y, Yoshikawa S, Konagaya A. Drug Interaction Ontology (DIO) and the resource-sensitive logical inferences. In Algebra, Meaning, and Computation: Essays Dedicated to Joseph A Goguen on the Occasion of His 65th Birthday. Springer Verlag. 2006. p. 616-642. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/11780274_32

Okada, Mitsuhiro ; Sugimoto, Yutaro ; Yoshikawa, Sumi et al. / Drug Interaction Ontology (DIO) and the resource-sensitive logical inferences. Algebra, Meaning, and Computation: Essays Dedicated to Joseph A Goguen on the Occasion of His 65th Birthday. Springer Verlag, 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",

doi = "10.1007/11780274_32",

language = "English",

isbn = "354035462X",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "616--642",

booktitle = "Algebra, Meaning, and Computation",

note = "Symposium on Algebra, Meaning, and Computation - Essays Dedicated to Joseph A Goguen on the Occasion of His 65th Birthday ; Conference date: 27-06-2006 Through 29-06-2006",

}

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

U2 - 10.1007/11780274_32

DO - 10.1007/11780274_32

M3 - Conference contribution

AN - SCOPUS:38549142592

SN - 354035462X

SN - 9783540354628

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

SP - 616

EP - 642

BT - Algebra, Meaning, and Computation

PB - Springer Verlag

T2 - Symposium on Algebra, Meaning, and Computation - Essays Dedicated to Joseph A Goguen on the Occasion of His 65th Birthday

Y2 - 27 June 2006 through 29 June 2006

ER -

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

Abstract

Publication series

Conference

ASJC Scopus subject areas

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this