[Attempto] Attempto FOL Grammar

[Norbert E. Fuchs]

On 11 Dec 2008, at 20:41, Kwanga rodrigue wrote:

> Dear Dr. Norbert E. Fuchs
>
> I wonder if you have a grammar (in the EBNF form or not) of the FOL
> generated by the attempto parser (APE).
>
> Thanks for your answer.
>
> Rodrigue KWANGA.

Dear Rodrigue

By "the FOL generated by the attempto parser (APE)" I guess that you  
mean the DRS generated by APE. (There is a simple translation of the  
DRS language into the standard FOL language.)

The complete DRS language is described by example in the DRS manual,  
but there is no formal grammar. Alternatively, we offer the DRS well- 
formedness checker "is_wellformed.pl" written in Prolog. You find this  
checker in the directory "utils"  in the downloaded APE package.

I took the liberty to cc my message to the Attempto Mailing List (http://attempto.ifi.uzh.ch/site/mailinglist/ 
) so that other users of ACE can profit from our discussions.

Best regards.

Norbert E. Fuchs
Department of Informatics
University of Zurich