RDFox version: 7.7 (ecf9eca8e075e74d38ae79ed6742bf87eb70066d)