Search
 
loader loading subjects...
cover
Foundational Process Relations in Bio-Ontologies
Atalay Özgövde, Michael Grüninger
243 - 256
10.3233/978-1-60750-535-8-243
Frontiers in Artificial Intelligence and Applications
Volume 209: Formal Ontology in Information Systems
Abstract

This paper aims to provide rigor to the process relations in the OBO relations ontology. We present a formal axiomatization of these relations in first order logic as a definitional extension of the Process Specification Language (PSL) Ontology. In particular, we formalize the process parthood, process specialization, process instantiation and instance level parthood relations of OBO. We also present a formal characterization of the models of our axiomatization and provide representation theorems showing the correctness of our characterization.

$35.00 / €27.50 / £22.00
Add PDF to cart