In this paper, we present a new approach to the logical formalization of ambiguous inheritance hierarchies. This approach involves the translation of inheritance nets into their corresponding hierarchical and stratified logic programs. It allows one to express the semantics of these nets in terms of most major nonmonotonic logics. A theorem is established showing that this approach can be applied to a broad class of inheritance theories dealing with acyclic nets and giving rise to unique extensions