A Prioritized Default Extension to Description Logic Knowledge Base | IEEE Conference Publication | IEEE Xplore