[DL] Package which transforms DL into FOL

[Denny Vrandecic]

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