ACTION-193: Effort needed for implementing a resolution of ISSUE-136

Dear all!

ISSUE-136 asks whether we should allow the use of the property owl:members
in the RDF syntax of owl:AllDifferent. I have an action to check how much
effort an implementation of a resolution of this issue would mean to us.

* Structural Spec, DL Syntax, Profiles: none (this is an RDF-syntax-only
issue, and the OWL RL rules do not )
 
* RDF mapping from Functional Syntax to RDF: none (can remain as is, because
the old owl:distinctMembers property would still be available)

* Reverse RDF mapping: The reverse-mapping will need one new entry in table
15, "Parsing of Axioms", which is:

    RDF:
        _:x rdf:type owl:AllDifferent
        _:x owl:members T(SEQ x1 ... xn) 	
    FS:
        DifferentIndividuals( x1 ... xn )
 
That's the analog entry to the one which is already there for
'owl:distinctMembers'. So it's mainly copy&paste.

* Full-Semantics: There would then be two semantic conditions for
owl:AllDifferent, one for 'owl:distinctMembers' (currently there), and the
other for 'owl:members'. So it's mainly copy&paste.

* Other documents:
** Guide: I assume that it needs an additional entry, but at the time of
writing, there is no treatment of n-ary axioms yet. Anyway, should be a
quick addition.
** Primer: One may or may not decide to update corresponding examples in the
Primer, if any, but it won't be necessary. 
** UseCases: Probably no changes needed (but similar consideration as for
the Primer).
** TestCases: I don't think that the TestCases would need any update, but
cannot finally tell from its current state.

Bottom line: Implementing the resolution wouldn't probably need more effort
than writing this mail. :)

Regards,
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