RE: mt comments attached this time.

At 22:17 11/11/2002 +0000, Jeremy Carroll wrote:

>A quick comment that Brian's proposed rule:
>
>xxx rdf:type rdf:Seq .
>
>_:xxx rdf:_nnn _:yyy .
>
>entails
>
>_:xxx rdf:_mmm _:zzz .
>
>when nnn > 1 and mmm = nnn-1
>
>was one that I had thought we had decided against ...

You are probably right.  I don't want to re-open old issues.

Brian

Received on Monday, 11 November 2002 17:36:46 UTC