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. © Springer-Verlag Berlin Heidelberg 2006.
Cite
CITATION STYLE
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). Springer Verlag. https://doi.org/10.1007/11780274_32
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
