[SCL] telecon apologies

[Chris Menzel]

On Tue, May 27, 2003 at 11:26:23AM -0500, Pat Hayes wrote:
> Sorry I missed the telecon that I had scheduled!   This was a 
> triple-disaster morning and I didnt even get to look at a clock until 
> 11 am.
> 
> I will try to get myself back up to speed with what happened and get 
> back to y'all ASAP.

Tanel and I were the only participants, but we had a productive 45
minute talk.  I have to run to a lunch mtg, but, briefly, there were two
major topics (Tanel, pls confirm/correct/elaborate as necessary):

* The importance of developing clear rules for translating an
arbitary SCL language into traditional first-order form.  The most
obvious approach here is just to use the Pred_n and App_n predicates.
Pat and I already worked this out in a currently dormant paper on CL.
I'll extract it and put it into the SCL doc.  Tenel also suggested it
would be good to see the precise mapping from RDFS to a fully conformant
first-order SCL language using Pred_n and App_n.

* The choice and development of intrinsic SCL datatypes.  Tanel sent out
a msg earlier today about this, following up on yesterday's discussion
between Pat and John on the introduction of a very basic theory of the
integers I will try to distill Pat's proposal into something concrete as
well.

I'll try to have a further revision out in the next day or so.

-chris