Description Logic
Second KL-One Workshop
Schmolze, Jim, Brachman, Ronald J.
Amidst the beautiful foliage in Jackson, N.H., the each session circulated a position paper to the group, Second KL-ONE Workshop was held over a five-day raising the questions he wanted to see addressed at the period this past October. Not only did "KloneTalk" (a version of KL-ONE implemented in we have a general conference session, wherein people SmaiiTa k at Xerox PARC -- this inchrded a videotaped could report on activities at their own institutions, discuss demonstration of the system's interface), prototypes in issues of general interest, etc., we also had a knowledge representation, translation of INTERLISP two-and-a-half day working research session. KL-ONE to FranzLisp, a calculus of Structural The technieai discussion part of the Workshop Descriptions, and the KL-ONE Classifier, not to mention several others. We also had the larger group break up preceded the general conference, so that we could report into smaller working groups to consider inference in on findings to the larger group of participants (forty-six KL-ONE, representing beliefs, some KL-ONE practice this year, from twenty-one institutions). Also, we planned to cover only a small extensive Proceedings of the Workshop.