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.
ELLY is a reasoner for entailment and satisfiability checking of ELP rule bases. It is written in Java, relies on the IRIS Datalog reasoner for its implementation and is released under the GNU LESSER GENERAL PUBLIC LICENSE.
Check out our researcher job positions at https://www.sti-innsbruck.at/about/jobs
Contact person in charge.