Skip to content

Posts tagged ‘KRR’

Prior work on concept taxonomy – 2013 onwards

February, 2015. The first fleshed-out use case of reasoning over taxonomic concepts with the Euler/X toolkit is now published.

Franz, N.M., M. Chen, S. Yu, P. Kianmajd, S. Bowers & B. Ludäscher. 2015. Reasoning over taxonomic change: exploring alignments for the Perelleschus use case. PLoS ONE 10(2): e0118247. doi:10.1371/journal.pone.0118247. Available on-line here.

An overview – initiated in early November, 2013 and regularly updated (throughout 2015) – of papers and presentations related to the taxonomic concept approach. Since the Fall/Winter of 2013 we have a working Python toolkit Euler/X (openly available on-line) that can read in two taxonomies (T1,T2), a set or articulations (A), and additional constraints (C). The toolkit then calls up Answer Set Programming reasoners to infer and visualize an alignment among the taxonomies that satisfies the constraints. A short video is posted here.


Euler/X merge of two Hominoidea classifications sec. Groves 1993/2005.

Read more

TDWG 2013: A toolkit for reconciling multiple taxonomic perspectives

Presentation slides are now posted for the TDWG 2013 Euler/X Toolkit – Perelleschus talk.

Franz Et Al. A Toolkit for Reconciling Multiple Taxonomic Perspectives: Euler/X and the Perelleschus Use Case from taxonbytes

Read more

TDWG 2013: Using ASP to simulate the interplay of taxonomic and nomenclatural change

Presentation slides are now posted for the TDWG 2013 ASP Taxonomy Nomenclature talk.

Franz Et Al. Using ASP to Simulate the Interplay of Taxonomic and Nomenclatural Change from taxonbytes

Using Answer Set Programming to Simulate the Interplay of Taxonomic and Nomenclatural Change

Nico Franz, Joohyung Lee & Chao Zhang

Date: 2013-11-01 10:03 AM – 10:11 AM

Read more

TDWG 2013: Concepts and tools needed for taxonomic expert participation in a Global Names-based infrastructure

Presentation slides are now posted for the TDWG 2013 Global Names talk.

Read more

taxonbytes at TDWG 2013 – two papers on Answer Set Programming as a tool for taxonomic reasoning

At this year’s TDWG 2013 Annual Conference held from October 28 to November 01, in Florence, Italy, Nico Franz will present two talks on Answer Set Programming and name/taxon concept representation and reasoning. Both papers form part of the Semantics for Biodiversity Symposium, and specifically the Session “Ontologies and Formal Models” convened by Ramona Walls of iPlant and Nico Franz. Here are the abstracts; the actual presentation slides will be shared on taxonbytes.

Read more

Euler at WFLP 2013

Mingmin Chen of Bertram Ludäscher’s lab at the University of California at Davis is attending the 22nd International Workshop on Functional and (Constraint) Logic Programming to present on a working implementation of Euler/X – a toolkit for logic-based taxonomy integration. The above image shows seven “possible world” scenarios that obtain when integrating an abstract example of two related taxonomies with three disjoint articulations (each containing an “or” and two RRC-5 relations).

taxonbytes inaugural post

Welcome to taxonbytes (, the new WordPress-based website and multi-member blog for people, projects, and miscellaneous news and comments in and around the Franz Lab (formerly at in the School of Life Sciences at Arizona State University. taxonbytes – all small letters is the preferred rendering – embodies our new slogan “from specimens to language, logic, and learning”. The latter is meant to reflect the lab’s primary focus on traditional, specimen-based systematics research, leading to improved classifications of insects and other invertebrate taxa. We oversee the future development of ASU’s Hasbrouck Insect Collection (ASUHIC). The lab is furthermore active in a number of biodiversity informatics initiatives such as Symbiota (via SCAN), mx, and the logic-centered Euler Project. Pushing the envelope towards a more knowledge representation and reasoning (KRR) compatible systematic practice is among our central goals. Last not least we are engaged in translating knowledge gained through our work with specimens and in systematics into an innovative outreach program which includes the Arium3D Project.

taxonbytes is intended to be an open, evolving platform that will allow the lab members to interact, interconnect, and showcase our professional endeavors in a virtual setting. Stay put for upcoming content.