Foundational process relations in bio-ontologies

Frontiers in Artificial Intelligence and Applications

Volumn 209, Issue , 2010, Pages 243-256

  Özgövde, Atalay ^a   Grüninger, Michael ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b Department of Mechanical and Industrial Engineering ^*  (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; SPECIFICATION LANGUAGES;

AXIOMATI-SATION; BIO-ONTOLOGIES; FIRST ORDER LOGIC; ONTOLOGY'S; PROCESS SPECIFICATION LANGUAGE; REPRESENTATION THEOREM; SPECIALISATION;

ONTOLOGY;

EID: 77951012337     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-60750-535-8-243     Document Type: Conference Paper

References (11)

1. Obo: Open biomedical ontologies. www.obo.sourceforge.net/.
2. Thomas Bittner. Logical properties of foundational mereogeometrical relations in bio-ontologies. Appl. Ontol., 4(2):109-138, 2009.
3. M Grüninger. Guide to the ontology of the process specification language. In S Staab, editor, Handbook of Ontologies in Information Systems. Springer-Verlag, 2003.
4. MGrüninger and C Menzel. Process Specification Language: Principles and applications. AI Magazine, 24(3):63-74, 2003.
5. Michael Gruninger and Joseph B. Kopena. Semantic integration through invariants. AI Mag., 26(1):11-20, 2005. (Pubitemid 40527384)
6. P Hayes. A catalog of temporal theories. Artificial Intelligence Technical Report UIUC-BI-AI-96-101, 1996.
7. Christopher J. Mungall. Obol: integrating language and meaning in bio-ontologies: Conference papers. Comp. Funct. Genomics, 5(6-7):509-520, 2004.
8. Raymond Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.
9. Murray Shanahan. The event calculus explained. Lecture Notes in Computer Science, 1600:409-430, 1999.
10. Barry Smith,Werner Ceusters, Bert Klagges, Jacob Köhler, Anand Kumar, Jane Lomax, Chris Mungall, Fabian Neuhaus, Alan L. Rector, and Cornelius Rosse. Relations in biomedical ontologies. Genome biology, 6(5):R46+, 2005.
11. Heinrich Wansing. Agency and deontic logic, j.f. horty. J. of Logic, Lang. and Inf., 13(3):379-381, 2004.