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

question: translators from OWL 2 DL/Full to FOL

From: Benjamin Grosof <BenjaminG@vulcan.com>
Date: Sat, 14 Jan 2012 00:08:24 +0000
To: "'public-owl-dev@w3.org'" <public-owl-dev@w3.org>
Message-ID: <6066C5E6DD16E646A3D0B31E8363C1CA4D7F2B7C@505MBX1.corp.vnw.com>
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 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 00:08:49 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:20 UTC