Re: Package which transforms DL into FOL

• From: Denny Vrandecic <denny.vrandecic@kit.edu>
• Date: Mon, 29 Mar 2010 11:59:01 +0200
• To: Jun Fang <leon.essence@gmail.com>
• Cc: semantic-web@w3.org, dl@dl.kr.org
• Message-Id: <407AB3CF-D274-42F6-982C-3FB19E7A5E97@kit.edu>

A bit outdated, but check out KAON2 by Boris Motik and maybe the OWL Tools wrapper around it, it translates a pretty big fragment of OWL DL into Datalog.

cheers,
denny

On Mar 29, 2010, at 11:34, Jun Fang wrote:

> 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 14:43:57 UTC