We make the measurability of our R&D results one of our primary tasks. We want to show to the world that semantic technologies are becoming reality. Find out more about our results and our spin-off companies.
MINS is a reasoner for Datalog programs with negation and function symbols and 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.
MINS is available under the GPL license.