IRIS Foundations

The algorithm used in the IRIS reasoning engine are build up on the following theoretical results:

Storage

Evaluation

Semi-naive

Magic Sets

Query Sub Query