OWL abstract syntax: -lite, -dl restrictions

With reference to:
   http://www.w3.org/TR/owl-semantics/syntax.html#2.3.1.2
and
   http://www.w3.org/TR/owl-semantics/syntax.html#2.3.2.3

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.)

#g


-------------------
Graham Klyne
<GK@NineByNine.org>
PGP: 0FAA 69FF C083 000B A2E9  A131 01B9 1C7A DBCA CB5E

Received on Tuesday, 6 May 2003 16:25:11 UTC