Differences between revisions 4 and 5
Revision 4 as of 2011-10-08 21:12:17
Size: 623
Editor: localhost
Comment: converted to 1.6 markup
Revision 5 as of 2017-11-21 17:46:06
Size: 737
Editor: JohnCarroll
Comment:
Deletions are marked like this. Additions are marked like this.
Line 16: Line 16:
One expects 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 bug is present in the Allegro CL version of the LKB, but is fixed in the fully open source version, LKB-FOS.

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’. This bug is present in the Allegro CL version of the LKB, but is fixed in the fully open source version, LKB-FOS.

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

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