[DL] Updates on the CEL reasoner

[Boontawee Suntisrivaraporn]

Dear DL-system enthusiasts,

I am happy to announce that CEL has now become open source and its
source codes together with documentation are now available under its
new home:

http://cel.googlecode.com

Besides the well-known reasoning service of classification, CEL also
supports supplemental reasoning services like incremental
classification, module extraction and axiom pinpointing.

Last but not least, I would like to introduce CEL Plug-in for Protege
4.0 that Julian and I have developed. This is still in its beta, but
we have successfully tested it on large ontologies including NCI and
SNOMED. For the plug-in and installation instruction, go to the Google
Code site.

Best regards,
Meng