From: Benjamin Grosof (bgrosof@mit.edu)
Date: 08/10/04
I also am cross-posting this to the mailing list. - BG % notes from Joint Committee telecon 8/10/04 % by Benjamin Grosof participants: Mike Dean Peter Patel-Schneider Benjamin Grosof Said Tabet Ian Horrocks Harold Boley agenda: o FOL language spec o future of Joint Committee we have currently three proposals: SWRL FOL proposals (all - 30 min) minimalist [1] FOL RuleML [2] SCL [3] [1] http://www.daml.org/listarchive/joint-committee/1750.html [2] http://www.ruleml.org/fol/ [3] http://www.daml.org/listarchive/joint-committee/1738.html it would be nice to have minimalist and FOL RuleML relate more closely, and generally to dump less work of reconciling the three we'd like feedback from SWSFL folks, esp. Process Modeling subgroup criteria for them include: 1. more Webized than KIF 2. fairly basic version of FOL is probably initially adequate; they're not expecting markup for lots of extensions until at least mid-autumn 3. It would help if the FOL language relates closely to the SWSL-Rules language, which is a presentation syntax of an expressive extension of RuleML 4. cognitively, one proposal (rather than two) from JC, with at least a paragraph on comparison to SCL and Peter: towards that end, it would help initially to have a short summary of each of the current three proposals Harold: the FOL RuleML is overall a superset of the minimalist FOL proposal, but if subset'd to extending from the SWRL subset of RuleML then it corresponds "precisely" (well, quite close...) - this using Peter's principles for extending: pretty textbook-y - see Harold's very recent msg (on JC archive) consensus: 1. let's shoot for one proposal, keep it fairly basic, relate it to RuleML incl. SWRL, merging the minimalist and the FOL RuleML. - we can call our spec SWRL-FOL 2. let's also make an issues list incl. esp. for extensions, - e.g., in directions of HiLog, reification, lists; also F-Logic - we can get more from SWSL, e.g., many of the extension features discussed in the SWSL-Rules design document - however, SWSL -- i.e., its Process Model subgroup -- does not yet have a crisp full story on what extensions are needed, and how soon, beyond basic FOL are needed Action item for all: review Harold's msg above %%%% o future of Joint Committee tentative plan: go into hibernation, meet less frequently, after we do our FOL spec, say in Oct. then have telecons go to biweekly, then regular telecons at even longer intervals, say every month or two starting in Dec. Mark Greaves has requested that when we go into hibernation we make a few-sentence statement about why, and about who we're passing the torch to on our major items such as on rules (e.g., to RuleML and W3C) and on FOL (e.g., to SCL and SWSL). %%%% next week no meeting (Aug. vacations/trips, incl. of Mike Dean) resume telecons starting on 8/24 %%%% ________________________________________________________________________________________________ Prof. Benjamin Grosof Web Technologies for E-Commerce, Business Policies, E-Contracting, Rules, XML, Agents, Semantic Web Services MIT Sloan School of Management, Information Technology group http://ebusiness.mit.edu/bgrosof or http://www.mit.edu/~bgrosof
This archive was generated by hypermail 2.1.4 : 08/10/04 EST