Syntactic Compression of Description Logics Terminologies | IEEE Conference Publication | IEEE Xplore