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.