Closed DavidLeoni closed 7 years ago
I think this behaviour is perfectly fine both scientifically and in practice.
As long as we have the transitive closure on superdomains, the user can always implement the check very easily: if (synset hasDomain D) and (D hasSuperDomain SD) then...
On 30 December 2016 at 16:22, David Leoni notifications@github.com wrote:
Currently transitive closure is computed only for transitive relations, one relation at a time. This means that in transitive relations like hypernym which have special relations for leaves like instanceHypernym, the instances are not linked to the chain of parents.
For our purposes, this may be particularly problematic for calculations regarding domains.
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/diversicon-kb/diversicon-core/issues/32, or mute the thread https://github.com/notifications/unsubscribe-auth/AHOMDWC6ZckHBc5bRRLww8hdThqSvprPks5rNSG_gaJpZM4LYPNs .
Yes right, basically applications using Diversicon would need to be a little smarter and on Diversicon side we would save a lot of memory in extra edges, especially for entities. Closing this.
Currently transitive closure is computed only for transitive relations, one relation at a time. This means that in transitive relations like
hypernym
which have special relations for leaves likeinstanceHypernym
, the instances are not linked to the chain of parents.For our purposes, this may be particularly problematic for calculations regarding domains.