[DL] Updates on the CEL reasoner

Boontawee Suntisrivaraporn meng at tcs.inf.tu-dresden.de
Fri Apr 24 18:28:05 CEST 2009

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:


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,

More information about the dl mailing list