"Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning."

Benjamin N. Grosof, Michael Kifer, Paul Fodor (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics