PDL2's reasoning scheme was tested against
several of the benchmark problems of [11]. As
expected, PDL2 was able to successfully solve the
following classes of problems.
• A1 - basic default reasoning
• A2 - default reasoning with irrelevant information
• A5 - default reasoning in an open domain
• A9 - priority between defaults
• B1 - linear inheritance (top-down)
• B2 - tree-structured inheritance
• B3 - one-step multiple inheritance