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
Website:
Download:
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.
Contact person in charge.