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

Hi, Ian!

Ian Horrocks wrote:

>Michael,
>
>This seems reasonable.
>
>Would you like to propose to resolve the issue along these lines?

Yes.

>Thanks,
>Ian

Cheers,
Michael

>On 13 Aug 2008, at 20:36, Michael Schneider wrote:
>
>> 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