Elly is a reasoner for entailment and satisfiability checking of ELP knowledge-bases. It is written in java and relies on the IRIS Datalog reasoner (https://sourceforge.net/projects/iris-reasoner) for its implementation.
Categories
Scientific/EngineeringLicense
GNU Library or Lesser General Public License version 2.0 (LGPLv2)Follow Elly
Other Useful Business Software
99.99% Uptime for MySQL and PostgreSQL Databases
Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Elly!