Name: Euler Project - Reasoning over Taxonomies
Type: Organization
Bio: Euler is an Open Source toolkit for merging taxonomies under logic constraints and visualizing the results.
Location: University of Illinois, University of California at Davis, Gonzaga University, Arizona State University
Blog: http://euler.asu.edu/
Euler Project - Reasoning over Taxonomies's Projects
This is a repository for the two use cases described in the Association for Information Science and Technology (ASIS&T) 2017 annual conference paper: Agreeing to disagree: reconciling conflicting taxonomic views using a logic-based approach.
This is a repository for the use cases described in the Association for Information Science and Technology (ASIS&T) 2020 annual conference paper: Reconciling Taxonomies of Electoral Constituencies and Recognized Tribes of Indigenous Taiwan
Educational examples for ASP and multiple possible worlds
The repo is for calculating dedekind number
A Command Line Wrapper of the EulerX Toolkit
A Demonstration of How to Use e3
Docker Image for e3
Deployment of JupyterHub with e3-jupyter-notebook Docker Images
e3 Kernel for Jupyter
Demonstration and Testing of the EulerX Toolkit
Euler is an open source logic toolkit for aligning taxonomies and visualizing the results; see http://sysbio.oxfordjournals.org/cgi/reprint/syw023? ijkey=a0EkUEzzS2tpSL3&keytype=ref Demonstration videos are here: https://vimeo.com/126527661 and here: http://www2.cs.uic.edu/~tdang/ProvenanceMatrix/video.mp4
Snailed it! Merging Taxonomically Organized Biodiversity Datasets with Shifting Geopolitical Realities
This is a repository about the use cases on geopolitical realities in taxonomies, specifically the case of Taiwan.
This is a pure RCC reasoner, written in Python, for aligning multiple taxonomies and/or phylogenies. A more optimized version is available and has been integrated with Euler/X toolkit.