[SCL] CL web pages

[Murray Altheim]

I'm just taking off to go home and eat something, and I'll later
put together some references as requested in the telecon for things
like PURLs, PSIs, etc.

I went ahead and registered the "CL" domain under purl.org, so
it would then be under this domain that the PSIs for CL would be
based. In theory, I wouldn't have needed to get the "XCL" domain
now, as it could have been a CL subdomain (but I thought it
presumptuous to grab CL at the time). CLML or whatever we end up
calling it can be a subdomain of "CL".

So the PSI domain for the CL work can now be (nice and short):

    http://purl.org/cl/

Then we could have PSIs like:

    http://purl.org/cl/1.0/#exists
    http://purl.org/cl/1.0/#forall
    etc.

I'll try to explain more about this later. But in short, the PSIs
in the CL specification could be mapped to the PSIs in the XCL
(or whatever we call it) specification. Theorem provers could use
the PSIs for identity on concepts.

Tanel, I'll definitely need your help in fleshing out some of the
syntax and I hope we can figure out a good working scheme. Chris
has offered to assist me in understanding perhaps a better approach
than either of the current syntax proposals by a closer matching to
n-tuples. My current approach would simply be to have a <predicate>
element with n <term> child elements, but there may be a better
way that looks closer to the abstract model (not that parent-child
is too far). We didn't really come to a definitive answer on arity.
In a concrete syntax it could easily be an attribute on the predicate,
but I guess it hasn't been decided on for the abstract. Lots to talk
about still, but we seem to be on track.

Anyway, thanks for a productive and enjoyable telecon. As I
mentioned, during the call I was looking out the window of an
office here, and I got to watch both snow, hail, and a guy
mowing the lawn afterwards. Very strange. Looking forward to a
holiday somewhere warm, like Greece, where the water stays on
the ground and you swim in it.

Cheers,

Murray

......................................................................
Murray Altheim                  <http://kmi.open.ac.uk/people/murray/>
Knowledge Media Institute
The Open University, Milton Keynes, Bucks, MK7 6AA, UK

    Boundless wind and moon - the eye within eyes,
    Inexhaustible heaven and earth - the light beyond light,
    The willow dark, the flower bright - ten thousand houses,
    Knock at any door - there's one who will respond.
                                     -- The Blue Cliff Record