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/weltyReceived 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