[DL] Package which transforms DL into FOL

Denny Vrandecic denny.vrandecic at kit.edu
Mon Mar 29 11:59:01 CEST 2010

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.


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

More information about the dl mailing list