Research on Description Logic Extension Based on Extenics Set

To making description logic can not only check the satisfiability of concept automatically, but also transform the unsatisfied concept to be satisfied, that is to say, endowing the description logic with the ability to dealing with the simple contradiction problem. The theory and method of extenics to solve contradiction problem is referred. The extension set is introduced as the set theory foundation of dynamic description logic DDL replacing classical set and fuzzy set to extend DDL, and a new kind of description logic DDLES is proposed. The description form and the semantic explanation of concept, role, and instance are given. At last, the consistency checking algorithm of Abox is given.