Harold and RuleML

Harold Boley was over in Montreal yesterday. He gave a talk on RuleML. The big news, to me, is that RuleML has been modularized into sublanguages. Of particular interest to me was their DataLog sublanguage (and they have a tutorial about it). To be honest, I didn’t even know what “DataLog” meant before this talk. Guy stopped by as well as many interesting people including François Magnan and Olga.

Now, someone should go out and implement a nice DataLog-RuleML engine on top of MySQL.

We also talked about Web Services, Logic and so on. Finally, we agreed to start a network of researchers making their publication lists available as XML (I have been doing so for a long time).

Finally, we stopped by Idialia to see the lovely Anna and her office. It seems like Idilia now has a white paper out, but I can’t seem to navigate their web site.

Published by

Daniel Lemire

A computer science professor at the University of Quebec (TELUQ).

Leave a Reply

Your email address will not be published. Required fields are marked *

To create code blocks or other preformatted text, indent by four spaces:

    This will be displayed in a monospaced font. The first four 
    spaces will be stripped off, but all other whitespace
    will be preserved.
    Markdown is turned off in code blocks:
     [This is not a link](http://example.com)

To create not a block, but an inline code span, use backticks:

Here is some inline `code`.

For more help see http://daringfireball.net/projects/markdown/syntax