swMATH ID: 30123
Software Authors: Giovanni Boniolo; Marcello D'Agostino; Pier Paolo Di Fiore
Description: Zsyntax: A Formal Language for Molecular Biology with Projected Applications in Text Mining and Biological Prediction. We propose a formal language that allows for transposing biological information precisely and rigorously into machine-readable 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.
Homepage: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2831071/
Related Software: UniProt; Haskell; OTTER; Coq
Referenced in: 3 Publications

Referencing Publications by Year