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 repesent 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