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 message: [ Message body ]
Next message: Hassan Ait-Kaci: "[CFP] RULE 2010 (Edinburgh, UK, July 14, 2010)"
Previous message: Siegfried Handschuh: "EKAW 2010 Call for Workshop Proposals - 5 days left to send Intention ?to submit"
Next in thread: Denny Vrandecic: "Re: Package which transforms DL into FOL"
Reply: Denny Vrandecic: "Re: Package which transforms DL into FOL"
Reply: Michael Schneider: "RE: Package which transforms DL into FOL"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:41:20 UTC