|
Administrator
|
Hi,
You do not need a reasoner for inferring 'B isfatherof C', because it is just the inverse relation of 'C hasfather B', which is asserted.
You can use 'onto.B.isfatherof' in Python to obtain C, without performing any reasoning.
As a consequence, Owlready does not store 'B isfatherof C' in the quadstore (to avoid pollution).
|
Locked
