Package which transforms DL into FOL

• From: Jun Fang <leon.essence@gmail.com>
• Date: Mon, 29 Mar 2010 17:34:35 +0800
• To: semantic-web@w3.org, dl@dl.kr.org
• Message-ID: <6869a86b1003290234v7f1f4b48x6d3f94cd984bcb11@mail.gmail.com>

Dear Colleagues:

Does there exist (Java) package which transforms Description Logics into
corresponding First-order Logics?

Thanks.


-- 
Best Regards!

Jun Fang

Received on Monday, 29 March 2010 09:35:27 UTC