An ALC Description Default Logic with Exceptions-First | IEEE Conference Publication | IEEE Xplore