RDFox version: 7.5c (ad98fe58ef34f31d8da9062860bbbdcf0ea5f418)