question: translators from OWL 2 DL/Full to FOL

I'm looking for a tool that translates OWL 2 DL - or even better, OWL 2 Full, to FOL.
Best would be if it outputs something like an AST (Abstract Syntax Tree) and in Java.
Please send your pointers to tools etc.
Thanks much,
Benjamin

Benjamin Grosof [1], PhD -- Semantic Technologies
Sr. Research Program Manager, Vulcan Inc.
Head of Project Halo Advanced Research (HalAR) program, including SILK [2]
[1] http://www.mit.edu/~bgrosof/
[2] http://silk.semwebcentral.org