W3C home > Mailing lists > Public > public-webont-comments@w3.org > May 2003

OWL abstract syntax: -lite, -dl restrictions

From: Graham Klyne <gk@ninebynine.org>
Date: Tue, 06 May 2003 17:29:37 +0100
Message-Id: <>
To: public-webont-comments <public-webont-comments@w3.org>

With reference to:

I see that for OWL-lite:
restriction ::= 'restriction(' datavaluedPropertyID 
dataRestrictionComponent ')'
             | 'restriction(' individualvaluedPropertyID 
objectRestrictionComponent ')'

But for OWL-DL:
restriction ::= 'restriction(' datavaluedPropertyID 
dataRestrictionComponent { dataRestrictionComponent } ')'
             | 'restriction(' individualvaluedPropertyID 
objectRestrictionComponent { objectRestrictionComponent } ')'

Is it intended that a restriction may have only one component in OWL-lite?

This restriction (sic) seems rather pointless, as I think an axiom naming a 
class can be repeated with multiple single-component restrictions to 
achieve the same effect.

Also, I note that OWL-lite restrictions do not include the single-value 
form of restriction "Value( _ )".  Is this intended?

(I see no purpose in raising a formal issue for this.)


Graham Klyne
PGP: 0FAA 69FF C083 000B A2E9  A131 01B9 1C7A DBCA CB5E
Received on Tuesday, 6 May 2003 16:25:11 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:43:28 GMT