[developers] LKB - retains redundant edges in type hierarchy

Glenn Slayden glenn at thai-language.com
Fri Apr 10 19:52:36 CEST 2009

In the following full type hierarchy:


a := *top*.

b := *top*.

d := a & b.

c := b.

e := a & c.

f := a & c.


the LKB establishes a type hierarchy with redundant edges from 'a'-'f' and




I expected a graph with 10 edges, rather than 12, since 'a' already subsumes
both 'f' and 'e' via 'glbtype1' and 'glbtype2'.


Many thanks.



- Glenn Slayden

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.delph-in.net/archives/developers/attachments/20090410/d0bd8b81/attachment.html>

More information about the developers mailing list