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.
IRIS (short for Integrated Rule Inference System) aims to be a framework consisting of a collection of components which cover various aspects of reasoning with formally represented knowledge. Currently, IRIS is an engine for safe Datalog programs with negation, built-in predicates and an extended set of data types. In the future the reasoner will be extended beyond pure Datalog capabilities.
IRIS is available under the LGPL license.