Delivery-Date: Tue Aug 26 17:26:51 2008
To: swi-prolog@iai.uni-bonn.de
From: Sandro Hawke <sandro@w3.org>
Message-ID: <19333.1219785819@ubuhebe>
Subject: [SWIPL] xml format for rules (RIF)
Sender: swi-prolog-admin@iai.uni-bonn.de
Errors-To: swi-prolog-admin@iai.uni-bonn.de
Precedence: bulk
Date: Tue, 26 Aug 2008 17:23:39 -0400
Received-SPF: pass


For a few years now, I've been involved in an effort at W3C to make a
standard XML format for rules, so people can move their rules between
different kinds of systems (including prolog systems and production-rule
systems) and publish them for re-use on the Web.  We're not trying to do
anything terribly complex, just find the commonalities between different
systems and build a format around those.

Since the common core (intersection) is so small, we've decided to pick
a few points of standardization, or "dialects".  We're now done with the
design of the first of these, which we call the "basic logic dialect"
(BLD).

BLD corresponds very roughly to pure prolog, and we're very interested
in getting some feedback from people before we continue along the
standards process.  I suspect some folks on this list would have good
insight.

The latest draft BLD specification is here:

      http://www.w3.org/TR/rif-bld/

Linked from it, you'll find related documents, including one covering
how to use BLD with RDF and OWL, and another detailing the supported
data types and built-ins.   

We'd appreciate comments by 19 September, and please send them to
public-rif-comments@w3.org, which is a publically-archived mailing list.
We would like comment on editorial style ("I couldn't really understand
section 4.2.1 because...") as well as the more technical and
theoretical.

    -- Sandro Hawke
       W3C Rule Interchange Format (RIF) Working Group

_______________________________________________
SWI-Prolog mailing list
SWI-Prolog@iai.uni-bonn.de
https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog