Euler Toolkit (and its predecessor: CleanTax)

CleanTax (mostly written in Python) is a framework has been implemented and has been used to study articulations between several large-scale biological taxonomies. It is originally designed by Dave Thau et al; Now being developed further on many fronts. Euler/FO (CleanTax++) in Euler Toolkit is built based on CleanTax. We also have the tool of Euler/ASP and Euler/RCC which is built based on answer set programming reasoners (DLV, Pottasco) and PyRCC8 reasoner. Euler is designed for UNIX-like operating systems (Linux, Mac, etc). If you are running on Windows, you need to install a virtual machine to run Euler.

Download current version
  • Euler Toolkit, the core software component of Euler project. The link points to the Github source code repository.
Euler Toolkit uses the following reasoners
  • Prover9 and Mace4. Prover9 is an automated prover for first-order and equational logic, and Mace4 searches for finite models and counter examples.
  • DLV, a deductive database system, based on disjunctive logic programming, which offers front-ends to several advanced KR formalisms.
  • Gringo/claspD. Gringo is a grounder that given an input program with first-order variables, computes an equivalent ground (variable-free) program. The output is processed further with claspD, an answer set solver which is extension to clasp for solving disjunctive logic programs.
  • PyRCC8, a efficient qualitative spatial reasoner written in pure Python. It implements the RCC8 constraint language that has been popularly adopted by the Qualitative Spatial Reasoning and GIS communities.
Other software used in Euler Toolkit:
  • PostgreSQL, a powerful, open source object-relational database system.
  • Graphviz, an open source visualization software, representing structural information as diagrams of abstract graphs and networks.