New reasons for biologists to write with a formal language

被引:0
|
作者
Rodriguez-Esteban, Raul [1 ]
机构
[1] Roche Innovat Ctr Basel, Roche Pharmaceut Res & Early Dev, Grenzacherstr 124, CH-4070 Basel, Switzerland
关键词
CURATION; NAME;
D O I
10.1093/database/baac039
中图分类号
Q [生物科学];
学科分类号
07 ; 0710 ; 09 ;
摘要
Current biological writing is afflicted by the use of ambiguous names, convoluted sentences, vague statements and narrative-fitted storylines. This represents a challenge for biological research in general and in particular for fields such as biological database curation and text mining, which have been tasked to cope with exponentially growing content. Improving the quality of biological writing by encouraging unambiguity and precision would foster expository discipline and machine reasoning. More specifically, the routine inclusion of formal languages in biological writing would improve our ability to describe, compile and model biology.
引用
收藏
页数:3
相关论文
共 50 条
  • [41] Formal Language for GeoSpelling
    Ballu, Alex
    Mathieu, Luc
    Dantan, Jean-Yves
    JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING, 2015, 15 (02)
  • [42] LANGUAGE OF FORMAL ARCHITECTURE
    OKSALA, T
    ENVIRONMENT AND PLANNING B-PLANNING & DESIGN, 1979, 6 (03): : 269 - 278
  • [43] DIMENSION OF A FORMAL LANGUAGE
    CONNER, WM
    INFORMATION AND CONTROL, 1975, 29 (01): : 1 - 10
  • [44] Fundamental Formal Language
    Krotkiewicz, Marek
    COMPUTATIONAL COLLECTIVE INTELLIGENCE, ICCCI 2022, 2022, 13501 : 410 - 422
  • [45] Recoverable Formal Language
    Blank, M. L.
    PROBLEMS OF INFORMATION TRANSMISSION, 2022, 58 (03) : 279 - 283
  • [46] DUTCH AS A FORMAL LANGUAGE
    MANASTERRAMER, A
    LINGUISTICS AND PHILOSOPHY, 1987, 10 (02) : 221 - 246
  • [47] Recoverable Formal Language
    M.L. Blank
    Problems of Information Transmission, 2022, 58 : 279 - 283
  • [48] ETPS: A System to Help Students Write Formal Proofs
    Peter B. Andrews
    Chad E. Brown
    Frank Pfenning
    Matthew Bishop
    Sunil Issar
    Hongwei Xi
    Journal of Automated Reasoning, 2004, 32 : 75 - 92
  • [49] MY READERS WRITE - SOME THOUGHTS ON FORMAL METHODS
    GLASS, RL
    JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 27 (02) : 71 - 72
  • [50] ETPS: A system to help students write formal proofs
    Andrews, PB
    Brown, CE
    Pfenning, F
    Bishop, M
    Issar, S
    Xi, HW
    JOURNAL OF AUTOMATED REASONING, 2004, 32 (01) : 75 - 92