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. BrianReceived on Monday, 11 November 2002 17:36:46 EST
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:05 EDT