Re: A minor bug in OWL 2 RL - Theorem PR1

That seems fine to me.

I also think this is legitimately a bug and not a design change. So, I  
think there's no trouble in treating it as editorial...is there?

Cheers,
Bijan.

Received on Monday, 19 January 2009 23:02:42 UTC