- From: Zhe Wu <alan.wu@oracle.com>
- Date: Tue, 02 Dec 2008 09:58:11 -0500
- 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 UTC