Reconciling succeeding taxonomic classifications

We provide an update of ongoing research related to representing (1) multiple taxonomic trees and (2) set-theory relationships (articulations) among their respective clades (concepts) in a computer ontology environment (CleanTax); with aims to logically infer the set of maximally informative relations (mir), interactively detect and repair inconsistencies or ambiguities in the expert-made articulations, and produce graphic representations of the merge taxonomies. Different "possible world" mappings can be represented with CleanTax, based on the specificity of the initial concept and taxonomy alignments. This research will benefit data representation and integration across succeeding classifications.