A Distributed Approach to LARS Stream Reasoning (System paper)