[DL] Package which transforms DL into FOL

Jun Fang leon.essence at gmail.com
Mon Mar 29 11:34:35 CEST 2010


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: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20100329/4c373b68/attachment.html>


More information about the dl mailing list