Re: Unknown and false

Posted by Jiba on
URL: http://owlready.306.s1.nabble.com/Unknown-and-false-solved-tp1539p1561.html

Hi,

In fact, the reasoner can deduce that a does not love c. However, if "not loving c" is not a class, this inference will not appear in the results of the classification. Actually, the reasoner may even not compute it, because if "not loving c" is not a class, there is no need to deduce that a does not love c. This is an optimization present in some reasoners (including tableau-based ones such as Pellet and Hermit), known as "goal-driven".

Jiba