Jun 14, 2016

A logic approach to modeling nomenclatural change

BioRxiv : the Preprint Server for Biology
Nico FranzJoohyung Lee


We utilize an Answer Set Programming (ASP) approach to show that the principles of nomenclature are tractable in computational logic. To this end we design a hypothetical, 20 nomenclatural taxon use case with starting conditions that embody several overarching principles of the International Code of Zoological Nomenclature; including Binomial Nomenclature, Priority, Coordination, Homonymy, Typification, and the structural requirement of Gender Agreement. The use case ending conditions are triggered by the reinterpretation of the diagnostic features of one of 12 type specimens anchoring the corresponding species-level names. Permutations of this child-to-parent reassignment action lead to 36 alternative scenarios, where each scenario requires 1-14 logically contingent nomenclatural emendations. We show that an ASP transition system approach can correctly infer the Code-mandated changes for each scenario, and visually output the ending conditions. The results provide a foundation for further developing logic-based nomenclatural change optimization and compliance verification services, which could be applied in globally coordinated nomenclatural registries. More generally, logic explorations of nomenclatural and taxonomic change s...Continue Reading

  • References
  • Citations


  • We're still populating references for this paper, please check back later.
  • References
  • Citations


  • This paper may not have been cited yet.

Mentioned in this Paper

Registry Nomenclature Information System
Anchoring Activity
Allogeneic GM-CSF-secreting Tumor Vaccine PANC 10.05 pcDNA-1/GM-Neo

About this Paper

Related Feeds

BioRxiv & MedRxiv Preprints

BioRxiv and MedRxiv are the preprint servers for biology and health sciences respectively, operated by Cold Spring Harbor Laboratory. Here are the latest preprint articles (which are not peer-reviewed) from BioRxiv and MedRxiv.