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, BorisReceived on Friday, 28 November 2008 18:04:48 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 28 November 2008 18:04:50 GMT