An order-based composition semantics for the inheritance in logic-based object-oriented paradigm

Inheritance is an important concept in the object-oriented paradigm, but its semantics is far from being well-defined. This paper focuses on inheritance with overriding. First, an elegant approach is proposed for combining the logical style with the object-oriented paradigm. In this language model, inheritance is modelled by an order-based composition of the logic objects. Overriding is given a formal treatment by introducing the so-called hiding operator. Finally, a corresponding model composition with hiding is also presented