Protégé мыслитель не выводит подкласс
У меня есть небольшая онтология, определенная как показано на следующем рисунке:
Я создал человека для Dataset и один для Algorithm, Я ожидал, что reasoner будет выводить Algorithm индивидуальный как Linear_Least_Regression, но этого не произошло.
Это определение Dataset индивидуальный. Как можно видеть, человек выполняет требования для Dataset нужен Linear_Least_Regression 
Кроме того, если я добавлю Linear_Least_Regression как тип для Algorithm индивидуальный, мыслитель не жалуется.
Я также пытался получить Linear_Least_Regression в результате с DL Query но это тоже не сработало.
Я что-то упустил при моделировании моей онтологии или проблема кроется в рассуждении? Я попробовал следующие два рассуждения: FaCT++ 1.6.5 а также HermiT 1.3.8.413 а также Protégé 5