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 EnglandReceived on Monday, 22 September 2008 10:01:24 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:54 GMT