RDFox version: 7.6b (a2c87d5d3dd476d50b5428271019e0146e418aeb)