A semantics for inheritance reasoning is presented which allows both strict and defeasible knowledge to be represented. The approach proposed considers the semantics as consisting of two parts: the content theory which ...