RDFox version: 7.5a (3c187cbae654ba323a975159fc82e90840b02526)