Differences between revisions 2 and 3
Revision 2 as of 2009-05-20 03:37:27
Size: 614
Editor: GlennSlayden
Comment:
Revision 3 as of 2009-05-20 03:40:05
Size: 621
Editor: GlennSlayden
Comment:
Deletions are marked like this. Additions are marked like this.
Line 4: Line 4:
{{{
Line 11: Line 11:
}}}
Line 16: Line 16:
I expected a graph with 10 edges, rather than 12, since ‘a’ already subsumes both ‘f’ and ‘e’ via ‘glbtype1’ and ‘glbtype2’. One expects a graph with 10 edges, rather than 12, since ‘a’ already subsumes both ‘f’ and ‘e’ via ‘glbtype1’ and ‘glbtype2’.

This page is a repository for documenting known issues with the LKB such that they can be investigated and corrected, should developers visit or revisit the relevant areas of the code.

  • 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 a - e:

[http://www.computational-semantics.com/webshare/inv-3-hierarchy-lkb.png]

One expects a graph with 10 edges, rather than 12, since ‘a’ already subsumes both ‘f’ and ‘e’ via ‘glbtype1’ and ‘glbtype2’.

LkbBugs (last edited 2017-12-18 13:09:58 by JohnCarroll)

(The DELPH-IN infrastructure is hosted at the University of Oslo)