Repository | Book | Chapter
(2006) Algebra, meaning, and computation, Dordrecht, Springer.
Drug interaction ontology (dio) and the resource-sensitive logical inferences
Mitsuhiro Okada
pp. 616-642
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.
Publication details
DOI: 10.1007/11780274_32
Full citation:
Okada, M. (2006)., Drug interaction ontology (dio) and the resource-sensitive logical inferences, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 616-642.