EXACT (An ontology of EXperiment ACTions)
We propose the EXACT ontology as the basis of a method of representing biological laboratory protocols. EXACT provides a model for the description of experiment actions, and it can be used for the fully formalized representation of protocols, or it can be combined with other formalisms for the description of bio-medical investigations.
Examples of protocols formalised using EXACT
Files for use in Protege:
The ontology (EXACT/EXPO):
The ontology (EXACT/OBI):
An example using the ontology:
Implementation in Haskell
Examples of how parts of the Competent Cells protocol could be implemented in a programming language for validation/simulation purposes.