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 CB5EReceived on Tuesday, 6 May 2003 16:25:10 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:06:33 UTC