Каковы ограничения Jena OWL Reasoners?

Question

Я проводил некоторые тесты с использованием Jena OWL Reasoner, но я не понимаю некоторые результаты, полученные, например, если у меня есть следующий KB:

Class A 
Class B
Class C rdfs:subClassOf A
A owl:disjointWith B

... и если я спрошу "C owl:disjointWith B"? к модели логического вывода ответ может быть "yes", но ответ Jena OWL Reasoner - НЕТ... Я проверяю это, используя...

if (infmodel.contains(A, OWL.disjointWith, C)) {
... 
}
....

Итак, есть ли какие-то ограничения, чтобы сделать выводы с этим аргументом?

Спасибо

Answer 1

Ваш запрос содержит A owl:disjointWith C, который не может быть выведен из вашей онтологии. Вы уверены, что это правильный запрос?