抄録
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.
| 本文言語 | English |
|---|---|
| ホスト出版物のタイトル | Algebra, Meaning, and Computation |
| ホスト出版物のサブタイトル | Essays Dedicated to Joseph A Goguen on the Occasion of His 65th Birthday |
| 出版社 | Springer Verlag |
| ページ | 616-642 |
| ページ数 | 27 |
| ISBN（印刷版） | 354035462X, 9783540354628 |
| DOI | |
| 出版ステータス | Published - 2006 |
| 外部発表 | はい |
| イベント | Symposium on Algebra, Meaning, and Computation - Essays Dedicated to Joseph A Goguen on the Occasion of His 65th Birthday - San Diego, CA, United States 継続期間: 2006 6月 27 → 2006 6月 29 |
出版物シリーズ
| 名前 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| 巻 | 4060 LNCS |
| ISSN（印刷版） | 0302-9743 |
| ISSN（電子版） | 1611-3349 |
Conference
| Conference | Symposium on Algebra, Meaning, and Computation - Essays Dedicated to Joseph A Goguen on the Occasion of His 65th Birthday |
|---|---|
| 国/地域 | United States |
| City | San Diego, CA |
| Period | 06/6/27 → 06/6/29 |
ASJC Scopus subject areas
- 理論的コンピュータサイエンス
- コンピュータ サイエンス（全般）
UN SDG
この成果は、次の持続可能な開発目標に貢献しています
