Tools for converting between NL and formalisms like DL and FOL

[Roberto Rovetto]

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]

Roberto,

There's a friendly author/user/engine/explanation GUI live online at  www.executable-english.com 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 http://ontologforum.org/info/
---
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 ontolog-foru...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/b657db6a-3f88-4a40-bf6d-3c3580f50c77n%40googlegroups.com.