W3C home > Mailing lists > Public > public-rif-wg@w3.org > September 2008

Re: PS grammar question

From: Dave Reynolds <der@hplb.hpl.hp.com>
Date: Mon, 22 Sep 2008 10:59:41 +0100
Message-ID: <48D76C8D.1090608@hplb.hpl.hp.com>
To: kifer@cs.sunysb.edu
CC: RIF WG <public-rif-wg@w3.org>

Michael Kifer wrote:

> This is not the only problem that exists in PS due to gratuitous objections
> early on. I see couple of others, which I would be happy to get rid of:

[snip]

> 2. The requirement that every variable must be *explicitly* quantified.
>    This just makes the test cases hard to read and is totally unnecessary.

I particularly agree with this one.

Working on the OWL 2 DL ruleset I'm finding this constraint is very 
annoying to maintain, leaves the rules even less readable and seems to 
have no purpose.

Dave
-- 
Hewlett-Packard Limited
Registered Office: Cain Road, Bracknell, Berks RG12 1HN
Registered No: 690597 England
Received on Monday, 22 September 2008 10:01:24 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:54 GMT