W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2003

Re: Addiitonal syntax tests

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Wed, 24 Sep 2003 21:28:44 +0200
To: "Jeremy Carroll <jjc" <jjc@hpl.hp.com>
Cc: www-webont-wg@w3.org
Message-ID: <OFB9A07B67.DADFDC21-ONC1256DAB.006A7AC0-C1256DAB.006B0644@agfa.be>

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 http://www.agfa.com/w3c/jdroo/

                      Jeremy Carroll                                                                                                   
                      <jjc@hpl.hp.com>         To:       www-webont-wg@w3.org                                                          
                      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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:55 UTC