W3C home > Mailing lists > Public > public-owl-wg@w3.org > August 2008

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

From: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
Date: Mon, 18 Aug 2008 21:19:18 +0100
Message-Id: <BF6115C3-B390-4791-892E-3FAE84572F1F@comlab.ox.ac.uk>
Cc: <public-owl-wg@w3.org>
To: Michael Schneider <schneid@fzi.de>

Michael,

This seems reasonable.

Would you like to propose to resolve the issue along these lines?

Thanks,
Ian


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
>
Received on Tuesday, 19 August 2008 09:56:20 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 19 August 2008 09:56:21 GMT