Zsyntax

A formal language for molecular biology with projected applications in text mining and biological prediction

Giovanni Boniolo, Marcello D'Agostino, Pier Paolo Di Fiore

Research output: Contribution to journalArticle

11 Citations (Scopus)

Abstract

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.

Original languageEnglish
Article numbere9511
JournalPLoS One
Volume5
Issue number3
DOIs
Publication statusPublished - Mar 3 2010

Fingerprint

Molecular biology
Formal languages
Data Mining
molecular biology
Molecular Biology
Language
prediction
Computer program listings
Biological Phenomena
Software

ASJC Scopus subject areas

  • Agricultural and Biological Sciences(all)
  • Biochemistry, Genetics and Molecular Biology(all)
  • Medicine(all)

Cite this

Zsyntax : A formal language for molecular biology with projected applications in text mining and biological prediction. / Boniolo, Giovanni; D'Agostino, Marcello; Di Fiore, Pier Paolo.

In: PLoS One, Vol. 5, No. 3, e9511, 03.03.2010.

Research output: Contribution to journalArticle

@article{a0623bc77e9044adb22179684e173f1b,
title = "Zsyntax: A formal language for molecular biology with projected applications in text mining and biological prediction",
abstract = "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.",
author = "Giovanni Boniolo and Marcello D'Agostino and {Di Fiore}, {Pier Paolo}",
year = "2010",
month = "3",
day = "3",
doi = "10.1371/journal.pone.0009511",
language = "English",
volume = "5",
journal = "PLoS One",
issn = "1932-6203",
publisher = "Public Library of Science",
number = "3",

}

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

VL - 5

JO - PLoS One

JF - PLoS One

SN - 1932-6203

IS - 3

M1 - e9511

ER -