Skip to content

Posts tagged ‘reasoning’

Ludäscher et al. presentation at RuleML 2014

Presentation slides are up for the latest (August, 2014) presentation on Euler/X concept taxonomy alignment, given by Bertram Ludäscher at “RuleML 2014” – The 8th International Web Rule Symposium held Prague, Czech Republic, August 18-20, 2014.

  • 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.

Bertram’s talk on Hybrid (Black-box + White-box) Diagnosis at RuleML’14 in Prague from ludaesch

Overview of Euler/X toolkit commands

An overview of Euler/X toolkit commands, with examples of how and when to use. This post expands on the Euler/X introduction and demonstration video which show a linear pathway to producing a logically consistent multi-taxonomy alignment. Post in development.

Read more

Euler/X toolkit demonstration video – July 2014

I screen-recorded a 7:35 minute video demonstrating the current (July 2014), basic functionality of the Euler/X toolkit for aligning multiple taxonomies (see: Concept Taxonomy). The video is up on Vimeo.

Euler/X toolkit demonstration – July 2014 from taxonbytes on Vimeo.

Abstract. The Euler/X toolkit ( takes in two input taxonomies, a set of concept-to-concept articulations, and additional logic constraints to assess their logical consistency, infer the set of maximally informative relationships among the input concepts, and visualize a merge taxonomy. The basic functionality of the toolkit is shown based on a use case of aligning two alternative concept phylogenies of the weevil genus Perelleschus sec. 2001/2013. More information is available at

New publication: A hybrid diagnosis approach combining Black-Box and White-Box reasoning

We have a new collaborative paper out in Lecture Notes in Computer Science, with Mingmin Chen of UC Davis as lead author, on inconsistency checking and repair of conflicting concept articulations for the Euler/X toolkit. Complete citation:

Chen, M., S. Yu, N. Franz, S. Bowers & B. Ludäscher. 2014. A hybrid diagnosis approach combining Black-Box and White-Box reasoning. In: A. Bikakis et al. (Editors): RuleML 2014. Lecture Notes in Computer Science 8620: 127-141. Link to publication.

Can we teach logic reasoners to correctly apply nomenclatural rules?

No, this not concept taxonomy. Instead this post is intended to set up a nomenclaturally and taxonomically correct use case for an Answer Set Programming (ASP) reasoning project. The post will limit itself to: (1) getting the required nomenclatural emendations “right” (Section 4), given (2) a specific set of starting conditions (Sections 1 & 2), and (3) a new taxonomic insight that necessitates change (Section 3).

Read more

Using the Euler/X toolkit to align taxonomies – introductory notes

Most recent update: July 15, 2014 (minor editing updates; link to video).

Our group is involved in promoting concept taxonomy. Here are some preliminary, and evolving, step-by-step instructions on how to employ the Euler/X toolkit to align two taxonomies or phylogenies. A short video is also available here.

Read more

ETC and Euler meeting at University of Arizona

Lead members of the Exploring Taxon Concepts (ETC) and Euler projects held a joint workshop at the School of Information Resources and Library Sciences (SIRLS) at the University of Arizona on February 19-20, 2014. On the meeting agenda were mutual updates, project coordination, and the formulation of detailed user scenarios for ETC tools; including: taxon-character matrix generation, matrix review, multi-entry interactive identification key generation, taxon concept similarity comparison, taxonomic revision support, and ETC/Euler interfaces and workflow integration.

Shown on the group photo, from left to right: (sitting) Lorena Endara, Hong Cui (ETC PI), Heather Cole, and Elvis Yu; (standing) Nico Franz, Bertram Ludäscher (Euler PI), James Macklin, Joel Sachs, Robert Morris, Thomas Rodenhausen, and Shizhuo Yu. 

Perelleschus concept paper receives Outstanding Paper for 2013 Award

TaylorFrancisPrize-2013The Editorial leaders of Systematics and Biodiversity have given our Perelleschus concept paper the Journal’s Outstanding Paper for 2013 Award, shared with Coyer et al. 2013.

Editor Prof. Elliot Shubert writes that among the notable comments were: “A carefully argued exploration of the use of taxonomic concepts, and justification of the “sec” notation, which provides a sound basis for further development of these ideas.” And: “It is the treatment of tracking the history of concepts of taxa that I believe is of great consequence, particularly as taxonomy moves into an increasingly electronic realm.” We thank the Editors for this endorsement.

Complete citation: Franz, N.M. & J. Cardona-Duque. 2013. Description of two new species and phylogenetic reassessment of Perelleschus Wibmer & O’Brien, 1986 (Coleoptera: Curculionidae), with a complete taxonomic concept history of Perelleschus sec. Franz & Cardona-Duque, 2013. Systematics and Biodiversity 11: 209–236. Link

Citation of Award: Shubert, E. 2014. Taylor & Francis Prize 2013. Systematics and Biodiversity 12: 125-126. Link