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

Anonymous individuals (again!)

From: Boris Motik <boris.motik@comlab.ox.ac.uk>
Date: Tue, 2 Dec 2008 12:03:02 -0000
To: <public-owl-wg@w3.org>
Message-ID: <0D9E61AE129241F7AB27B6DE38D81EE1@wolf>


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!


Received on Tuesday, 2 December 2008 12:04:11 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:41:54 UTC