Provenance for Explaining Taxonomy Alignments. - Mingmin Chen; Shizhuo Yu; Parisa Kianmajd; Nico M. Franz; Shawn Bowers; Bertram Ludäscher (IPAW, 2014)

A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning. - Mingmin Chen; Shizhuo Yu; Nico M. Franz; Shawn Bowers; Bertram Ludäscher (RuleML, 2014)

Euler/X: A Toolkit for Logic-based Taxonomy Integration. - Mingmin Chen; Shizhuo Yu; Nico M. Franz; Shawn Bowers; Bertram Ludäscher (CoRR, 2014)

Names are not good enough: Reasoning over taxonomic change in the Andropogon complex. - Nico M. Franz; Mingmin Chen; Parisa Kianmajd; Shizhuo Yu; Shawn Bowers; Alan S. Weakley; Bertram Ludäscher (Semantic Web, 2016)

Agreeing to disagree: Reconciling conflicting taxonomic views using a logic-based approach. - Yi-Yun Cheng; Nico M. Franz; Jodi Schneider; Shizhuo Yu; Thomas Rodenhausen; Bertram Ludäscher (ASIST, 2017)

Verbalizing phylogenomic conflict: Representation of node congruence across competing reconstructions of the neoavian explosion. - Nico M. Franz; Lukas J. Musher; Joseph W. Brown; Shizhuo Yu; Bertram Ludäscher (PLoS Comput. Biol., 2019)