eulerproject Goto Github PK

asist17

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.

asist20

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

asp-examples

Educational examples for ASP and multiple possible worlds

dedekindnumber

The repo is for calculating dedekind number

e3

A Command Line Wrapper of the EulerX Toolkit

e3-demos

A Demonstration of How to Use e3

e3-docker-image

Docker Image for e3

e3-jupyterhub

Deployment of JupyterHub with e3-jupyter-notebook Docker Images

e3-kernel

e3 Kernel for Jupyter

euler2-demos

Demonstration and Testing of the EulerX Toolkit

eulerx

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

experiments

idcc20

Snailed it! Merging Taxonomically Organized Biodiversity Datasets with Shifting Geopolitical Realities

lattice-diagnosis

nasko19

This is a repository about the use cases on geopolitical realities in taxonomies, specifically the case of Taiwan.

rcc-in-asp

rcc-reasoner

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.