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

Re: Addiitonal syntax tests

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Wed, 24 Sep 2003 21:02:15 +0300
To: www-webont-wg@w3.org
Message-Id: <200309242102.15523.jjc@hpl.hp.com>

>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 to
>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:03:00 UTC

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