Closed GoogleCodeExporter closed 9 years ago
Seems to be not an issue anymore.
<http://lists.w3.org/Archives/Public/public-owl-dev/2007OctDec/0069.html>
Original comment by schn...@fzi.de
on 13 Oct 2007 at 6:32
Original comment by pfpschne...@gmail.com
on 25 Oct 2007 at 7:32
Original issue reported on code.google.com by
bparsia
on 29 Mar 2007 at 9:53