- From: Dave Reynolds <der@hplb.hpl.hp.com>
- Date: Mon, 22 Sep 2008 10:59:41 +0100
- 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 UTC