Re: question: translators from OWL 2 DL/Full to FOL

You might want to try asking on the Common Logic mailing list.

Have you tried HETS?
http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm


On Jan 13, 2012, at 4:08 PM, Benjamin Grosof wrote:

> 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
>  
>  
>