Thanks for the comments, Ben.
While the RIF WG has no specific plans to create new dialects, we do seek "implementations" of FLD in the form of new dialect definitions that use it.
Please acknowledge receipt of this email to <mailto:firstname.lastname@example.org> (replying to this email should suffice). In your acknowledgment please let us know whether or not you are satisfied with the working group's response to your comment.
-The RIF WG
Benjamin Grosof wrote: > Hi folks, > > Some comments on RIF are below. > > The current specification(s) and associated documents are a good job overall. > Let's keep up the steam in the home stretch. > > More salient is that this initial step of RIF BLD/Core/PRD/FLD is important. > It is needed by industry, research, and the web overall. > It is a key step on the road to reduce fragmentation in the business rule industry and > semantic web/technology industry, and to have a number of benefits for customers. > See  for an industry roadmap analysis I did a couple years ago on this topic. > > After RIF becomes a Recommendation, there is more work to be done under the extensibility > framework (FLD) especially. > > PRD is a good initial step but essentially has a procedural operational semantics rather > than declarative model-theoretic semantics, thus is > not "fully" semantic in that sense and does not support interoperability nearly as > satisfactorily as logic dialects/approaches that do have such. > > Notably needed in extensions (i.e., new logic dialects) under FLD are two kinds of expressive features: > > 1. nonmonotonicity -- default negation, and then more expressive defaults. > > 2. actions -- conclusion-triggered external procedurally attached actions, and then events too, > similar to those in production rules and Event-Condition-Action rules . > > In terms of "80-20" kinds of thinking, "80" percent of current and potential > commercial applications in the business rules and semantic technology sectors need nonmonotonicity and/or actions. > > These two features were identified as high priority at the time the Working Group was being chartered, > but have not yet been incorporated into the Logic Dialects > that are detailed in the current RIF specifications. > > Much of the basis for such extensions under FLD is available in standardization-oriented KR > semantic rule designs such as RuleML  and SILK . > These do have fully declarative, model-theoretic semantics. > > Indeed, the SILK effort by the group I lead at Vulcan is currently developing some such extensions, > with contractor partners that include BBN Technologies, Stony Brook University, and others. > > All that awaits is to get the current RIF stuff, done by the Working Group, out as an actual Recommendation. > > I think we should all be looking forward to that. > Relative quiet on the public comments etc. mailing lists mainly indicates lack of controversy, in my view. > > Sincerely, > --Benjamin > > >  http://www.ruleml.org > >  http://silk.semwebcentral.org > >  http://www.mit.edu/~bgrosof/#EBRC2007Talk