PENG, aka Processed English, is a knowledge base created in 2002 by Rolf Schwitter and Marc Tilbrook.
| #2490on PLDB | 23Years Old |
A controlled language processor translates PENG text to first-order logic via a discourse representation structure. The resultant logical theory can then be checked for consistency and informativity, and may also be used for question-answering by third-party reasoning services.
[drs([A, B, C],
[theta(A, theme, C)#[1],
event(A, working)#[1],
theta(A, location, B)#[1],
named(B, macquarie university)#[1, [third, sg, neut],
[’Macquarie’,’University’]],
named(C, david miller)#[1, [third, sg, masc],[’David’,’Miller’]]])]