dear all,<br>
<br>
years ago, we had a BSCW workspace for PET, and at some point marco<br>
had posted a relevant proposal (which, sadly, was not followed up much<br>
in the forum discussion at least).&nbsp; i am about to shut down the workspace,<br>
hence forward the message from marco below.<br>
<br>
all best, oe<br>
<br>
<br>

======= 7-jul-04 posting by marco =======<br>
<br>
<br>
As two previous papers have shown (links below), a large fragment of
MRS can be translated into dominance constraints, an alternative
formalism for the representation of underspecified semantics.<br>
<br>

One of the benefits of this translation is that the highly-efficient
solvers available for dominance constraints can be used to solve MRS
descriptions. The fastest solvers available for dominance constraints
are several orders of magnitude faster than the MRS solver shipped with
LKB.<br>
<br>

Secondly, as we would claim, the translation from MRS into dominance
constraints also constitutes a correctness test for MRS descriptions:
In the Redwoods treebank, seemingly all MRS descriptions that could not
be translated into dominance constraints were incomplete.<br>
<br>

We (Alexander Koller, Stefan Thater, and myself, all at Saarbrücken)
would be interested to contribute an add-on to PET by which it would be
able to produce not only MRS, but also dominance constraints as the
output of its semantics construction. This could be done either as a
standalone application (that would be used as a post-processing step
for PET in a pipeline architecture), or integrated into PET itself, as
an alternative output format. As the result, we envision a software
package containing both PET and one of our dominance constraint
solvers, which would combine the world's fastest HPSG parser with the
world's fastest solver for underspecified semantics. :-)<br>
<br>

I am writing this note mostly because I am interested in comments on
this plan, and to hear whether anyone of you would be interested in
such a &quot;product&quot;. It would also be interesting to hear about any
technical obstacles that we might not have thought about.
<pre>    Thanks,<br>    Marco</pre>

PS: Here are the papers about the translation from MRS into dominance constraints:<br>
<br>

<a href="http://www.ps.uni-sb.de/Papers/abstracts/mrs_dom.html" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">http://www.ps.uni-sb.de/Papers/abstracts/mrs_dom.html</a><br>

<a href="http://www.ps.uni-sb.de/Papers/abstracts/mrs_eval.html" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">http://www.ps.uni-sb.de/Papers/abstracts/mrs_eval.html</a><br>
<br>