Dear Colleagues:<br><br>Does there exist (Java) package which transforms Description Logics into corresponding First-order Logics?<br><br>Thanks.<br><br clear="all"><br>-- <br>Best Regards!<br><br>Jun Fang<br>