MINS Reasoner

MINS is a reasoner for Datalog programs with negation and function symbols. MINS supports the Well-Founded Semantics. The acronym MINS stands for Mins Is Not Silri, it is based on the SILRI inference engine by Stephan Decker and Jürgen Angele.

Source and binary distributions can be obtained from the snapshot directory. Please note that this work is in progress and should at best be considered as alpha quality code. We are continually trying to improve the quality of the software. Comments and suggestions are welcome.

Releases
Current Status
  • MINS supports the following evaluation methods:

      1. Naive evaluation (for stratified programs);
      2. Dynamic Filtering evaluation (for stratified programs);
      3. Well-founded evaluation with alternating fixed point;
      4. Well-founded evaluation;

    All evaluation methods can handle negated rules too.

  • Work on MINS API development is in progress.
  • A first version of a simple Datalog parser has been integrated.
Documentation
  • You may browse the source code .
  • This simple example might help to understand how to interact with the existing code as well as to demonstrate how to use negation with a well-founded evaluation method.
Demonstration

A simple Online Demo has been developed based up on MINS.

Dependencies

This Software requires Java 5

License
MINS is licensed under the GNU GENERAL PUBLIC LICENSE
Contacts

For more information regarding this project, please contact:

Holger Lausen - holger.lausen@deri.at
Uwe Keller - uwe.keller@deri.at
Graham Hench - graham.hench@deri.at