- From: Graham Klyne <gk@ninebynine.org>
- Date: Tue, 06 May 2003 17:07:03 +0100
- To: public-webont-comments <public-webont-comments@w3.org>
With reference to:
http://www.w3.org/TR/owl-semantics/syntax.html#2.3.2.1
I see:
[[
axiom ::= 'DisjointClasses(' description description { description } ')'
| 'EquivalentClasses(' description { description } ')'
| 'SubClassOf(' description description ')'
]]
which appears to admit "EquivalentClasses( description )" as a valid axiom.
Is this correct? If so, what does it mean? I'm guessing there's a missing
"description" in the EquivalentClasses production. (Assuming this is so, I
see no cause to raise a formal comment.)
#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:10 UTC