owl:AllDifferent and owl:members

Hi all!

In OWL 2 we have two new n-ary axioms alongside AllDifferent: AllDisjoint
and AllDisjointProperties. In the RDF mapping, the old AllDifferent
construct was applied in combination with the property
'owl:distinctMembers'. For the two new constructs, however, there is the new
property 'owl:members'.

My question is: In order to make things more coherent, should we allow
'owl:members' to be used together with AllDifferent, too? I would be in
favor of this. 

Of course, for backwards compatibility, AllDifferent should further be
usable in combination with owl:differentMembers.

Cheers,
Michael

--
Dipl.-Inform. Michael Schneider
FZI Forschungszentrum Informatik Karlsruhe
Abtl. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: Michael.Schneider@fzi.de
Web  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555

FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts
Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus