TY - JOUR
T1 - Zsyntax
T2 - A formal language for molecular biology with projected applications in text mining and biological prediction
AU - Boniolo, Giovanni
AU - D'Agostino, Marcello
AU - Di Fiore, Pier Paolo
PY - 2010/3/3
Y1 - 2010/3/3
N2 - We propose a formal language that allows for transposing biological information precisely and rigorously into machinereadable information. This language, which we call Zsyntax (where Z stands for the Greek word, life), is grounded on a particular type of non-classical logic, and it can be used to write algorithms and computer programs. We present it as a first step towards a comprehensive formal language for molecular biology in which any biological process can be written and analyzed as a sort of logical "deduction". Moreover, we illustrate the potential value of this language, both in the field of text mining and in that of biological prediction.
AB - We propose a formal language that allows for transposing biological information precisely and rigorously into machinereadable information. This language, which we call Zsyntax (where Z stands for the Greek word, life), is grounded on a particular type of non-classical logic, and it can be used to write algorithms and computer programs. We present it as a first step towards a comprehensive formal language for molecular biology in which any biological process can be written and analyzed as a sort of logical "deduction". Moreover, we illustrate the potential value of this language, both in the field of text mining and in that of biological prediction.
UR - http://www.scopus.com/inward/record.url?scp=77949809386&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77949809386&partnerID=8YFLogxK
U2 - 10.1371/journal.pone.0009511
DO - 10.1371/journal.pone.0009511
M3 - Article
C2 - 20209084
AN - SCOPUS:77949809386
SN - 1932-6203
VL - 5
JO - PLoS One
JF - PLoS One
IS - 3
M1 - e9511
ER -