Skip to content

@EulerProject Euler Project - Reasoning over Taxonomies

Change the repository type filter

All

    Repositories list

    17 repositories

    • EulerX

      Public
      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
      Python
      •6•17•11•0•Updated Jun 14, 2023Jun 14, 2023

    • ASIST20

      Public
      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
      1•0•0•0•Updated Jun 8, 2022Jun 8, 2022

    • NASKO19

      Public
      This is a repository about the use cases on geopolitical realities in taxonomies, specifically the case of Taiwan.
      knowledge-organizationtaxonomy-alignmentrcc-5geopolitical-reality
      Jupyter Notebook
      •0•1•0•0•Updated Jun 8, 2022Jun 8, 2022

    • ASIST17

      Public
      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.
      taxonomy-alignmentrcc-5semantic-interoperability
      HTML
      •2•2•0•0•Updated Jun 8, 2022Jun 8, 2022

    • RCC-in-ASP

      Public
      Prolog
      •
      Apache License 2.0
      •0•0•3•0•Updated Dec 13, 2020Dec 13, 2020

    • IDCC20

      Public
      Snailed it! Merging Taxonomically Organized Biodiversity Datasets with Shifting Geopolitical Realities
      1•1•0•0•Updated Apr 12, 2020Apr 12, 2020

    • ASP-examples

      Public
      Educational examples for ASP and multiple possible worlds
      Prolog
      •
      MIT License
      •0•0•0•0•Updated Oct 4, 2017Oct 4, 2017

    • e3

      Public
      A Command Line Wrapper of the EulerX Toolkit
      Python
      •0•0•2•0•Updated Jul 14, 2017Jul 14, 2017

    • e3-demos

      Public
      A Demonstration of How to Use e3
      HTML
      •0•0•0•0•Updated Jul 8, 2017Jul 8, 2017

    • e3-docker-image

      Public
      Docker Image for e3
      0•0•0•0•Updated Jul 8, 2017Jul 8, 2017

    • lattice-diagnosis

      Public
      Python
      •0•0•0•0•Updated May 19, 2017May 19, 2017

    • e3-jupyterhub

      Public
      Deployment of JupyterHub with e3-jupyter-notebook Docker Images
      Python
      •
      Other
      •0•0•0•0•Updated Mar 25, 2017Mar 25, 2017

    • e3-kernel

      Public
      e3 Kernel for Jupyter
      Python
      •0•0•1•0•Updated Mar 23, 2017Mar 23, 2017

    • experiments

      Public
      Jupyter Notebook
      •
      Apache License 2.0
      •1•0•0•0•Updated Mar 20, 2017Mar 20, 2017

    • euler2-demos

      Public
      Demonstration and Testing of the EulerX Toolkit
      Python
      •0•0•0•0•Updated Nov 15, 2016Nov 15, 2016

    • DedekindNumber

      Public
      The repo is for calculating dedekind number
      Python
      •1•0•0•1•Updated Dec 4, 2015Dec 4, 2015

    • RCC-Reasoner

      Public
      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.
      Python
      •0•0•0•0•Updated Oct 24, 2015Oct 24, 2015