Re: [ANN] Rule Language Workshop - Report, Minutes, Mailing List

Is true record of what I heard at workshop :)
I can't remember wether CHR (Constraint Handling Rules) [1]
were mentioned but too me they seem semwebizable [2]

e.g.

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix ch: <http://eulersharp.sourceforge.net/2003/03swap/ch-rules#>.

{?X math:notGreaterThan ?Y. ?Y math:notGreaterThan ?X}
  ch:simplification {?X owl:sameAs ?Y}.

{?X math:notGreaterThan ?Y. ?Y math:notGreaterThan ?Z}
  ch:propagation {?X math:notGreaterThan ?Z}.


and have the underlying SWI, XSB, YAP, Jack, (Euler?), ... engines


--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

[1] http://www.cs.kuleuven.ac.be/~dtai/projects/CHR/
[2] http://eulersharp.sourceforge.net/2003/03swap/ch-rules





Sandro Hawke <sandro@w3.org>
Sent by: team-rule-language-workshop-committee-request@w3.org
07/06/2005 23:48
Please respond to public-rule-language-discuss


        To:     semantic-web@w3.org, www-rdf-rules@w3.org,
public-sws-ig@w3.org,
team-rule-language-workshop-committee@w3.org
        cc:     (bcc: Jos De_Roo/AMDUS/MOR/Agfa-NV/BE/BAYER)
        Subject:        [ANN] Rule Language Workshop - Report, Minutes,
Mailing List



[ Replies directed to the new list. ]

The report from the W3C Workshop on Rule Languages for
Interoperability is now available at:

   http://www.w3.org/2004/12/rules-ws/report/

An updated version of the program, including links to the slides:

   http://www.w3.org/2004/12/rules-ws/program2

There are contributed notes and minutes linked from the program and
the report.

We've also made a mailing list, public-rule-workshop-discuss@w3.org,
to which you are welcome to send your thoughts about the workshop, the
report, etc. To subscribe, send a message with the subject "subscribe"
to public-rule-workshop-discuss-request@w3.org.  You can also read the
list archive at:

   http://lists.w3.org/Archives/Public/public-rule-workshop-discuss

Thanks to my co-chairs, Christian de Sainte Marie and Said Tabet, as
well as ILOG and DARPA.

       -- sandro

Received on Tuesday, 28 June 2005 00:57:47 UTC