Publications

Papers

• Jansen, M.A., Franz, N.M (2015). [Phylogenetic revision of Minyomerus Horn, 1876 sec. Jansen & Franz, 2015 (Coleoptera, Curculionidae) using taxonomic concept annotations and alignments] (http://zookeys.pensoft.net/articles.php?id=6001). ZooKeys. (In Press)

• Franz, N. M., Chen, M., Yu, S., Kianmajd, P., Bowers, S., & Ludäscher, B. (2015). Reasoning over Taxonomic Change: Exploring Alignments for the Perelleschus Use Case. PLoS ONE.

• Franz, N. M., Pier, N. M., Reeder, D. M., Chen, M., Yu, S., Kianmajd, P., Bowers, S., & Ludäscher, B. (2014). Taxonomic Provenance: Two Influential Primate Classifications Logically Aligned. arXiv preprint arXiv:1412.1025.

• Franz, N.M., Chen, M., Kianmajd, P., Yu, S., Bowers, S. & Ludäscher, B. (2014). Names are not good enough: reasoning overtaxonomic change in the Andropogon complex. Semantic Web – Interoperability, Usability, Applicability – Special Issue on Semantics for Biodiversity. (In Review)

• Chen, M., Yu, S., Franz, N.M., Bowers, S., & Ludäscher, B. (2014). A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning. In Rules on the Web. From Theory to Applications (pp. 127-141). Springer International Publishing.

• Chen, M., Yu, S., Franz, N.M., Bowers, S., & Ludäscher, B. (2013). Euler/X: A Toolkit for Logic-based Taxonomy Integration. CHRISTIAN-ALBRECHTS-UNIVERSITAT ZU KIEL(2013): 219.

• Franz, N. M., Thau, D. (2010). Biological taxonomy and ontology development: scope and limitations. Biodiversity informatics, 7:45-66.

• Thau, D., Bowers, S., & Ludäscher, B. (2010). Towards best-effort merge of taxonomically organized data. Data Engineering Workshops (ICDEW), 2010 IEEE 26th International Conference on.

• Thau, D., Bowers, S.,& Ludäscher, B. (2009). Merging Sets of Taxonomically Organized Data using Concept Mappings under Uncertainty. OTM ’09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems. Springer-Verlag, 1103-1120.

• Thau, D., Bowers, S., & Ludäscher, B. (2009). Merging Taxonomies under RCC-5 Algebraic Articulations. Journal of Computing Science and Engineering: 109-126.

• Thau, David, Shawn Bowers, and Bertram Ludäscher. (2009). [CleanTax: A Framework for Reasoning about Taxonomies.] (http://www.aaai.org/Papers/Symposia/Spring/2009/SS-09-02/SS09-02-010.pdf) AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems.

• Thau, D. (2008). Reasoning about taxonomies and articulations. Proceedings of the 2008 EDBT Ph.D. workshop: 11-19.

• Thau, D., and Ludäscher, B. (2007). Reasoning about taxonomies in first-order logic. Ecological Informatics 2007: 195-209.

Dissertations

• Chen, Mingmin (2014). Query Optimization and Taxonomy Integration. Ph.D. Dissertation, University of California at Davis, Davis, CA.

• Thau, David (2010). Reasoning about Taxonomies. Ph.D. Dissertation, University of California at Davis, Davis, CA.

Presentations and Invited Talks

• Franz, N.M., B. Ludäscher, M. Chen, S. Yu & S. Bowers. 2014. "Aligning insect phylogenies: Perelleschus and other cases." ESA Annual Meeting, Portland, OR.

• Franz, N.M. 2014. Invited talk: "Tracking taxonomic change across classifications and phylogenies." Workshop – Understanding Taxon Ranges in Space and Time – University of California at Berkeley, Global Change Biology, Berkeley, CA.

• Franz, N.M. 2014. Invited talk: "Explaining taxonomy's legacy to computers – how and why?" Symposium – The Meaning of Names: Naming Diversity in the 21st Century, University of Colorado, Boulder, CO.

• Chen, M., Yu, S., Franz, N.M., Kianmajd, P., Bowers, S., & Ludäscher, B. (2014). Euler: A Logic-Based Toolkit for Aligning and Reconciling Multiple Taxonomic Perspectives. CIRSS Seminar, Graduate School for Library and Information Science, University of Illinois at Urbana-Champaign

• Chen, M., S. Yu, N. Franz, S. Bowers & B. Ludäscher. 2014. "A hybrid diagnosis approach combining black-box and white-box approaches." RuleML 2014 – 8th International Web Rule Symposium, Prague, Czech Republic.

• Zhang, G. & N.M. Franz. 2014. "Integrating and visualizing taxonomic concept changes in the Heteroptera." 5th Quadrennial Meeting of the Heteropterists' Society, Washington, DC.

• Franz, N.M. 2014. "A Toolkit for Reconciling Multiple Taxonomic Perspectives: Euler/X and Perelleschus Use Case", TDWG, Florence, Italy.

• Chen, M. 2013. "EULER/X: A Toolkit for Logic-based TaxonomyIntegration", 22nd International Workshop on Functional and (Constraint) Logic Programming, Kiel, Germany.

Posters

• Chen, M., Yu, S., Kianmajd, P., Franz, N.M., Bowers, S., & Ludäscher, B. (2014). Provenance for Explaining Taxonomy Alignments, TaPP'14 – 6th USENIX Workshop on the Theory and Practice of Provenance.