Automated data consistency checking using SBVR: Case study: Academic data in a University | IEEE Conference Publication | IEEE Xplore