[Admin] Draft minutes Telecon 24 July 2007 - revised

Attached a version with some rewordings as proposed by Harold and 
Hassan, diff below.

362,364c362,364
<     <p class="irc">&lt;<cite>Hassan</cite>&gt; Option 1 proposes to
<     use the ad hoc data model than we have to express most other
<     data models?</p>
---
 >     <p class="irc">&lt;<cite>Hassan</cite>&gt; Option 1 proposes to
 >     use the ad hoc data model that we have in RIF to express most
 >     other data models</p>
438,440c438,443
<     <p class="phone"><cite>Hassan:</cite> By saying that you now
<     have separation for predicates, functions, ... that ammounts
<     just to sorts?</p>
---
 >     <p class="phone"><cite>Hassan:</cite> By saying that you now have
 >     separation for predicates, functions, ... doesn't that amount 
just >     to hiding the sorts in the names? For example, 2-ary predicate
 >     'foo' and 3-ary function 'foo' can always be renamed apart using a
 >     hidden sorted-signature naming scheme such as, e.g.,
 >     'foo/2#predicate' and 'foo/3#function'.</p>
502,506c505,510
<     <p class="irc">&lt;<cite>Harold</cite>&gt; Of the signature
<     names bool, i, f0, f1, p0, p1, etc. in an extension dialect we
<     could allow refining i, the one for individual objects, into
<     our primitive types long, string, decimal, time, dateTime (and
<     iri).</p>
---
 >     <p class="irc">&lt;<cite>Harold</cite>&gt; > We have the signature
 >     names bool, i, f0, f1, p0, p1, etc. Of these, bool and i can be
 >     seen as the primitive types of boolean values and individual
 >     values. The Basic Logic Dialect or an extension dialect could
 >     allow refining i, the type of individual values, into our
 >     primitive types long, string, decimal, time, dateTime (and
 >     iri).</p>
511,512c515,517
<     <p class="irc">&lt;<cite>Harold</cite>&gt; So, long subClassOf
<     i, string subClassOf i, etc.</p>
---
 >     <p class="irc">&lt;<cite>Harold</cite>&gt; So, long subTypeOf
 >     decimal subTypeOf i, string subTypeOf i, time subTypeOf i, dateTime
 >     subTypeOf i (and iri subTypeOf i).</p>