A Prioritized Default Extension to Description Logic Knowledge Base

Although some efforts have been made to endow description logics with default reasoning capabilities, we hardly heard about the considerable attention to the preference of default rules in extended description logic. This paper makes a new prioritized default extension to the description logic knowledge base for default reasoning. Introducing and prioritizing default rules, it provides the mathematic foundation for querying information from original incomplete description logic knowledge base. Thus, a complete information query based on the integrated systems with default information can boil down to checking default satisfiability of the complex concept.