A vague description logic SI | IEEE Conference Publication | IEEE Xplore