У меня есть небольшая онтология, определенная, как показано на следующем рисунке:
Я создал индивидуума для 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