The inheritance problem is one of the most
challenging problems of reasoning. It has received
much attention and various solutions have been
proposed [10, 21, 23]. The combination of default
(rule-based) reasoning and similarity-based reasoning
in PDL2 provides a natural way (see [20], Appendix
A) of handling the problem of inheritance.