Epimenides: An information system offering automated reasoning for the needs of digital preservation | IEEE Conference Publication | IEEE Xplore