twine@uqcspe.OZ.AU (Steven Twine) (07/28/87)
I am currently revising a semantic analysis of KEE's frame language. By semantic analysis, I mean trying to answer the question What facts does X encode about the current Universe of Discourse where X is each of the syntactic ingredients in a KEE knowledge base (units, slots, links etc). This is not as simple as it seems, because a given KEE construct can represent many different things (as Brachman showed for IsA links). Anyway, in revising this paper, I would like to add many more examples of KEE structures that have been used in practice, for the purpose of analysing the facts that they encode. I am particularly interested in any ambiguous or otherwise tricky examples that I can test my interpretations out on. I would appreciate any examples of KEE units etc that people could send me for this purpose (examples in other frame languages may also be useful, but KEE is preferred) All senders will get a lovely acknowledgement at the end of the paper (what an incentive!) as well as my heartfelt gratitude. Thanks in advance, folks! ========================================================================= Steven Twine, ARPA: twine%uqcspe.oz@seismo.css.gov Department of Computer Science, ACSnet: twine@uqcspe.oz University of Queensland, UUCP: seismo!munnari!uqcspe.oz!twine St Lucia, 4067. CSNET: twine@uqcspe.oz AUSTRALIA. JANET: uqcspe.oz!twine@ukc