franz 2014 bigcb tracking change across classifications and phylogenies
DESCRIPTION
Slides presented on the Euler/X toolkit at the "Understanding Taxon Ranges in Space and Time" Workshop – Berkeley Initiative in Global Change Biology (BIGCB); held on November 07-09, 2014, University of California at Berkeley, CA. See also http://taxonbytes.org/bigcb-workshop-at-uc-berkeley-tackling-the-taxon-concept-problem/TRANSCRIPT
![Page 1: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/1.jpg)
Tracking taxonomic change
across classifications
and phylogenies
Nico M. Franz 1,2
Arizona State University
http://taxonbytes.org/
1 Concepts and tools developed jointly with members of the Ludäscher Lab (UC Davis & UIUC):
Mingmin Chen, Parisa Kianmajd, Shizhuo Yu, Shawn Bowers & Bertram Ludäscher
2 Understanding Taxon Ranges in Space and Time
Workshop – Berkeley Initiative in Global Change Biology (BIGCB)
November 07-09, 2014, University of California at Berkeley, CA
On-line @ http://www.slideshare.net/taxonbytes/franz-2014-bigcb-tracking-change-across-classifications-and-phylogenies
![Page 2: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/2.jpg)
"A toolkit for consistently aligning
sets of hierarchically arranged entities
under (relaxable) logic constraints,
and using RCC-5 articulations."
![Page 3: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/3.jpg)
Euler/X uses Answer Set Programming.
The reasoner asks, and solves, the question:
"Which possible worlds can be generated
that satisfy (i.e., are consistent with)
a given set of input constraints?"
![Page 4: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/4.jpg)
Set of Input Constraints
T1 = Taxonomy 1
T2 = Taxonomy 2
A = Input articulations
[==, >, <, ><, |]
C = Taxonomic constraints
Toolkit workflow. Objective: achieving well-specified alignments.
![Page 5: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/5.jpg)
Set of Input Constraints
T1 = Taxonomy 1
T2 = Taxonomy 2
A = Input articulations
[==, >, <, ><, |]
C = Taxonomic constraints
Toolkit workflow. Objective: achieving well-specified alignments.
Articulations are asserted
by human toolkit users.
![Page 6: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/6.jpg)
No!
Set of Input Constraints
T1 = Taxonomy 1
T2 = Taxonomy 2
A = Input articulations
[==, >, <, ><, |]
C = Taxonomic constraints
Toolkit workflow. Objective: achieving well-specified alignments.
![Page 7: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/7.jpg)
No!
Set of Input Constraints
T1 = Taxonomy 1
T2 = Taxonomy 2
A = Input articulations
[==, >, <, ><, |]
C = Taxonomic constraints
Toolkit workflow. Objective: achieving well-specified alignments.
![Page 8: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/8.jpg)
No!
Yes
Set of Input Constraints
T1 = Taxonomy 1
T2 = Taxonomy 2
A = Input articulations
[==, >, <, ><, |]
C = Taxonomic constraints
Toolkit workflow. Objective: achieving well-specified alignments.
![Page 9: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/9.jpg)
No!
Yes
Toolkit workflow. Objective: achieving well-specified alignments.
![Page 10: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/10.jpg)
MIR =Maximally Informative Relations
[==, >, <, ><, |]for each concept pair
Yes
Yes
Toolkit workflow. Objective: achieving well-specified alignments.
![Page 11: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/11.jpg)
So, given an input set of [T1, T2, A, C], one gains:
(1) Logical consistency in the alignment;
(2) Intended degree of alignment resolution;
(3) Additional, logically implied articulations;
(4) Visualizations of taxonomic provenance;
(5) Quantifications of name/meaning relations.
![Page 12: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/12.jpg)
Use case: dwarf lemurs sec. MSW 1993 & 2005 1
Chirogaleus furcifer sec. Mühel (1890) – Brehms Tierleben.
Public Domain: http://books.google.com/books?id=sDgQAQAAMAAJ
1 Franz et al. 2014. Taxonomic provenance: Two influential primate classifications logically aligned. (unpublished)
![Page 13: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/13.jpg)
Toolkit demonstration. Overview of input and commands covered.
(1) Input file: cheirogaleoidea.txt well-specified
(2) euler --help [available commands]
(3) euler -i [filename] --iv [input visualization]
(4) euler -i [filename] -e mnpw --rcgo [complete RCG run]
![Page 14: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/14.jpg)
Toolkit demonstration. Overview of input and commands covered.
(1) Input file: cheirogaleoidea.txt well-specified
(2) euler --help [available commands]
(3) euler -i [filename] --iv [input visualization]
(4) euler -i [filename] -e mnpw --rcgo [complete RCG run]
one articulation 'inverted' over-specification
(5) euler -i [filename] --cc [consistency check]
(6) euler -i [filename] --ie [inconsistency explanation]
(7) euler -i [filename] --repair=topdown [diagnosis, removal, run]
![Page 15: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/15.jpg)
Toolkit demonstration. Overview of input and commands covered.
(1) Input file: cheirogaleoidea.txt well-specified
(2) euler --help [available commands]
(3) euler -i [filename] --iv [input visualization]
(4) euler -i [filename] -e mnpw --rcgo [complete RCG run]
one articulation 'inverted' over-specification
(5) euler -i [filename] --cc [consistency check]
(6) euler -i [filename] --ie [inconsistency explanation]
(7) euler -i [filename] --repair=topdown [diagnosis, removal, run]
one articulation removed under-specification
(8) euler -i [filename] --ur [uncertainty reduction]
![Page 16: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/16.jpg)
![Page 17: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/17.jpg)
Suggested Workshop ideas
for collective exploration.
![Page 18: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/18.jpg)
'Traditional' view – taxon concept hierarchies.
![Page 19: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/19.jpg)
Expanded view 1 – vouchers drive taxon concept identity.
![Page 20: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/20.jpg)
Expanded view 2 – vouchers instantiate character concept identity.
![Page 21: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/21.jpg)
Expanded view 3 – taxon concepts, character concepts, vouchers.
![Page 22: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/22.jpg)
Expanded view 3* – resolving concept overlap into merge regions.
![Page 23: Franz 2014 BIGCB Tracking Change across Classifications and Phylogenies](https://reader034.vdocuments.us/reader034/viewer/2022042715/559445631a28abfc728b456b/html5/thumbnails/23.jpg)
Acknowledgments
• Brent Mishler, Staci Markos & all BIGCB 2014 Workshop organizers!
• Euler/X team: Mingmin Chen, Parisa Kianmajd, Shizhuo Yu, Shawn Bowers
& Bertram Ludäscher.
• Edward Gilbert (oaks) & Naomi Pier (primates).
• NSF DEB–1155984, DBI–1342595 (Franz); IIS–118088, DBI–1147273
(Ludäscher).
• Information @ http://taxonbytes.org/tag/concept-taxonomy/
• Euler/X code @ https://bitbucket.org/eulerx
• Euler server @ http://euler.asu.edu
https://sols.asu.edu/Franz Lab: http://taxonbytes.org/