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)
Download Edit this record How to cite View on PhilPapers
Abstract
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.
PhilPapers/Archive ID
OKAROL
Upload history
Archival date: 2018-03-31
View other versions
Added to PP index
2017-11-11

Total views
54 ( #44,494 of 53,641 )

Recent downloads (6 months)
11 ( #42,412 of 53,641 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.