Tools for converting between NL and formalisms like DL and FOL

Skip to first unread message

Roberto Rovetto

Sep 24, 2021, 12:25:11 AMSep 24
to ontolog-forum
Does anyone know of reliable simple-to-use tools (e.g., with a GUI) for translating between natural-language and, say, DL and FOL?

Example Functionality: You type in an English sentence, press 'translate', and the tool outputs a DL or FOL translation?

Or of any projects working on this?

Adrian Walker

Sep 24, 2021, 12:42:37 AMSep 24
to ontolog-forum

There's a friendly author/user/engine/explanation GUI live online at with many examples.

It may not be exactly what you require,  but it could be useful nevertheless.

Shared use is free, and we can also provide a private ID at no cost for non-commercial use.

Hope this helps,  -- Adrian

Adrian Walker
San Jose, CA, USA
(USA) 860 830 2085

All contributions to this forum are covered by an open-source license.
For information about the wiki, the license, and how to subscribe or
unsubscribe to the forum, see
You received this message because you are subscribed to the Google Groups "ontolog-forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to
To view this discussion on the web visit
Reply all
Reply to author
0 new messages