Well-formed Default Unification in Non-deterministic Multiple Inheritance Hierarchies (short paper)

Default unification represents a fundamental extension of the common unification operation, where even in case of inconsistency between the information to be merged, there will always be a result. As default unification is no longer a commutative operation, a distinction is made between the argument containing default information, the background, and the other argument consisting of non-default information, the cover.