<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="fancellu-etal-2017-universal">
    <titleInfo>
        <title>Universal Dependencies to Logical Form with Negation Scope</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Federico</namePart>
        <namePart type="family">Fancellu</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Siva</namePart>
        <namePart type="family">Reddy</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Adam</namePart>
        <namePart type="family">Lopez</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Bonnie</namePart>
        <namePart type="family">Webber</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2017-04</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the Workshop Computational Semantics Beyond Events and Roles</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Eduardo</namePart>
            <namePart type="family">Blanco</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Roser</namePart>
            <namePart type="family">Morante</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Roser</namePart>
            <namePart type="family">Saurí</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <originInfo>
            <publisher>Association for Computational Linguistics</publisher>
            <place>
                <placeTerm type="text">Valencia, Spain</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <abstract>Many language technology applications would benefit from the ability to represent negation and its scope on top of widely-used linguistic resources. In this paper, we investigate the possibility of obtaining a first-order logic representation with negation scope marked using Universal Dependencies. To do so, we enhance UDepLambda, a framework that converts dependency graphs to logical forms. The resulting UDepLambdalnot is able to handle phenomena related to scope by means of an higher-order type theory, relevant not only to negation but also to universal quantification and other complex semantic phenomena. The initial conversion we did for English is promising, in that one can represent the scope of negation also in the presence of more complex phenomena such as universal quantifiers.</abstract>
    <identifier type="citekey">fancellu-etal-2017-universal</identifier>
    <identifier type="doi">10.18653/v1/W17-1804</identifier>
    <location>
        <url>https://aclanthology.org/W17-1804/</url>
    </location>
    <part>
        <date>2017-04</date>
        <extent unit="page">
            <start>22</start>
            <end>32</end>
        </extent>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T Universal Dependencies to Logical Form with Negation Scope
%A Fancellu, Federico
%A Reddy, Siva
%A Lopez, Adam
%A Webber, Bonnie
%Y Blanco, Eduardo
%Y Morante, Roser
%Y Saurí, Roser
%S Proceedings of the Workshop Computational Semantics Beyond Events and Roles
%D 2017
%8 April
%I Association for Computational Linguistics
%C Valencia, Spain
%F fancellu-etal-2017-universal
%X Many language technology applications would benefit from the ability to represent negation and its scope on top of widely-used linguistic resources. In this paper, we investigate the possibility of obtaining a first-order logic representation with negation scope marked using Universal Dependencies. To do so, we enhance UDepLambda, a framework that converts dependency graphs to logical forms. The resulting UDepLambdalnot is able to handle phenomena related to scope by means of an higher-order type theory, relevant not only to negation but also to universal quantification and other complex semantic phenomena. The initial conversion we did for English is promising, in that one can represent the scope of negation also in the presence of more complex phenomena such as universal quantifiers.
%R 10.18653/v1/W17-1804
%U https://aclanthology.org/W17-1804/
%U https://doi.org/10.18653/v1/W17-1804
%P 22-32

Markdown (Informal)

[Universal Dependencies to Logical Form with Negation Scope](https://aclanthology.org/W17-1804/) (Fancellu et al., SemBEaR 2017)

• Universal Dependencies to Logical Form with Negation Scope (Fancellu et al., SemBEaR 2017)

ACL

• Federico Fancellu, Siva Reddy, Adam Lopez, and Bonnie Webber. 2017. Universal Dependencies to Logical Form with Negation Scope. In Proceedings of the Workshop Computational Semantics Beyond Events and Roles, pages 22–32, Valencia, Spain. Association for Computational Linguistics.