{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/universal-dependencies-to-logical-forms-with","title":"Universal Dependencies to Logical Forms with Negation Scope","arxiv_id":"1702.03305","date":"2017-02-10","proceeding":null,"authors":["Federico Fancellu","Siva Reddy","Adam Lopez","Bonnie Webber"],"abstract":"Many language technology applications would benefit from the ability to\nrepresent negation and its scope on top of widely-used linguistic resources. In\nthis paper, we investigate the possibility of obtaining a first-order logic\nrepresentation with negation scope marked using Universal Dependencies. To do\nso, we enhance UDepLambda, a framework that converts dependency graphs to\nlogical forms. The resulting UDepLambda$\\lnot$ is able to handle phenomena\nrelated to scope by means of an higher-order type theory, relevant not only to\nnegation but also to universal quantification and other complex semantic\nphenomena. The initial conversion we did for English is promising, in that one\ncan represent the scope of negation also in the presence of more complex\nphenomena such as universal quantifiers.","url_abs":"http://arxiv.org/abs/1702.03305v1","url_pdf":"http://arxiv.org/pdf/1702.03305v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"universal-dependencies-to-logical-forms-with","repo_url":"https://github.com/sivareddyg/udeplambda","is_official":0,"mentioned_in_paper":0,"mentioned_in_github":1,"framework":"none","reach":{"status":"ok","spdx":"Apache-2.0"}}],"tasks":[{"task_slug":"negation","task_name":"Negation"}],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}