Foundational Process Relations in Bio-Ontologies

Authors:
Atalay Özgövde;Michael Grüninger
Affiliations:
Department of Computer Science, University of Toronto;Department of Mechanical and Industrial Engineering
Venue:
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Year:
2010

Citing 7
Cited 1

Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
The process specification language (PSL) theory and applications

AI Magazine
Agency and Deontic Logic, J.F. Horty

Journal of Logic, Language and Information
Obol: integrating language and meaning in bio-ontologies: Conference Papers

Comparative and Functional Genomics
Semantic integration through invariants

AI Magazine - Special issue on semantic integration
Logical properties of foundational mereogeometrical relations in bio-ontologies

Applied Ontology
The event calculus explained

Artificial intelligence today

Documenting and sharing comparative analyses of 3D digital museum artifacts through semantic web annotations

Journal on Computing and Cultural Heritage (JOCCH)

Quantified Score

Hi-index	0.00

Visualization

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.