Re: Rules WG -- draft charter

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Sandro Hawke <sandro@w3.org> writes:

>> 1. Who wrote this draft? Might be a useful addition. (Entirely
>> possible I missed attribution).
>
> No, I left it out on purpose, because it's really a complex
> collaboration (sounds nicer than "mish-mash") from the W3C Team,
> trying to be true to what everyone seemed to want, but not everyone
> who contributed got to see the changes I made before making it public,
> so I can't really put their names on it.   Or something like that.  I
> took the last editing pass, so any blame goes to me.   

I guessed as much :-) I was just interested.

<snip>

>> 4. 2.4 Standard Library. log:semantics and the document() function - I
>> think that needs plenty of justification. In XML contexts I see the
>> need - referencing distinct documents - but in RDF documents are
>> a pretty vague concept, and anyway RDF is trivial to merge
>> and that can be done prior to applying rules.
>
> We've made some good use of log:semantics in programming projects near
> cwm.  And of course most (all?) Prologs have builtins for reading
> files.  But I hear that needs to be explained better -- especially why
> there should be a builtins for reading RDF and Rules sources seperate
> from builtins for reading arbitrary sources.

Sure. I didn't mean to suggest it wasn't useful - you want something
to reason /about/, otherwise life becomes rather dull. I guess my
question is: is the rdf rule WG going to produce simply a means to
express rules, or something more like a rules programming language (a
la prolog, N3)?

OTOH I can see the need in the proof/justifcation language (perhaps
'diagnostic' since the former terms are so fraught with controversy).

>      -- sandro

Thanks Sandro,

Damian
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (Darwin)
Comment: Processed by Mailcrypt 3.5.8 <http://mailcrypt.sourceforge.net/>

iD8DBQE/sjA9AyLCB+mTtykRAt/bAJ9Mxqm6Aarb5BIr0ZCdxNEY9ozifACgsGnx
qR6QCeQ/2lyXBOLJhhHAW4A=
=Lax2
-----END PGP SIGNATURE-----

Received on Wednesday, 12 November 2003 08:09:34 UTC