W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2012

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

From: Chris Mungall <cjmungall@lbl.gov>
Date: Fri, 13 Jan 2012 17:28:50 -0800
Cc: "'public-owl-dev@w3.org'" <public-owl-dev@w3.org>
Message-Id: <FC6B3D0A-0F98-483D-B211-1A09862D35B3@lbl.gov>
To: Benjamin Grosof <BenjaminG@vulcan.com>

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
>  
>  
>  
Received on Saturday, 14 January 2012 01:29:36 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:59 GMT