Skip to content

Posts tagged ‘Euler’

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 (http://taxonbytes.org), 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 http://franz.lab.asu.edu/) 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.