Submit Software
  1. Home
  2. Windows
  3. Other
  4. Elly

Elly

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes
Download

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.

VERSION HISTORY

  • Version Alpha%20Release posted on 2010-01-10
    Several fixes and updates
  • Version N/A posted on 2010-01-10

Program Details

Related Programs

  • Stakeout Free

    A simple turn-base strategy game written in Java meant to be used as a teaching aid for an introductory computer science course. The game incorporates the concept of staking out and holding one's territory with the goal of wo

  • Gamoos Arabic English Dict Free Trial

    You also in hard looking for Arabic -English dictionary ? Want to check words and do not take flow? Worry about not authoritative dictionary content? Anytime to check word? Need to carry the new words? Congratulations on you

  • Trade System Development Platform Free

    TSDP is a framework for designing and researching FOREX trade systems.

  • guidata Free

    Based on the Qt Python binding module PyQt4, guidata is a Python library generating graphical user interfaces for easy dataset editing and display. It also provides helpers and application development tools for PyQt4.

  • panFMP Free

    panFMP is a generic framework suitable for harvested XML metadata that is searchable through Apache Lucene without any additional RDBMS. Fields can be defined by XPath allowing for full text queries on all types of fields inc

  • Moon Phase Calendar Free Trial

    The OpenFermenter Moon Phase Calendar that shows an entire months at one glance of the phase of the moon. Any month between January 1800 and December 2100.The calculations and equations used to generate this Moon Phase Calend

  • How to draw face Free

    Learn how to draw Face. Become an Artist by learning how to draw. Draw the figures by learning how to draw in steps by stepping through each step of drawing the art you want to learn. Learn Step by Step on how to draw face.Ea

  • mouseglove Free

    Mouse-Glove is a complete open source project of next mouses generation.Join the project helping develop mouse glove.

  • Talisman Free

    Talisman is an interpreter for a logical markup language. This language contains the content and logic of a web (or, in the future, Java Swing) based user interface, including arbitrary datatypes and processing actions.

  • Owlie Boo Animals Free Trial

    ENGLISH VERSIONThe makers of owlieboo.com, a web site with educational games for babies, toddlers, and young children, are happy to introduce ANIMALS. It is a fun, simple game for the youngest kids at home. By just touching t