Re: DAML RULES -- logic programs, Webizing, RuleML new release (resend)

From: Benjamin Grosof (
Date: 07/13/01

Hi folks,

With regard to what kind of inferencing is reasonable to consider to
support in DAML, in combination with DAML+OIL, as an inference (as
opposed to transformational) rule language/expressive-extension:

I believe that the starting point should be declarative logic programs (LP), 
first without negation ("hornlog LP"), 
then with negation-as-failure ("ordinary LP"), 
then with prioritized conflict handling ("courteous LP") and 
procedural attachments ("situated courteous LP").

The first step in Webizing this is to permit the logical constants
(relation symbols, function/constructor symbols) to be URI's.  
The second step in Webizing this is to incorporate the DAML+OIL features.
On the way, RDF as a form of essentially syntax, well as XML as a more
usual kind of syntax, should be supported.

The latest serious attempt at defining a standard for all this is
RuleML (, also see, for which a new version (0.8)
of DTD's has just this week been released. There are several
research-world tools now available for it, including to execute a
version of it in the XSB logic programming system.  IBM is planning to
support it in CommonRules (which already supports situated courteous
LP and translation to/fro XSB and KIF, with its own earlier XML format

RuleML has not yet tackled incorporating DAML+OIL features, so that is
one of the next things to do.  Please contact me if you'd like to work
together on that.


Prof. Benjamin Grosof,   MIT Sloan Sch. of Mgmt.  (
   Contracts and Policies for E-Commerce, XML Agent Communication

This archive was generated by hypermail 2.1.4 : 04/02/02 EST