[Attempto] reaching utility

[Norbert E. Fuchs]

On 16 Jan 2010, at 19:48, George Herson wrote:

> ...
> Can ACE represent any legal DRS?

Further to Tobias Kuhn's reply

> That depends on what you mean by "legal DRS". The DRSs produced by APE are nowhere exhaustively defined. So there is no clearly defined "ACE DRS language".
> 
> In general, it is easy to come up with a DRS that cannot be produced by any ACE sentence. First of all, it is obvious that a DRS must contain only the predefined predicates "object", "property", etc. to be mappable to an ACE text. But just sticking to the given predicate definitions does not necessarily lead to a DRS that has a representation in ACE. There are further restrictions about predicates that have to occur together and about how variables can be shared.

A DRS is a formal representation of a (controlled) natural language text. Thus a DRS is "legal" if and only if it could have been derived from a (controlled) natural language text. A DRS that cannot be paraphrased does not make any sense.

A legal DRS can be paraphrased as a text in the language it was derived from. Paraphrase and original text may not be syntactically identical, but having the same DRS are considered semantically identical. 

> Is the RACE source code available?

Not yet.

   --- nef