[DL] Package which transforms DL into FOL
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?
> Best Regards!
> Jun Fang
More information about the dl