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.

We are hiring!

Check out our researcher job positions at https://www.sti-innsbruck.at/about/jobs