Default Description Logics with Reversing Inference Rules | IEEE Conference Publication | IEEE Xplore