Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Microbial Classification System01:24

Microbial Classification System

309
Classification is the process of organizing organisms into hierarchically inclusive groups based on their phenotypic similarities or evolutionary relationships. A species comprises one or more strains, and closely related species are grouped into genera. Genera are further classified into families, families into orders, orders into classes, and so forth, up to the domain level, which is the broadest taxonomic rank derived from a combination of phenotypic and genotypic data.The nomenclature of...
309
Modern Molecular Taxonomy01:29

Modern Molecular Taxonomy

270
Advancements in molecular biology have revolutionized the identification and characterization of bacteria, with multiple methods leveraging DNA sequencing for enhanced precision. As sequencing technologies improve and costs decline, these approaches are increasingly used in clinical, environmental, and evolutionary studies.Multilocus Sequence Typing (MLST) examines several housekeeping genes, essential chromosomal genes encoding cellular functions, to distinguish strains. Approximately...
270
Taxonomy01:31

Taxonomy

81.7K
Taxonomy is the science of defining and naming groups of biological organisms based on shared characteristics. It uses a hierarchy of increasingly inclusive categories with Latin names. The smallest units of taxonomy, species and genus, are used to assign a formal, taxonomic name to each species in a system. This classification system, referred to as binomial nomenclature, was formalized by Carolus Linnaeus in the 18th century.
Hierarchy of Taxonomy
The hierarchy that Carolus Linnaeus first...
81.7K
Evolutionary Relationships through Genome Comparisons02:54

Evolutionary Relationships through Genome Comparisons

6.5K
Genome comparison is one of the excellent ways to interpret the evolutionary relationships between organisms. The basic principle of genome comparison is that if two species share a common feature, it is likely encoded by the DNA sequence conserved between both species. The advent of genome sequencing technologies in the late 20th century enabled scientists to understand the concept of conservation of domains between species and helped them to deduce evolutionary relationships across diverse...
6.5K
Speciation Rates01:07

Speciation Rates

21.8K
Overview
21.8K
Nomenclature of Aromatic Compounds with Multiple Substituents01:11

Nomenclature of Aromatic Compounds with Multiple Substituents

8.9K
When more than one substituent is present on the benzene ring, the IUPAC nomenclature depends on the number of substituents present.
For disubstituted benzene derivatives, with two groups attached to the benzene ring, three constitutional isomers are possible. For example, consider dimethyl benzene, often called xylene, where the second methyl group can be substituted at the second, third, or fourth carbon. The relative position of the substituents is represented by prefixes ortho, meta, or...
8.9K

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

A scalable exemplar-based method for aligning biological taxonomies.

Biodiversity data journal·2026
Same author

The Mosquito Fauna of Arizona: Species Composition and Public Health Implications.

Insects·2024
Same author

Unified and pluralistic ideals for data sharing and reuse in biodiversity.

Database : the journal of biological databases and curation·2023
Same author

Insect collecting bias in Arizona with a preliminary checklist of the beetles from the Sand Tank Mountains.

Biodiversity data journal·2023
Same author

Verbalizing phylogenomic conflict: Representation of node congruence across competing reconstructions of the neoavian explosion.

PLoS computational biology·2019
Same author

Descriptions of four new species of <i>Minyomerus</i> Horn, 1876 sec. Jansen & Franz, 2018 (Coleoptera: Curculionidae), with notes on their distribution and phylogeny.

PeerJ·2018

Related Experiment Video

Updated: Oct 17, 2025

A Concoction Pipeline for Generating Molecular Operational Taxonomic Units (MOTUs) Among Riparian and Aquatic Beetles
10:23

A Concoction Pipeline for Generating Molecular Operational Taxonomic Units (MOTUs) Among Riparian and Aquatic Beetles

Published on: July 11, 2025

308

A logic approach to modelling nomenclatural change.

Nico M Franz1, Chao Zhang2, Joohyung Lee2

  • 1School of Life Sciences, Arizona State University, PO Box 874501, Tempe, AZ, 85287-4501, USA.

Cladistics : the International Journal of the Willi Hennig Society
|October 14, 2021
PubMed
Summary

Computational logic can handle nomenclature principles. Answer Set Programming (ASP) successfully inferred changes for 36 taxonomic scenarios, paving the way for optimized nomenclatural services.

More Related Videos

Following the Dynamics of Structural Variants in Experimentally Evolved Populations
04:52

Following the Dynamics of Structural Variants in Experimentally Evolved Populations

Published on: February 3, 2023

1.1K
A Practical Guide to Phylogenetics for Nonexperts
12:00

A Practical Guide to Phylogenetics for Nonexperts

Published on: February 5, 2014

35.5K

Related Experiment Videos

Last Updated: Oct 17, 2025

A Concoction Pipeline for Generating Molecular Operational Taxonomic Units (MOTUs) Among Riparian and Aquatic Beetles
10:23

A Concoction Pipeline for Generating Molecular Operational Taxonomic Units (MOTUs) Among Riparian and Aquatic Beetles

Published on: July 11, 2025

308
Following the Dynamics of Structural Variants in Experimentally Evolved Populations
04:52

Following the Dynamics of Structural Variants in Experimentally Evolved Populations

Published on: February 3, 2023

1.1K
A Practical Guide to Phylogenetics for Nonexperts
12:00

A Practical Guide to Phylogenetics for Nonexperts

Published on: February 5, 2014

35.5K

Area of Science:

  • Computational logic
  • Taxonomy
  • Bioinformatics

Background:

  • Nomenclature principles govern biological classification.
  • Current systems face challenges with large datasets and complex reclassifications.
  • Automating nomenclatural changes is crucial for taxonomic databases.

Purpose of the Study:

  • To demonstrate the tractability of nomenclature principles in computational logic.
  • To develop and test an Answer Set Programming (ASP) model for nomenclatural emendations.
  • To explore the implications of taxonomic reinterpretation on nomenclature.

Main Methods:

  • Designed a 20-taxon use case based on the International Code of Zoological Nomenclature.
  • Implemented an ASP transition system to model nomenclatural rules (Binomial Nomenclature, Priority, Homonymy, Typification, Gender Agreement).
  • Simulated 36 scenarios involving type specimen reinterpretation and analyzed required emendations.

Main Results:

  • The ASP system accurately inferred code-mandated nomenclatural changes for all simulated scenarios.
  • Each scenario required 1-14 logically contingent emendations.
  • The system visually outputted the resulting nomenclatural conditions.

Conclusions:

  • Answer Set Programming is a viable approach for computational nomenclature.
  • This work provides a foundation for logic-based services for nomenclatural optimization and validation.
  • Logic-based exploration can reveal design biases in nomenclature and inform future identifier systems.