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.

-Chris

-- 
Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.
cawelty@gmail.com                           Hawthorne, NY 10532
http://www.research.ibm.com/people/w/welty
Received on Tuesday, 23 September 2008 14:54:40 GMT

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