W3C home > Mailing lists > Public > semantic-web@w3.org > March 2010

Package which transforms DL into FOL

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

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:42:18 UTC