RDFox version: 7.4b (a7ae8f29d6e409f94b61f9e8940b91e8d233205a)