@thau

Reasoning about taxonomies in first-order logic

, and . Ecological Informatics, 2 (3): 195--209 (October 2007)

Abstract

Experts often disagree about the organization of biological taxa. The shifting definitions of taxonomic names complicate otherwise simple queries concerning these taxa. For example, a query such as "how many occurrences of specimens in genus G are recorded in database D" will return different answers depending on whose definition of genus G is used. In our proposed framework, taxonomic classifications of multiple experts are captured using first-order logic (FOL). Specifically, taxonomies, and relationships between them, are viewed as sets of first-order formulas, constraining the possible interpretations of names and concepts in the taxonomi…(more)

Description

ScienceDirect - Ecological Informatics : Reasoning about taxonomies in first-order logic

Links and resources

Tags

community

  • @dblp
  • @thau
@thau's tags highlighted