Thanks a lot for the great meet up last week in Vienna. Really interesting.
I still have an open question: Grakn is using forward chain for inferencing. From university I remember that RETE-trees should be used to ensure fast evaluation of rules. However, this is a really complex data structure and I wonder how this would scale to the needs of grakn in a distributed environment ?