MINS Reasoner

From Wsmx-WIKI
Jump to: navigation, search

MINS

MINS is a reasoner for Datalog extended with function symbols and well-founded negation. It can be used with the WSML2Reasoner framework to support query answering for WSML-Core, WSML-Flight and WSML-Rule. Its reasoning mechanism is based on deductive database algorithms like semi-naive, dynamic filtering and well-founded evaluation with alternating fixed point computation. It is implemented in Java.

MINS is based on the SiLRI inference engine by Stephan Decker and Jürgen Angele, which is licensed under the GNU GPL. Since the GPL is not inline with STI's approach to software licensing, we are currently developing IRIS as a replacement for MINS.

Please note that we do not provide active support for MINS anymore.

Links

The current implementation of MINS is available at http://tools.deri.org/mins/

The MINS Implementation trackeris here Implementation Tracker

Retrieved from "http://wiki.wsmx.org/index.php?title=MINS_Reasoner&oldid=3536"
Personal tools