Re: weekly call for agenda items

>This is the weekly call for agenda items.  On my list of possibles, I have:
>
>  o plan (I'll send a strawman out Friday)
>  o concepts doc (I'm hoping for a new doc Thursday)
>  o syntax doc (I'm hoping for a new doc Thursday)
>  o lbase review
>  o proposed tech changes to model theory
>  o semantic bugs in domain and range

This is misnamed. There are currently bugs in subClassOf and 
subPropertyOf, and I will fix those bugs in the next draft of the MT. 
The question about domain and range is a genuine question, not a bug: 
we can go either way, and there are arguments in both directions, so 
we have to make a genuine decision. And since, by the way, I seem to 
be in a lone minority on this argument, I am willing to just go with 
the flow and accept the Jeremy entailment (superclasses of ranges are 
also ranges). If that will rapidly reach consensus, please let us 
rapidly reach consensus.

>  o semantics of lists

Let me ask that we place lists high on the agenda as we need to get 
this sorted out in order to get the MT done, and Webont needs it, and 
there are apparently some strongly held opinions about it.

Pat


>
>Brian


-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes

Received on Thursday, 24 October 2002 12:35:55 UTC