Grow your team on GitHub
GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.Sign up
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.
Educational examples for ASP and multiple possible worlds
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
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
The repo is for calculating dedekind number
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.