Remarks on logic for process descriptions in ontological reasoning: A Drug Interaction Ontology case study

In InterOntology. Proceedings of the First Interdisciplinary Ontology Meeting, Tokyo, Japan, 26-27 February 2008. Tokyo: Keio University Press. pp. 127-138 (2008)
  Copy   BIBTEX


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.



External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Commonsense causal explanation in a legal domain.Rinke Hoekstra & Joost Breuker - 2007 - Artificial Intelligence and Law 15 (3):281-299.
A logical framework for graded predicates.Petr Cintula, Carles Noguera & Nicholas J. J. Smith - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction. Springer. pp. 3-16.
Ontology and Logic of Processes.Vladimir I. Shalack - 2019 - Russian Journal of Philosophical Sciences 62 (6):138-150.
Argumentation: Reasoning Universalis.Antonis Kakas - 2022 - Studia Humana 11 (3-4):6-17.
Logical omniscience as infeasibility.Sergei Artemov & Roman Kuznets - 2014 - Annals of Pure and Applied Logic 165 (1):6-25.


Added to PP

280 (#75,736)

6 months
98 (#51,572)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

No citations found.

Add more citations