- From: Chris Welty <cawelty@gmail.com>
- Date: Tue, 23 Sep 2008 10:53:55 -0400
- 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 UTC