The Super Default Rules in Ontologies

In representing ontologies there are two kinds of default statements: one is the default assertions which say that some concept has some property defaultly, another is the default inheritance of default assertions. The latter actually is a default rule of default rules (called super default rules), that is, a default rule in which the formulas occur in the default are default rules. In this paper we shall give a formal description of such super default rules, a super default theories and the definitions of the extensions of the super default theories.