Translating Inheritance Nets to Default Logic

. We give a translation of inheritance nets to normal default theories. To avoid discussions about sceptical and credulous reasoning we only regard unambiguous nets but allow explicit exception links restricting the validity of direct links. Contrary to former translations every link will be translated to a "hard" fact of the corresponding default theory while the defaults only represent the implicit assumptions made when computing the extension of the net. The translation is sound and complete if we restrict the deduction mechanism of default logic appropriately. 1 Introduction Taxonomic hierarchies are widely used in natural language processing (cp. [K94, Le83, EG90]). As the concepts employed may turn out inadequate or incomplete later on, we want to regard hierarchies that could be altered subsequently. Inheritance nets are a means for representing taxonomic knowledge. They allow overriding information in the presence of exceptions. On the other hand, approaches to belief revisio..