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

Re: PS grammar question

From: Chris Welty <cawelty@gmail.com>
Date: Tue, 23 Sep 2008 10:53:55 -0400
Message-ID: <48D90303.6030508@gmail.com>
To: Dave Reynolds <der@hplb.hpl.hp.com>
CC: kifer@cs.sunysb.edu, RIF WG <public-rif-wg@w3.org>

Dave Reynolds wrote:
> 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.

This was a resolution passed long ago before we actually had a language 
(err...interchange format).

I think enough has changed to justify revisiting it.  I would not consider this 
a significant change - it is eliminating redundancy.  If you wish to do it, 
please make a proposal.


Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.
cawelty@gmail.com                           Hawthorne, NY 10532
Received on Tuesday, 23 September 2008 14:54:40 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:52 UTC