[developers] LKB - retains redundant edges in type hierarchy
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'.
- Glenn Slayden
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the developers