Learn More
—Human classifications and phylogenies of perceived natural entities are subject to change in light of new evidence. Taxonomic changes, translated into Code-compliant names and nomenclatural relationships, frequently lead to name/meaning dissociations across succeeding treatments. Classification standards such as the Mammal Species of the World (MSW) aim to(More)
We present a novel, logic-based solution to the challenge of reconciling the meanings of taxonomic names across multiple biological taxonomies. The challenge arises due to limitations inherent in using type-anchored taxonomic names as identifiers of granular semantic similarities and differences being expressed in original and revised taxonomic(More)
We introduce Euler/X, a toolkit for logic-based taxonomy integration. Given two taxonomies and a set of alignment constraints between them, Euler/X provides tools for detecting, explaining, and reconciling inconsistencies; finding all possible merges between (consistent) taxonomies; and visualizing merge results. Euler/X employs a number of different(More)
Classifications and phylogenetic inferences of organismal groups change in light of new insights. Over time these changes can result in an imperfect tracking of taxonomic perspectives through the re-/use of Code-compliant or informal names. To mitigate these limitations, we introduce a novel approach for aligning taxonomies through the interaction of human(More)
Derivations and proofs are a form of provenance in automated deduction that can assist users in understanding how reasoners derive logical consequences from premises. However, system-generated proofs are often overly complex or detailed, and making sense of them is non-trivial. Conversely, without any form of provenance, it is just as hard to know why a(More)
Classifications and phylogenies of perceived natural entities change in the light of new evidence. Taxonomic changes, translated into Code-compliant names, frequently lead to name:meaning dissociations across succeeding treatments. Classification standards such as the Mammal Species of the World (MSW) may experience significant levels of taxonomic change(More)
Cover Illustration: Floral diversity of Gesneriaceae (African violets, gesneriads) overlaid with the current phylogenetic hypothesis of relationships in the family. Species (left to right, top to bottom) are Cyrtandra samoensis, Chrysothemis pulchella, Alsobia dianthifl ora, Drymonia ecuadorensis, Columnea sp. ‘Cordillera del Condor’, Sinningia bulbosa,(More)
Taxonomy alignment is a way to integrate two or more taxonomies. Semantic interoperability between datasets, information systems, and knowledge bases is facilitated by combining the different input taxonomies into merged taxonomies that reconcile apparent differences or conflicts. We show how alignment problems can be solved with a logic-based region(More)
  • 1