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

Re: Anonymous individuals (again!)

From: Zhe Wu <alan.wu@oracle.com>
Date: Tue, 02 Dec 2008 09:58:11 -0500
Message-ID: <49354D03.4030900@oracle.com>
To: Boris Motik <boris.motik@comlab.ox.ac.uk>
CC: public-owl-wg@w3.org

Boris,

That makes RL special ;)  Thanks very much for the hard work.

Zhe

Boris Motik wrote:
> Hello,
>
> The problems with anonymous individuals that I noticed in the Profiles made me look again at the global restrictions on anonymous
> individuals in Section 11.2. I noticed a slight error in the global restrictions, which I've fixed. After fixing this error, I
> realized that
>
> - the restriction on no anonymous individuals in OWL 2 EL and OWL 2 QL is strictly needed if we don't want to lose good
> computational properties;
>
> - however, in OWL 2 RL this restriction isn't needed -- that is, even with anonymous individuals reasoning in OWL 2 RL can be
> implemented in polynomial time.
>
> Consequently, I've removed the restriction on no anonymous individuals in OWL 2 RL from the Profiles document.
>
> I'm now done with all my changes to the spec -- we are ready to roll!
>
> Regards,
>
> 	Boris 
>
>
>   
Received on Tuesday, 2 December 2008 15:00:07 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 December 2008 15:00:10 GMT