Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!seismo!columbia!rutgers!ucla-cs!zen!ucbvax!uqcspe.OZ.AU!twine
From: twine@uqcspe.OZ.AU (Steven Twine)
Newsgroups: comp.ai.digest
Subject: Examples of KEE frames Requested
Message-ID: <1514@uqcspe.OZ>
Date: Tue, 28-Jul-87 00:46:37 EDT
Article-I.D.: uqcspe.1514
Posted: Tue Jul 28 00:46:37 1987
Date-Received: Fri, 31-Jul-87 00:42:25 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: Computer Science, Queensland Uni, Australia
Lines: 28
Keywords: KEE, Help Needed, Examples Required
Approved: ailist@stripe.sri.com


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