BigSR: an empirical study of real-time expressive RDF stream reasoning on modern Big Data platforms
Clingo = ASP + Control: Preliminary Report