Re: Addiitonal syntax tests

I must have had luck to have checked out after your commit ;-)
What I did change was
$ cvs commit -m "changed premises to premises006"
Enter passphrase for RSA key '/cygdrive/c/.ssh/identity':
Checking in WWW/2002/03owlt/Class/conclusions006.rdf;
/w3ccvs/WWW/2002/03owlt/Class/conclusions006.rdf,v  <--  conclusions006.rdf
new revision: 1.2; previous revision: 1.1

We also tested the 2 P.E.T. cases and they run.

Jos De Roo, AGFA

                      Jeremy Carroll                                                                                                   
                      <>         To:                                                          
                      Sent by:                 cc:                                                                                     
                      www-webont-wg-req        Subject:  Re: Addiitonal syntax tests                                                   
                      2003-09-24 08:02                                                                                                 

>Restriction--005        not in the current manifest file?
>Restriction-006         not in the current manifest file?

Is now - the CVS commit was waiting for me to write a commit comment!

>(I'm assuming that there is a uniform mapping from these shorthand names
>official names.  Otherwise I can't figure out which test these correspond
>to at all.)

The algorithm is:
where * is Manifest, premises, conclusions etc.

(always Manifest)

I tend to use the index:


Received on Wednesday, 24 September 2003 15:29:52 UTC