Translating from FOPL to DL

Dear All,

I have seen the translation (pi) from DL to FOPL (e.g. in DL Handbook). 
I am trying to work out how to do the reverse for a very limited subset 
of FOPL (just terms with constants and variables). I'm having a few 
problems with handling the variables in properties. E.g:

A(x) => A

is ok, but:

R(x,y) => \exists R.

seems to wrong.

Has anyone seen/ done anything like this already?



P.S. Apologies for cross-posting - not sure of the most appropriate 
forum for this.
+44 (0)7834 899570

Received on Tuesday, 31 October 2006 13:08:06 UTC