Anonymous individuals and profiles

Hello,

It turns out that, when we introduced anonymous individuals into OWL 2, we implicitly introduced them into all the profiles as well.
I only noticed this yesterday while creating the complete grammars -- good thing people suggested that I do that! This is clearly an
error, as anonymous individuals increase the complexity of reasoning in some cases. I have corrected this error, but, because it did
involve a small change to the language, I thought that I should at least bring it to everyone's attention.

Regards,

	Boris

Received on Friday, 28 November 2008 18:04:48 UTC