Information about the srldb system, documentation and tutorial can be found in the ProbCog wiki: https://ias.in.tum.de/probcog-wiki/index.php/Main_Page