Realizing Default Logic over Description Logic Knowledge Bases

Realizing Default Logic over Description Logic Knowledge Bases