From: Benjamin Grosof (bgrosof@mit.edu)
Date: 11/22/02
Hi Murray, Amen. I'm working on that, including with Sheila McIlraith and Dave Martin. Paper on SweetDeal system with rules+ont e-contracting scenario (ISWC Rules workshop), and paper on ECOIN system with ont+rules financial analysis scenario (WITS '02) are on my website. Best, Benjamin At 08:18 AM 11/22/2002 -0500, mburke wrote: >Please make sure that there are adequate use cases, related to DAML-S >I believe DAML-Services has a critical need for the rule language. > >Thanks. > >Murray > >Murray A. Burke >Program Manager >DARPA/IXO >3701 N. Fairfax Drive Phone: 703-696-2303 >Arlington, VA 22203-1714 Fax: 517-218-4550 >mailto: mburke@darpa.mil DSN: 426-2303 > >-----Original Message----- >From: Harold Boley [mailto:boley@informatik.uni-kl.de] >Sent: Wednesday, November 20, 2002 10:16 PM >To: Sandro Hawke >Cc: joint-committee@daml.org >Subject: Re: deSkolemizing to get Horn-expressivity with RDF rules > >Hi Sandro, > > > > As I hinted at in a different thread, it should be helpful to exchange > > > our experience with rule engines such as cwm/n3 and Mandarax/RuleML or > > > j-DREW/RuleML. > > > > What would you suggest? Our cwm/n3 work is all in a public cvs > > repository, but it hasn't been properly written up. We're still > > trying to understand what aspects of it are novel and/or useful. Do > > you have ideas for a process that might work here? > >We could jointly announce, on rdf-rules, to start an exchange of experience >about rule engines and tools between N3, RuleML, and related rule languages: > >. . . > >For this purpose we are collecting use cases beginning with three initial >examples. Further use-case proposals should be sent to rdf-rules. > >One example of these, GEDCOM, already happens to be in the N3 collection, >http://www.w3.org/2000/10/swap/Examples, as well as in the RuleML >collection, >http://www.ruleml.org/#Library. Further ones could also find their way into >these individual collections or, a common collection could be established. > >1. GEDCOM (Author: Mike Dean) >This has already been used to demonstrate aspects of N3 and RuleML. > >2. Authentication (Author: Tim Berners-Lee) >Versions of an authentication rule have been written in both N3 and RuleML; >these could be jointly extended. > >3. Open ... > >Our rule engines will be tried on these examples to compare and possibly >later align: > >* Expressiveness > - Triples > - Horn rules > - Negation > - Contexts/Modules > - Other > >* Built-ins > - Arithmetics > - Sequences > - Other > >* Basic bottom-up and top-down derivation, as well as combined techniques > (e.g., cashing/tabeling) > - Memory use > - Response time > >* Rule interpretation > >* Rule compilation > - SQL > - Rete > - WAM > >* Rule transformation > - XSLT-based > - Other > >* Rule development tools > - Editors > - Validators > - Cross-referencers > >* Web-tool embedding > - Client-side embedding > - Server-side embedding > >* Conventional-software integration > - Rule-engine API and programming-language interfaces > - Database and data bindings 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 : 11/22/02 EST