RDFox version: 7.6 (715798a31382b787fb4a2b953c454febab7785dc)