Publications - Euler Project: Reasoning with Taxonomies

Publications

Papers

Franz, N.M., Chen, M., 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)

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

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. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems.

Thau, David. (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.

Conference 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 changeacross 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 legacyto computers – how and why?" Symposium – The Meaning of Names: Naming Diversity in the 21st Century, University of Colorado, Boulder, CO.

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. 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., Bowers, S., & Ludäscher, B. (2014). Provenance for Explaining Taxonomy Alignments, TaPP'14 – 6th USENIX Workshop on the Theory and Practice of Provenance.