Barry Smith
State University of New York, Buffalo
We present some ideas on logical process descriptions, using relations from the DIO (Drug Interaction Ontology) as examples and explaining how these relations can be naturally decomposed in terms of more basic structured logical process descriptions using terms from linear logic. In our view, the process descriptions are able to clarify the usual relational descriptions of DIO. In particular, we discuss the use of logical process descriptions in proving linear logical theorems. Among the types of reasoning supported by DIO one can distinguish both (1) basic reasoning about general structures in reality and (2) the domain-specific reasoning of experts. We here propose a clarification of this important distinction between (realist) reasoning on the basis of an ontology and rule-based inferences on the basis of an expert’s view.
Keywords drug discovery  reasoning about drugs  dynamic logic
Categories (categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Some Philosophical Problems From the Standpoint of Artificial Intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Reasoning and Logic.Jim Mackenzie - 1989 - Synthese 79 (1):99 - 117.
Ontological Frameworks for Scientific Theories.Jonas R. Becker Arenhart - 2012 - Foundations of Science 17 (4):339-356.
Ontological Modelling Using Recursive Function Theory.Sirdar Jawher Dizaye - 1993 - Dissertation, University of California, Riverside
Is Formal Logic a Kind of Ontology?Ryszard Maciołek - 2008 - Roczniki Filozoficzne 56 (1):191-219.
An Ontology in Owl for Legal Case-Based Reasoning.Adam Wyner - 2008 - Artificial Intelligence and Law 16 (4):361-387.
Reasoning, Logic and Computation.Stewart Shapiro - 1995 - Philosophia Mathematica 3 (1):31-51.
Historical Ontology and Psychological Description.Jeff Sugarman - 2009 - Journal of Theoretical and Philosophical Psychology 29 (1):5-15.
The Benefits of Realism: A Realist Logic with Applications.Barry Smith - 2008 - In Katherine Munn & Barry Smith (eds.), Applied Ontology: An Introduction. Ontos. pp. 109-124.
Physical Emergence and Process Ontology.William M. Kallfelz - 2009 - World Futures 65 (1):42 – 60.


Added to PP index

Total views
64 ( #159,502 of 2,426,000 )

Recent downloads (6 months)
10 ( #68,411 of 2,426,000 )

How can I increase my downloads?


My notes