•        0

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.




Related Projects

CodeIgniter - EllisLab's Open Source PHP Framework

EllisLab's Open Source PHP Framework

Pyatl-pylons - Pylons How To For Pyatl

This is a series of steps to build a pylons blog, out of a Delicious RSS Feed, and the Google AJAX Feed API. Note, there is a bonus project that includes form validation, by Jonathan Ellis here: http://code.google.com/p/pyatl-pylons/source/browse/#svn/trunk/bonus_project_form_validation_jonathan_ellis

Shapeshed-ee-addons - Addons for ExpressionEngine

Shape Shed is developer George Ornbo who lives in London, UK. This is an open source repository for Addons for ExpressionEngine, a blogging engine and content management system created by EllisLab Latest versions are featured on the right of this page in the green download box. A full list of downloads is available here Documentation is available here You can review the status of bugs and feature requests here here If you want the source code you anonymously browse and checkout from the SVN repo

Jsigniter - A Javascript MVC framework inspired by CodeIgniter

Note: While given permission by EllisLab to move forward with a framework similar to that of it's product CodeIgniter, JSIgniter is in no way affiliated with EllisLab. JSIgniter CodeIgniter is a powerful Javascript PHP framework with a very small footprint, built for Javascript PHP coders who need a simple and elegant toolkit to create full-featured web applications. If you're a developer who lives in the real world of rich user interfaces shared hosting accounts and clients with deadlines, and

Memoproto - Collection of Sample Codes

Collection of Sample Codes by Mehmet Suzen ( Blog ) mehmet[dot]suzen[add]physics[dot]orgThere are excellent books on those programming languages C, C++, Fortran, Java and Perl. Kernigan & Richie for C, Stroustrup for C++, Sun's Java Tutorial, Fortran 90 Programming of Ellis, Philips, Lahey and at last for Perl Schwartz and Phoenix. Most of the time books explain code fragments, constructs and lacks complete working examples. Sometimes it is nice to have a complete working sample code just to use

Sweetcron - The Free & Open Source Lifestream Blog Software

Sweetcron is a self-hosted lifestreaming application that supports themes & plugins. It is based on the CodeIgniter php framework, from EllisLab. Automatic ImportUploaded a photo to flickr? Bookmarked a new site? In a few minutes it will show up on your blog! Easily CustomisableEdit simple templates to change the way your Sweetcron Lifestream looks. Default Boxy But Good theme included! Self HostedKeep all your data safely on your own server and run Sweetcron via your own domain. 100% Free and O

Redmine-ci - A Redmine clone in PHP using CodeIgniter

Redmine-CI is a PHP clone of the popular Ruby on Rails web-based project management tool Redmine (http://redmine.org). The project is mainly started to provide a solid project management tool based on Redmine, accessible to those who don't have Rails hosting. This means it will run on pretty much any webhosting which have at least PHP and MySQL available. The project uses the CodeIgniter framework by EllisLab, Inc (http://codeigniter.com). If you find this project interesting, feel free to contr

Statistics-distributions-js - Calculate critical values and upper probabilities of common statistica

This library calculates percentage points (5 significant digits) of the u (standard normal) distribution, the student's t distribution, the chi-square distribution and the F distribution. It can also calculate the upper probability (5 significant digits) of the u (standard normal), the chi-square, the t and the F distribution. These critical values are needed to perform statistical tests, like the u test, the t test, the F test and the chi-squared test, and to calculate confidence intervals. Thi

Mashup-mike-ellis-rsstest - RSS test

Created with the Google Mashup Editor.