From: Deborah L. McGuinness (dlm@ksl.Stanford.EDU)
Date: 03/02/04
for classic rules - the best reference is the user manual - Lori Alperin Resnick, Alex Borgida, Ronald J. Brachman, Deborah L. McGuinness, and Peter F. Patel-Schneider. ``CLASSIC Description and Reference Manual for the COMMON LISP Implementation: Version 2.3 <papers/manual.ps>.'' AI Principles Research Department, AT&T Bell Laboratories, 1995. there is also a paper: Alex Borgida <http://www.cs.rutgers.edu/%7Eborgida/>, Charles Isbell, and Deborah L. McGuinness <http://www.ksl.stanford.edu/people/dlm>, ``Reasoning with Black Boxes: Handling Test Concepts in CLASSIC.'' In Proceedings of International Workshop on Description Logics, Cambridge, Mass., November, 1996. that discusses interactions between test concepts and rules in classic which did get used a lot in practice. Mike Dean wrote: >We'll have our weekly telecon today (March 2) from 4-5pm EST, 1-2pm PST, and >corresponding times in other locations. > >The dial-in numbers are > > U.S.: 866-779-0773 > > outside U.S.: +1-334-309-0262 > > After dialing, enter *6190862* (including stars) > > If you're asked, the chairperson is Mike Dean > >A parallel logged IRC session will be available on the #joint-committee >channel at irc.daml.org (see https://www.daml.org/irc/ for the server >password). > >Below is a draft agenda; additions are welcome. > > Mike > >agenda updates/additions > >announcements > > CMU's ROWL [1] > >minutes deferred - see also [2] > >DRS [3] follow-up / language sweet spots (all - 30 min) > >built-ins [4] (Said, et al - 20 min) > >next week > > W3C Tech Plenary recap? > > planning through DAML PI Meeting? > > >[1] http://lists.w3.org/Archives/Public/www-rdf-rules/2004Feb/0011.html > >[2] http://www.daml.org/listarchive/joint-committee/1644.html > >[3] http://lists.w3.org/Archives/Public/public-sws-ig/2004Jan/0024.html > >[4] http://www.daml.org/rules/proposal/builtins > > -- Deborah L. McGuinness Associate Director Knowledge Systems Laboratory Gates Computer Science Building, 2A Room 241 Stanford University, Stanford, CA 94305-9020 email: dlm@ksl.stanford.edu URL: http://ksl.stanford.edu/people/dlm (voice) 650 723 9770 (stanford fax) 650 725 5850 (computer fax) 801 705 0941
This archive was generated by hypermail 2.1.4 : 03/02/04 EST