Skip to main content
. 2017 Feb 21;59(4):455–482. doi: 10.1007/s10817-017-9406-8

Fig. 4.

Fig. 4

Number of reasoning problems (y-axis) by total number of reasoners solving them. For example, 5 DL classification tasks were not solved by any reasoner, and 123 EL classification tasks were solved by all reasoners