Dear Colleagues: Does there exist (Java) package which transforms Description Logics into corresponding First-order Logics? Thanks. -- Best Regards! Jun Fang -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20100329/4c373b68/attachment.htm>