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.

Cite this paper

@article{Yu2012TheSD, title={The Super Default Rules in Ontologies}, author={Sun Yu and Li Zhiping and Xu Tianwei}, journal={2012 International Conference on Computer Science and Service System}, year={2012}, pages={1785-1788} }