- From: Dan Connolly <connolly@w3.org>
- Date: Thu, 13 Mar 2003 10:15:03 -0600
- To: Ian Horrocks <horrocks@cs.man.ac.uk>
- Cc: www-webont-wg@w3.org
On Thu, 2003-03-13 at 10:47, Ian Horrocks wrote: > I know this is rather last-minute, but I would like to propose a > couple of small simplifications to the language that would > significantly improve ease of implementation of datatype reasoning in > both DL and Lite. > > 1. Change the specification of cardinality constraints so that they > can only be applied to individual valued properties and not to data > valued properties. This seems to be a relatively small loss as most > data valued properties turn out to be functional, and it is hard to > think of realistic examples where local/arbitrary-valued cardinality > constraints are required. I can support going to 0/1/many. But constraining a property to be functional is a cardinality constraint, no? I don't think I'm quite clear on what you're after. > 2. Eliminate the dataRange construction from OWL DL, i.e., do not > support oneOf(5 10 15 20). If used in someValuesFrom restrictions, > this construction doesn't add any expressive power as it is equivalent > to a disjunction of value restrictions, but if used in allValuesFrom > restrictions it acts like a datatype definition outside XMLS. OK by me. I wonder if any of the existing tests would need changing for this. [...] -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Thursday, 13 March 2003 11:34:19 UTC