Ontology based interlingua translation

Size: px
Start display at page:

Download "Ontology based interlingua translation"

Transcription

1 Ontology based interlingua translation Leonardo Lesmo & Alessandro Mazzei & Daniele Radicioni Dipartimento di Informatica Università degli Studi di Torino CICLing

2 Lingua Italiana dei segni (LIS) It is a real language: lexicon, morphology, sintax. But there are iconic phenomena too Distinct countries have distinct signed languages Buonasera a tutti 2

3 The linguistics of LIS Several articolators: parallelism Spatial organization of the sentence No prepositions, genre, articles Meteo19-3 Plural SOV Many local dialects A few linguistic studies No (natural) written form (!!!): GLOSSE+feats 3

4 Ontology Based Translation Architecture Logic Analysis Generation TU.L.E. { T.U.P. O.B.S.I OpenCCG ITALIAN LIS [GLOSSE+Feats] 4

5 Outline Analysis of Italian Turin University Parser (T.U.P.) Ontology Based Semantic Interpretater (O.B.S.I) Generation of LIS LIS-CCG and OpenCCG Conclusion 5

6 Outline Analysis of Italian Turin University Parser (T.U.P.) Ontology Based Semantic Interpretater (O.B.S.I) Generation of LIS LIS-CCG and OpenCCG Conclusion 6

7 Turin University Parser Domani le nuvole sono in aumento al nord A wide-coverage bottom-up rule-based dependency parser Rules for: Chunking, Coordination, Verb-SubCat 7

8 Outline Analysis of Italian Turin University Parser (T.U.P.) Ontology Based Semantic Interpretater (O.B.S.I) Generation of LIS LIS-CCG and OpenCCG Conclusion 8

9 = Description + Weather + World entity description geographicarea meteostatus-situation time-interval evaluableentity it-area-spec Adriatic perturbato it-geograrea itregion sea weatherstatussituation weatherevent precipitation storm weatherstatusdescription timeintervaldescription daydescription deicticdaydescription clouds day positiveeval-entity positive-day evening positive-evening monday today it-adriatic-region 9

10 Computing Meaning by recursion n d 1... d i... d K

11 Case study: ordinals Domani è l'ultimo giorno del mese adjc+ordin-rmod ultimo [ last] giorno [ day] rmod mese [ month] 11

12 Ordinals in the ontology physical-entity &part-smaller part-of &part-bigger time-interval temporal-part-of &temporalpart-smaller &temporalpart-bigger day day-month-part-of &day-indaymonth &month-indaymonth month day-sequence ordinaldescription sequenceableentity &ord-described-item &reference-sequence entity-sequence &ordinaldesc-selector ordinal-selector last 12

13 Ordinals in the ontology ultimo giorno del mese physical-entity &part-smaller part-of &part-bigger adjc+ordin-rmod ultimo [ last] giorno [ day] rmod mese [ month] time-interval temporal-part-of &temporalpart-smaller &temporalpart-bigger day day-month-part-of &day-indaymonth &month-indaymonth month day-sequence ordinaldescription sequenceableentity &ord-described-item &reference-sequence entity-sequence &ordinaldesc-selector ordinal-selector last 13

14 Ordinals in the ontology ultimo giorno del mese physical-entity &part-smaller part-of &part-bigger adjc+ordin-rmod ultimo [ last] giorno [ day] rmod mese [ month] time-interval temporal-part-of &temporalpart-smaller &temporalpart-bigger day day-month-part-of &day-indaymonth &month-indaymonth month day-sequence ordinaldescription sequenceableentity &ord-described-item &reference-sequence entity-sequence &ordinaldesc-selector ordinal-selector last 14

15 Ontological restriction ultimo giorno del mese giorno [ day] adjc+ordin-rmod rmod ultimo [ last] mese [ month] day &ord-described-item last ordinaldescription &ordinaldesc-selector &reference-sequence month 15

16 Ontological restriction Hybrid Logic <ODI> X 1 day &ord-described-item last ordinaldescription &ordinaldesc-selector &reference-sequence month <ODRS> X 2 <ODS> X last' 16

17 Outline Analysis of Italian Turin University Parser (T.U.P.) Ontology Based Semantic Interpretater (O.B.S.I) Generation of LIS LIS-CCG and OpenCCG Conclusion 17

18 Generation with OpenCCG LIS-CCG HL OpenCCG GLOSSE+Feats Combinatory Categorial Grammar: S, NP, S\NP/NP,... Bidirectional: speed-up in grammar development Syntax/Semantics: Features Unification with Hybrid Logic Symbolic-statistical chart 18

19 LIS-CCG lexicon LEX SynCAT SemCAT GRN-25 N [X 1 1 day' <ODI> Z 1 MS-37 N [X 0 ] / N [Z 1 ] <ODRS> X 2 month' UTM-4 N [Z 2 ] \ N [Z 2 2 <ODS> X 3 last' 19

20 CCG derivation (and parsing!) <ODI>X1 <ODRS>X 2 N [X 0 ] : <ODS>X last' 20

21 CCG derivation (and parsing!) <ODI>X1 <ODRS>X 2 N [X 0 ] : <ODS>X last' N [Z 2 ] \ N [Z 2 ] 2 <ODS>X 3 last' UTM-4 21

22 CCG derivation (and parsing!) <ODI>X1 <ODRS>X 2 N [X 0 ] : <ODS>X last' < N [X 0 ] : <ODI>X 1 <ODRS>X 1 2 month' N [Z 2 ] \ N [Z 2 ] 2 <ODS>X 3 last' UTM-4 22

23 CCG derivation (and parsing!) <ODI>X1 <ODRS>X 2 N [X 0 ] : <ODS>X last' < N [X 0 ] : <ODI>X 1 <ODRS>X 1 2 month' N [X 1 ] 1 day' N [Z 2 ] \ N [Z 2 ] 2 <ODS>X 3 last' GRN-25 UTM-4 23

24 CCG derivation (and parsing!) <ODI>X1 <ODRS>X 2 N [X 0 ] : <ODS>X last' < N [X 0 ] : <ODI>X 1 <ODRS>X 1 2 month' N [X 0 ] / N [Z 1 ] : <ODI> Z 1 <ODRS>X 2 month' > N [X 1 ] 1 day' N [Z 2 ] \ N [Z 2 ] 2 <ODS>X 3 last' MS-37 GRN-25 UTM-4 24

25 Virtual Actor MS-37 GRN-25 UTM-4 25

26 Outline Analysis of Italian Turin University Parser (T.U.P.) Ontology Based Semantic Interpretater (O.B.S.I) Generation of LIS LIS-CCG and OpenCCG Conclusion 26

27 Conclusion Interlingua Translation = Deep analyses and trasformations Knowledge bases Grammars: Italian (dependencies), LIS (CCG) Ontologies: language, world, domain 27

28 Conclusion Work in Progress: More linguistic phenomena Semantic Roles Topic/Focus Evaluation? 28

29 Aknowledgment ATLAS project is co-funded by Regione Piemonte within the Converging Technologies - CIPE 2007 framework (Research Sector: Cognitive Science and ICT). Thanks for your time :) Time flies like an arrow 29

30 References V. Volterra, editor. La lingua dei segni italiana. Il Mulino, C. Geraci. Lʼordine delle parole nella LIS (lingua dei segni italiana). In Convegno nazionale del la Società di Linguistica Italiana, L. Lesmo, A. Mazzei, and D. Radicioni. An ontology based architecture for translation. In International Conference on Computational Semantics (IWCS 2011), Oxford, UK, January To appear. L. Lesmo, A. Mazzei, and D. Radicioni. Ontology based interlingua translation. In 12th International Conference on Intel ligent Text Processing and Computational Linguistics (CICLing 2011), Tokyo, February To appear. L. Lesmo. The Rule-Based Parser of the NLP Group of the University of Torino. Intel ligenza Artificiale, 2(4):46 47, June L. Lesmo and L. Robaldo. Use of Ontologies in Practical NL Query Interpretation. In R. Basili and M. T. Pazienza, editors, AI*IA, volume 4733 of LNAI, pages , Time flies like an arrow 30

31 References M. W hffii t e. E c i e n t r e a l i z a t i o n o f c o o r d i n a t e s t r u grammar. Research on Language and Computation, 2006(4(1)):39 75, M. White, R. A. J. Clark, and J. D. Moore. Generating tailored, comparative descriptions with contextually appropriate intonation. Computational Linguistics, 36(2): , M. Steedman. The syntactic process. MIT Press, Cambridge, MA, USA, S. Nirenburg and V. Raskin. Ontological Semantics. MIT Press, Cambridge, MA, A. Gangemi and P. Mika. Understanding the Semantic Web through Descriptions and Situations. In Proc. of the International Conference on Ontologies, Databases and Applications of SEmantics (ODBASE 2003), Catania, Italy, November Time flies like an arrow 31

32 Architecture 32

33 Ordinals in the ontology physical-entity &part-smaller part-of &part-bigger time-interval temporal-part-of &temporalpart-smaller &temporalpart-bigger day day-month-part-of &day-indaymonth &month-indaymonth month day-sequence ordinaldescription sequenceableentity &ord-described-item &reference-sequence entity-sequence &ordinaldesc-selector ordinal-selector last 33

34 LIS-CCG LEX SynCAT SemCAT nuvola U NP [position=u X] X=cloud' domani N S [position=n E] / S [position=n E] TIME(E,tomorrow') nord U S [position=u E] / S [position=u E] LOC(E,north') nuvolaaumentare U S [E] \ NP [position=u Y] event(e=cloud-increase') AGENT(E,Y) 34

35 CCG derivation S : event(e=cloud-increase') AGENT(E,cloud') LOC(E,north') TIME(E,tomorrow') S : > event(e=cloud-increase') AGENT(E,cloud') LOC(E,north') > S : event(e=cloud-increase') AGENT(E,cloud') < S E / S E S E / S E NP X S E \ NP Y domani N nord U nuvola U nuvola-aumentare U TIME(E,tomorrow') LOC(E,north') X=cloud' event(e=cloud-increase') AGENT(E,Y) 35

36 Ontological restriction FoL day &ord-described-item last ordinaldescription &ordinaldesc-selector &reference-sequence month ODI(X 0,X 1 ) ODRS(X 0,X 2 ) ODS(X 0,X 3 ) day(x 1 ) month(x 2 ) last(x 3 ) 36

Alessandro Mazzei MASTER DI SCIENZE COGNITIVE GENOVA 2005

Alessandro Mazzei MASTER DI SCIENZE COGNITIVE GENOVA 2005 Alessandro Mazzei Dipartimento di Informatica Università di Torino MATER DI CIENZE COGNITIVE GENOVA 2005 04-11-05 Natural Language Grammars and Parsing Natural Language yntax Paolo ama Francesca yntactic

More information

December 3, Dipartimento di Informatica, Università di Torino. Felicittà. Visualizing and Estimating Happiness in

December 3, Dipartimento di Informatica, Università di Torino. Felicittà. Visualizing and Estimating Happiness in : : Dipartimento di Informatica, Università di Torino December 3, 2013 : Outline : from social media Social media users generated contents represent the human behavior in everyday life, but... how to analyze

More information

TALP at GeoQuery 2007: Linguistic and Geographical Analysis for Query Parsing

TALP at GeoQuery 2007: Linguistic and Geographical Analysis for Query Parsing TALP at GeoQuery 2007: Linguistic and Geographical Analysis for Query Parsing Daniel Ferrés and Horacio Rodríguez TALP Research Center Software Department Universitat Politècnica de Catalunya {dferres,horacio}@lsi.upc.edu

More information

Terminological and Ontological Analysis of European Directives: multilinguism in Law

Terminological and Ontological Analysis of European Directives: multilinguism in Law Terminological and Ontological Analysis of European Directives: multilinguism in Law G. Ajani 1, G. Boella 2, L. Lesmo 2, A. Mazzei 2, D. Radicioni 2, P. Rossi 3 mazzei@di.unito.it 1 - Dipartimento di

More information

CS626: NLP, Speech and the Web. Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 14: Parsing Algorithms 30 th August, 2012

CS626: NLP, Speech and the Web. Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 14: Parsing Algorithms 30 th August, 2012 CS626: NLP, Speech and the Web Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 14: Parsing Algorithms 30 th August, 2012 Parsing Problem Semantics Part of Speech Tagging NLP Trinity Morph Analysis

More information

Grammar and Feature Unification

Grammar and Feature Unification Grammar and Feature Unification Problems with CF Phrase Structure Grammars Difficult to capture dependencies between constituents the boy runs the boys run * the boy run * the boys runs Problems with CF

More information

Sharpening the empirical claims of generative syntax through formalization

Sharpening the empirical claims of generative syntax through formalization Sharpening the empirical claims of generative syntax through formalization Tim Hunter University of Minnesota, Twin Cities NASSLLI, June 2014 Part 1: Grammars and cognitive hypotheses What is a grammar?

More information

Surface Reasoning Lecture 2: Logic and Grammar

Surface Reasoning Lecture 2: Logic and Grammar Surface Reasoning Lecture 2: Logic and Grammar Thomas Icard June 18-22, 2012 Thomas Icard: Surface Reasoning, Lecture 2: Logic and Grammar 1 Categorial Grammar Combinatory Categorial Grammar Lambek Calculus

More information

Hybrid Logic Dependency Semantics

Hybrid Logic Dependency Semantics Hybrid Logic Dependency Semantics What goes into the OpenCCG surface realiser? Lecture 2 January 22, 2013 Brief recap - What is NLG? How computer programs can be made to produce (high-quality) natural

More information

Parsing with Context-Free Grammars

Parsing with Context-Free Grammars Parsing with Context-Free Grammars Berlin Chen 2005 References: 1. Natural Language Understanding, chapter 3 (3.1~3.4, 3.6) 2. Speech and Language Processing, chapters 9, 10 NLP-Berlin Chen 1 Grammars

More information

Bringing machine learning & compositional semantics together: central concepts

Bringing machine learning & compositional semantics together: central concepts Bringing machine learning & compositional semantics together: central concepts https://githubcom/cgpotts/annualreview-complearning Chris Potts Stanford Linguistics CS 244U: Natural language understanding

More information

Categorial Grammar. Larry Moss NASSLLI. Indiana University

Categorial Grammar. Larry Moss NASSLLI. Indiana University 1/37 Categorial Grammar Larry Moss Indiana University NASSLLI 2/37 Categorial Grammar (CG) CG is the tradition in grammar that is closest to the work that we ll do in this course. Reason: In CG, syntax

More information

CS460/626 : Natural Language Processing/Speech, NLP and the Web

CS460/626 : Natural Language Processing/Speech, NLP and the Web CS460/626 : Natural Language Processing/Speech, NLP and the Web Lecture 23: Binding Theory Pushpak Bhattacharyya CSE Dept., IIT Bombay 8 th Oct, 2012 Parsing Problem Semantics Part of Speech Tagging NLP

More information

Driving Semantic Parsing from the World s Response

Driving Semantic Parsing from the World s Response Driving Semantic Parsing from the World s Response James Clarke, Dan Goldwasser, Ming-Wei Chang, Dan Roth Cognitive Computation Group University of Illinois at Urbana-Champaign CoNLL 2010 Clarke, Goldwasser,

More information

A proof theoretical account of polarity items and monotonic inference.

A proof theoretical account of polarity items and monotonic inference. A proof theoretical account of polarity items and monotonic inference. Raffaella Bernardi UiL OTS, University of Utrecht e-mail: Raffaella.Bernardi@let.uu.nl Url: http://www.let.uu.nl/ Raffaella.Bernardi/personal

More information

Introduction to Semantic Parsing with CCG

Introduction to Semantic Parsing with CCG Introduction to Semantic Parsing with CCG Kilian Evang Heinrich-Heine-Universität Düsseldorf 2018-04-24 Table of contents 1 Introduction to CCG Categorial Grammar (CG) Combinatory Categorial Grammar (CCG)

More information

Penn Treebank Parsing. Advanced Topics in Language Processing Stephen Clark

Penn Treebank Parsing. Advanced Topics in Language Processing Stephen Clark Penn Treebank Parsing Advanced Topics in Language Processing Stephen Clark 1 The Penn Treebank 40,000 sentences of WSJ newspaper text annotated with phrasestructure trees The trees contain some predicate-argument

More information

A Multi-Modal Combinatory Categorial Grammar. A MMCCG Analysis of Japanese Nonconstituent Clefting

A Multi-Modal Combinatory Categorial Grammar. A MMCCG Analysis of Japanese Nonconstituent Clefting A Multi-Modal Combinatory Categorial Grammar Analysis of Japanese Nonconstituent Clefting Department of Linguistics The Ohio State University {kubota,esmith}@ling.osu.edu A basic cleft sentence Data Clefting

More information

Cross-lingual Semantic Parsing

Cross-lingual Semantic Parsing Cross-lingual Semantic Parsing Part I: 11 Dimensions of Semantic Parsing Kilian Evang University of Düsseldorf 1 / 94 Abbreviations NL natural language e.g., English, Bulgarian NLU natural language utterance

More information

Lecture 5: Semantic Parsing, CCGs, and Structured Classification

Lecture 5: Semantic Parsing, CCGs, and Structured Classification Lecture 5: Semantic Parsing, CCGs, and Structured Classification Kyle Richardson kyle@ims.uni-stuttgart.de May 12, 2016 Lecture Plan paper: Zettlemoyer and Collins (2012) general topics: (P)CCGs, compositional

More information

Natural Language Generation: An Introduction

Natural Language Generation: An Introduction Natural Language Generation Natural Language Generation: An Introduction Lecture 1 January 11, 2011 http://www.inf.ed.ac.uk/teaching/courses/nlg! Instructors: Johanna Moore and Jon Oberlander! With help

More information

Effectiveness of complex index terms in information retrieval

Effectiveness of complex index terms in information retrieval Effectiveness of complex index terms in information retrieval Tokunaga Takenobu, Ogibayasi Hironori and Tanaka Hozumi Department of Computer Science Tokyo Institute of Technology Abstract This paper explores

More information

Strong connectivity hypothesis and generative power in TAG

Strong connectivity hypothesis and generative power in TAG 15 Strong connectivity hypothesis and generative power in TAG Alessandro Mazzei, Vincenzo ombardo and Patrick Sturt Abstract Dynamic grammars are relevant for psycholinguistic modelling and speech processing.

More information

Parsing with CFGs L445 / L545 / B659. Dept. of Linguistics, Indiana University Spring Parsing with CFGs. Direction of processing

Parsing with CFGs L445 / L545 / B659. Dept. of Linguistics, Indiana University Spring Parsing with CFGs. Direction of processing L445 / L545 / B659 Dept. of Linguistics, Indiana University Spring 2016 1 / 46 : Overview Input: a string Output: a (single) parse tree A useful step in the process of obtaining meaning We can view the

More information

Parsing with CFGs. Direction of processing. Top-down. Bottom-up. Left-corner parsing. Chart parsing CYK. Earley 1 / 46.

Parsing with CFGs. Direction of processing. Top-down. Bottom-up. Left-corner parsing. Chart parsing CYK. Earley 1 / 46. : Overview L545 Dept. of Linguistics, Indiana University Spring 2013 Input: a string Output: a (single) parse tree A useful step in the process of obtaining meaning We can view the problem as searching

More information

Annotation tasks and solutions in CLARIN-PL

Annotation tasks and solutions in CLARIN-PL Annotation tasks and solutions in CLARIN-PL Marcin Oleksy, Ewa Rudnicka Wrocław University of Technology marcin.oleksy@pwr.edu.pl ewa.rudnicka@pwr.edu.pl CLARIN ERIC Common Language Resources and Technology

More information

The Complexity of First-Order Extensible Dependency Grammar

The Complexity of First-Order Extensible Dependency Grammar The Complexity of First-Order Extensible Dependency Grammar Ralph Debusmann Programming Systems Lab Universität des Saarlandes Postfach 15 11 50 66041 Saarbrücken, Germany rade@ps.uni-sb.de Abstract We

More information

Advanced Natural Language Processing Syntactic Parsing

Advanced Natural Language Processing Syntactic Parsing Advanced Natural Language Processing Syntactic Parsing Alicia Ageno ageno@cs.upc.edu Universitat Politècnica de Catalunya NLP statistical parsing 1 Parsing Review Statistical Parsing SCFG Inside Algorithm

More information

EUROPEAN COMPUTER DRIVING LICENCE. GIS Cartography. Syllabus

EUROPEAN COMPUTER DRIVING LICENCE. GIS Cartography. Syllabus EUROPEAN COMPUTER DRIVING LICENCE GIS Cartography Syllabus Purpose This document details the syllabus for ECDL GIS Module 1 Cartography. The syllabus describes, through learning outcomes, the knowledge

More information

Introduction to Computers & Programming

Introduction to Computers & Programming 16.070 Introduction to Computers & Programming Theory of computation: What is a computer? FSM, Automata Prof. Kristina Lundqvist Dept. of Aero/Astro, MIT Models of Computation What is a computer? If you

More information

A Supertag-Context Model for Weakly-Supervised CCG Parser Learning

A Supertag-Context Model for Weakly-Supervised CCG Parser Learning A Supertag-Context Model for Weakly-Supervised CCG Parser Learning Dan Garrette Chris Dyer Jason Baldridge Noah A. Smith U. Washington CMU UT-Austin CMU Contributions 1. A new generative model for learning

More information

Monotonicity Calculus: What is for, and How it is Formulated

Monotonicity Calculus: What is for, and How it is Formulated 1/69 Monotonicity Calculus: What is for, and How it is Formulated Larry Moss Indiana University Nordic Logic School August 7-11, 2017 2/69 This class, and next What I plan to do is re-do the material on

More information

Splitting the structured paths in stratified graphs. Application in Natural Language Generation

Splitting the structured paths in stratified graphs. Application in Natural Language Generation DOI: 10.2478/auom-2014-0031 An. Şt. Univ. Ovidius Constanţa Vol. 22(2),2014, 57 67 Splitting the structured paths in stratified graphs. Application in Natural Language Generation Dana Dănciulescu and Mihaela

More information

A Polynomial Time Algorithm for Parsing with the Bounded Order Lambek Calculus

A Polynomial Time Algorithm for Parsing with the Bounded Order Lambek Calculus A Polynomial Time Algorithm for Parsing with the Bounded Order Lambek Calculus Timothy A. D. Fowler Department of Computer Science University of Toronto 10 King s College Rd., Toronto, ON, M5S 3G4, Canada

More information

IBM Model 1 for Machine Translation

IBM Model 1 for Machine Translation IBM Model 1 for Machine Translation Micha Elsner March 28, 2014 2 Machine translation A key area of computational linguistics Bar-Hillel points out that human-like translation requires understanding of

More information

A Model for Multimodal Reference Resolution

A Model for Multimodal Reference Resolution A Model for Multimodal Reference Resolution Luis Pineda National Autonomous University of Mexico (UNAM) Gabriela Garza An important aspect of the interpretation of multimodal messages is the ability to

More information

A Preference Semantics. for Ground Nonmonotonic Modal Logics. logics, a family of nonmonotonic modal logics obtained by means of a

A Preference Semantics. for Ground Nonmonotonic Modal Logics. logics, a family of nonmonotonic modal logics obtained by means of a A Preference Semantics for Ground Nonmonotonic Modal Logics Daniele Nardi and Riccardo Rosati Dipartimento di Informatica e Sistemistica, Universita di Roma \La Sapienza", Via Salaria 113, I-00198 Roma,

More information

Sharpening the empirical claims of generative syntax through formalization

Sharpening the empirical claims of generative syntax through formalization Sharpening the empirical claims of generative syntax through formalization Tim Hunter University of Minnesota, Twin Cities ESSLLI, August 2015 Part 1: Grammars and cognitive hypotheses What is a grammar?

More information

CKY & Earley Parsing. Ling 571 Deep Processing Techniques for NLP January 13, 2016

CKY & Earley Parsing. Ling 571 Deep Processing Techniques for NLP January 13, 2016 CKY & Earley Parsing Ling 571 Deep Processing Techniques for NLP January 13, 2016 No Class Monday: Martin Luther King Jr. Day CKY Parsing: Finish the parse Recognizer à Parser Roadmap Earley parsing Motivation:

More information

On the Representation of Physical Quantities in Natural Language

On the Representation of Physical Quantities in Natural Language On the Representation of Physical Quantities in Natural Language Sven E. Kuehne Qualitative Reasoning Group Northwestern University 1890 Maple Avenue, Ste. 300 Evanston, IL 60201, USA skuehne@cs.northwestern.edu

More information

Learning to translate with neural networks. Michael Auli

Learning to translate with neural networks. Michael Auli Learning to translate with neural networks Michael Auli 1 Neural networks for text processing Similar words near each other France Spain dog cat Neural networks for text processing Similar words near each

More information

Integrated sentence generation with charts

Integrated sentence generation with charts Integrated sentence generation with charts Alexander Koller and Nikos Engonopoulos Saarland University, Saarbrücken, Germany {koller nikos}@coli.uni-saarland.de Abstract Integrating surface realization

More information

October 16 th 2015, Budapest Workshop on Linguistic and Cognitive aspects of Quantification

October 16 th 2015, Budapest Workshop on Linguistic and Cognitive aspects of Quantification October 16 th 2015, Budapest Workshop on Linguistic and Cognitive aspects of Quantification The semantics and the acquisition of the distributive marker po, which is notorious, (common to Slavic and has

More information

Parsing. Based on presentations from Chris Manning s course on Statistical Parsing (Stanford)

Parsing. Based on presentations from Chris Manning s course on Statistical Parsing (Stanford) Parsing Based on presentations from Chris Manning s course on Statistical Parsing (Stanford) S N VP V NP D N John hit the ball Levels of analysis Level Morphology/Lexical POS (morpho-synactic), WSD Elements

More information

Continuations in Type Logical Grammar. Grafting Trees: (with Chris Barker, UCSD) NJPLS, 27 February Harvard University

Continuations in Type Logical Grammar. Grafting Trees: (with Chris Barker, UCSD) NJPLS, 27 February Harvard University Grafting Trees: Continuations in Type Logical Grammar Chung-chieh Shan Harvard University ccshan@post.harvard.edu (with Chris Barker, UCSD) NJPLS, 27 February 2004 Computational Linguistics 1 What a linguist

More information

Business Process Verification with Constraint Temporal Answer Set Programming

Business Process Verification with Constraint Temporal Answer Set Programming 1 Online appendix for the paper Business Process Verification with Constraint Temporal Answer Set Programming published in Theory and Practice of Logic Programming Laura Giordano DISIT, Università del

More information

On the Representation of Physical Quantities in Natural Language Text

On the Representation of Physical Quantities in Natural Language Text On the Representation of Physical Quantities in Natural Language Text Sven E. Kuehne (skuehne@northwestern.edu) Qualitative Reasoning Group, Northwestern University 1890 Maple Avenue, Ste. 300 Evanston,

More information

Curriculum Vitae. Grazia Luparello

Curriculum Vitae. Grazia Luparello Curriculum Vitae Grazia Luparello Personal Data: Surname Luparello Name Grazia Address via Portofino 30/42, 10135 Torino Telephone +39 0113910032 Mobile +39 3920182152 E-mail luparell@to.infn.it Nationality

More information

22c:145 Artificial Intelligence

22c:145 Artificial Intelligence 22c:145 Artificial Intelligence Fall 2005 Propositional Logic Cesare Tinelli The University of Iowa Copyright 2001-05 Cesare Tinelli and Hantao Zhang. a a These notes are copyrighted material and may not

More information

Evolution of a Foundational Model of Physiology: Symbolic Representation for Functional Bioinformatics

Evolution of a Foundational Model of Physiology: Symbolic Representation for Functional Bioinformatics MEDINFO 2004 M. Fieschi et al. (Eds) Amsterdam: IOS Press 2004 IMIA. All rights reserved Evolution of a Foundational Model of Physiology: Symbolic Representation for Functional Bioinformatics Daniel L.

More information

Remembering subresults (Part I): Well-formed substring tables

Remembering subresults (Part I): Well-formed substring tables Remembering subresults (Part I): Well-formed substring tables Detmar Meurers: Intro to Computational Linguistics I OSU, LING 684.01, 1. February 2005 Problem: Inefficiency of recomputing subresults Two

More information

Lecture 1: Geospatial Data Models

Lecture 1: Geospatial Data Models Lecture 1: GEOG413/613 Dr. Anthony Jjumba Introduction Course Outline Journal Article Review Projects (and short presentations) Final Exam (April 3) Participation in class discussions Geog413/Geog613 A

More information

10/17/04. Today s Main Points

10/17/04. Today s Main Points Part-of-speech Tagging & Hidden Markov Model Intro Lecture #10 Introduction to Natural Language Processing CMPSCI 585, Fall 2004 University of Massachusetts Amherst Andrew McCallum Today s Main Points

More information

SDI in Lombardia (Italy(

SDI in Lombardia (Italy( SDI in Lombardia (Italy( Italy) Andrea Piccin European SDI Best Practice Awards 2009 - Learning from Best Practices Turin, 26th and 27th November 2009 Lombardia, in Italy, is 4 th Region for territorial

More information

Building a Timeline Action Network for Evacuation in Disaster

Building a Timeline Action Network for Evacuation in Disaster Building a Timeline Action Network for Evacuation in Disaster The-Minh Nguyen, Takahiro Kawamura, Yasuyuki Tahara, and Akihiko Ohsuga Graduate School of Information Systems, University of Electro-Communications,

More information

Introduction to Semantics. The Formalization of Meaning 1

Introduction to Semantics. The Formalization of Meaning 1 The Formalization of Meaning 1 1. Obtaining a System That Derives Truth Conditions (1) The Goal of Our Enterprise To develop a system that, for every sentence S of English, derives the truth-conditions

More information

From Language towards. Formal Spatial Calculi

From Language towards. Formal Spatial Calculi From Language towards Formal Spatial Calculi Parisa Kordjamshidi Martijn Van Otterlo Marie-Francine Moens Katholieke Universiteit Leuven Computer Science Department CoSLI August 2010 1 Introduction Goal:

More information

Geospatial Semantics. Yingjie Hu. Geospatial Semantics

Geospatial Semantics. Yingjie Hu. Geospatial Semantics Outline What is geospatial? Why do we need it? Existing researches. Conclusions. What is geospatial? Semantics The meaning of expressions Syntax How you express the meaning E.g. I love GIS What is geospatial?

More information

Model-Theory of Property Grammars with Features

Model-Theory of Property Grammars with Features Model-Theory of Property Grammars with Features Denys Duchier Thi-Bich-Hanh Dao firstname.lastname@univ-orleans.fr Yannick Parmentier Abstract In this paper, we present a model-theoretic description of

More information

Seminar in Semantics: Gradation & Modality Winter 2014

Seminar in Semantics: Gradation & Modality Winter 2014 1 Subject matter Seminar in Semantics: Gradation & Modality Winter 2014 Dan Lassiter 1/8/14 Handout: Basic Modal Logic and Kratzer (1977) [M]odality is the linguistic phenomenon whereby grammar allows

More information

Recursive descent for grammars with contexts

Recursive descent for grammars with contexts 39th International Conference on Current Trends in Theory and Practice of Computer Science Špindleruv Mlýn, Czech Republic Recursive descent parsing for grammars with contexts Ph.D. student, Department

More information

Using AI Planning Techniques in OpenCCG: Detecting Infeasible Composites in Sentence Generation

Using AI Planning Techniques in OpenCCG: Detecting Infeasible Composites in Sentence Generation Using AI Planning Techniques in OpenCCG: Detecting Infeasible Composites in Sentence Generation Maximilian Schwenger, Álvaro Torralba, Jörg Hoffmann, David Howcroft, and Vera Demberg Saarland University,

More information

A Probabilistic Forest-to-String Model for Language Generation from Typed Lambda Calculus Expressions

A Probabilistic Forest-to-String Model for Language Generation from Typed Lambda Calculus Expressions A Probabilistic Forest-to-String Model for Language Generation from Typed Lambda Calculus Expressions Wei Lu and Hwee Tou Ng National University of Singapore 1/26 The Task (Logical Form) λx 0.state(x 0

More information

CS460/626 : Natural Language

CS460/626 : Natural Language CS460/626 : Natural Language Processing/Speech, NLP and the Web (Lecture 23, 24 Parsing Algorithms; Parsing in case of Ambiguity; Probabilistic Parsing) Pushpak Bhattacharyya CSE Dept., IIT Bombay 8 th,

More information

Empirical Methods in Natural Language Processing Lecture 11 Part-of-speech tagging and HMMs

Empirical Methods in Natural Language Processing Lecture 11 Part-of-speech tagging and HMMs Empirical Methods in Natural Language Processing Lecture 11 Part-of-speech tagging and HMMs (based on slides by Sharon Goldwater and Philipp Koehn) 21 February 2018 Nathan Schneider ENLP Lecture 11 21

More information

Geographic Analysis of Linguistically Encoded Movement Patterns A Contextualized Perspective

Geographic Analysis of Linguistically Encoded Movement Patterns A Contextualized Perspective Geographic Analysis of Linguistically Encoded Movement Patterns A Contextualized Perspective Alexander Klippel 1, Alan MacEachren 1, Prasenjit Mitra 2, Ian Turton 1, Xiao Zhang 2, Anuj Jaiswal 2, Kean

More information

Special Topics in Computer Science

Special Topics in Computer Science Special Topics in Computer Science NLP in a Nutshell CS492B Spring Semester 2009 Speaker : Hee Jin Lee p Professor : Jong C. Park Computer Science Department Korea Advanced Institute of Science and Technology

More information

On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic

On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic Domenico Cantone and Marianna Nicolosi Asmundo Dipartimento di Matematica e Informatica Università

More information

(epattr) as it might be a relative

(epattr) as it might be a relative DEEP COMPREHENSION, GENERATION AND TRANSLATION OF WEATHER FORECASTS (WEATHRA) by BENGT SIGURD, CAROLINE WILLNERS, MATS EEG-OLOFSSON and CI-LRISTER JOHANSSON Dept of Linguistics, University of Lund, Sweden

More information

DT2118 Speech and Speaker Recognition

DT2118 Speech and Speaker Recognition DT2118 Speech and Speaker Recognition Language Modelling Giampiero Salvi KTH/CSC/TMH giampi@kth.se VT 2015 1 / 56 Outline Introduction Formal Language Theory Stochastic Language Models (SLM) N-gram Language

More information

Parsing. Probabilistic CFG (PCFG) Laura Kallmeyer. Winter 2017/18. Heinrich-Heine-Universität Düsseldorf 1 / 22

Parsing. Probabilistic CFG (PCFG) Laura Kallmeyer. Winter 2017/18. Heinrich-Heine-Universität Düsseldorf 1 / 22 Parsing Probabilistic CFG (PCFG) Laura Kallmeyer Heinrich-Heine-Universität Düsseldorf Winter 2017/18 1 / 22 Table of contents 1 Introduction 2 PCFG 3 Inside and outside probability 4 Parsing Jurafsky

More information

Schema Free Querying of Semantic Data. by Lushan Han

Schema Free Querying of Semantic Data. by Lushan Han Schema Free Querying of Semantic Data by Lushan Han Thesis submitted to the Faculty of the Graduate School of the University of Maryland in partial fulfillment of the requirements for the degree of PhD

More information

ON THE LOGIC OF VERBAL MODIFICATION DAVID BEAVER AND CLEO CONDORAVDI

ON THE LOGIC OF VERBAL MODIFICATION DAVID BEAVER AND CLEO CONDORAVDI ON THE LOGIC OF VERBAL ODIFICATION DAVID BEAVER AND CLEO CONDORAVDI Department of Linguistics University of Texas at Austin dib@mail.utexas.edu PARC and Department of Linguistics Stanford University condorav@csli.stanford.edu

More information

Galois Connections in Categorial Type Logic

Galois Connections in Categorial Type Logic Galois Connections in Categorial Type Logic Raffaella Bernardi joint work with Carlos Areces and Michael Moortgat Contents 1 Introduction.............................................. 4 2 Residuated operators

More information

Bar-Hillel and the Division of Labor in Language

Bar-Hillel and the Division of Labor in Language Bar-Hillel and the Division of Labor in Language On the interaction of grammar, logic, and pragmatics Luka Crnič November 2, 2015 Language, Logic and Cognition Center http://scholars.huji.ac.il/llcc Luka

More information

Aspects of Tree-Based Statistical Machine Translation

Aspects of Tree-Based Statistical Machine Translation Aspects of Tree-Based Statistical Machine Translation Marcello Federico Human Language Technology FBK 2014 Outline Tree-based translation models: Synchronous context free grammars Hierarchical phrase-based

More information

Proposition Knowledge Graphs. Gabriel Stanovsky Omer Levy Ido Dagan Bar-Ilan University Israel

Proposition Knowledge Graphs. Gabriel Stanovsky Omer Levy Ido Dagan Bar-Ilan University Israel Proposition Knowledge Graphs Gabriel Stanovsky Omer Levy Ido Dagan Bar-Ilan University Israel 1 Problem End User 2 Case Study: Curiosity (Mars Rover) Curiosity is a fully equipped lab. Curiosity is a rover.

More information

Syntactic Patterns of Spatial Relations in Text

Syntactic Patterns of Spatial Relations in Text Syntactic Patterns of Spatial Relations in Text Shaonan Zhu, Xueying Zhang Key Laboratory of Virtual Geography Environment,Ministry of Education, Nanjing Normal University,Nanjing, China Abstract: Natural

More information

Version 1.1 GIS Syllabus

Version 1.1 GIS Syllabus GEOGRAPHIC INFORMATION SYSTEMS CERTIFICATION Version 1.1 GIS Syllabus Endorsed 1 Version 1 January 2007 GIS Certification Programme 1. Target The GIS certification is aimed at: Those who wish to demonstrate

More information

Fregean Compositionality MCMP, June 2015 Thomas Ede Zimmermann (Goethe University, Frankfurt)

Fregean Compositionality MCMP, June 2015 Thomas Ede Zimmermann (Goethe University, Frankfurt) Fregean Compositionality MCMP, June 2015 Thomas Ede Zimmermann (Goethe University, Frankfurt) 1. Background (1a) John seeks a unicorn. P(Δ John, O(Δ seeks,δ a unicorn ) (c) Q(Δ a unicorn, Δ John seeks

More information

Unified Foundational Ontology and Ontology Testing

Unified Foundational Ontology and Ontology Testing and Ontology Testing Miroslav Blaško miroslav.blasko@fel.cvut.cz November 16, 2017 Miroslav Blaško (miroslav.blasko@fel.cvut.cz)unified Foundational Ontology and Ontology Testing November 16, 2017 1 /

More information

Approximate Measures of Semantic Dissimilarity under Uncertainty

Approximate Measures of Semantic Dissimilarity under Uncertainty Approximate Measures of Semantic Dissimilarity under Uncertainty Nicola Fanizzi, Claudia d Amato, Floriana Esposito Dipartimento di Informatica Università degli studi di Bari Campus Universitario Via Orabona

More information

Computational Linguistics II: Parsing

Computational Linguistics II: Parsing Computational Linguistics II: Parsing Left-corner-Parsing Frank Richter & Jan-Philipp Söhn fr@sfs.uni-tuebingen.de, jp.soehn@uni-tuebingen.de January 15th, 2007 Richter/Söhn (WS 2006/07) Computational

More information

Syntactical analysis. Syntactical analysis. Syntactical analysis. Syntactical analysis

Syntactical analysis. Syntactical analysis. Syntactical analysis. Syntactical analysis Context-free grammars Derivations Parse Trees Left-recursive grammars Top-down parsing non-recursive predictive parsers construction of parse tables Bottom-up parsing shift/reduce parsers LR parsers GLR

More information

Semantic Technologies in Prod-Trees

Semantic Technologies in Prod-Trees European Geosciences Union General Assembly 2014 Prod Trees Kallirroi Dogani Vienna Austria 29 April Outline 2 The Prod-Trees architecture Supported ontologies Cross-ontology browser Ontology mapping EO-netCDF

More information

Handout 8: Computation & Hierarchical parsing II. Compute initial state set S 0 Compute initial state set S 0

Handout 8: Computation & Hierarchical parsing II. Compute initial state set S 0 Compute initial state set S 0 Massachusetts Institute of Technology 6.863J/9.611J, Natural Language Processing, Spring, 2001 Department of Electrical Engineering and Computer Science Department of Brain and Cognitive Sciences Handout

More information

Tree Adjoining Grammars

Tree Adjoining Grammars Tree Adjoining Grammars TAG: Parsing and formal properties Laura Kallmeyer & Benjamin Burkhardt HHU Düsseldorf WS 2017/2018 1 / 36 Outline 1 Parsing as deduction 2 CYK for TAG 3 Closure properties of TALs

More information

if t 1,...,t k Terms and P k is a k-ary predicate, then P k (t 1,...,t k ) Formulas (atomic formulas)

if t 1,...,t k Terms and P k is a k-ary predicate, then P k (t 1,...,t k ) Formulas (atomic formulas) FOL Query Evaluation Giuseppe De Giacomo Università di Roma La Sapienza Corso di Seminari di Ingegneria del Software: Data and Service Integration Laurea Specialistica in Ingegneria Informatica Università

More information

12. Dezember

12. Dezember 1 Lehrstuhl für Künstliche Intelligenz Institut für Informatik Friedrich-Alexander-Universität Erlangen-Nürnberg 12. Dezember 2005 1 Alex Lascarides SPNLP Course http://homepages.inf.ed.ac.uk/alex/spnlp/02.slides.pdf

More information

-,,,,, , Searle (1989/ 2002) (1), ; (2002: 177). Searle : (2),,. , (,.,.., Smith 1991:. 8),.,, (progressive)., (3) , (4):

-,,,,, , Searle (1989/ 2002) (1), ; (2002: 177). Searle : (2),,. , (,.,.., Smith 1991:. 8),.,, (progressive)., (3) , (4): - The paper discusses the different manifestations of explicit performatives in English and Greek from the point of view of aspectual choices The two languages seem to select different options whereas

More information

CIDOC-CRM Method: A Standardisation View. Haridimos Kondylakis, Martin Doerr, Dimitris Plexousakis,

CIDOC-CRM Method: A Standardisation View. Haridimos Kondylakis, Martin Doerr, Dimitris Plexousakis, The CIDOC CRM CIDOC-CRM Method: A Standardisation View Haridimos Kondylakis, Martin Doerr, Dimitris Plexousakis, Center for Cultural Informatics, Institute of Computer Science Foundation for Research and

More information

C SC 620 Advanced Topics in Natural Language Processing. Lecture 21 4/13

C SC 620 Advanced Topics in Natural Language Processing. Lecture 21 4/13 C SC 620 Advanced Topics in Natural Language Processing Lecture 21 4/13 Reading List Readings in Machine Translation, Eds. Nirenburg, S. et al. MIT Press 2003. 19. Montague Grammar and Machine Translation.

More information

First Order Logic (FOL)

First Order Logic (FOL) First Order Logic (FOL) CE417: Introduction to Artificial Intelligence Sharif University of Technology Spring 2013 Soleymani Course material: Artificial Intelligence: A Modern Approach, 3 rd Edition, Chapter

More information

Tree Adjoining Grammars

Tree Adjoining Grammars Tree Adjoining Grammars Feature Structure Based TAG Laura Kallmeyer & Benjamin Burkhardt HHU Düsseldorf WS 2017/2018 1 / 20 Outline 1 Why feature structures? 2 Basics of feature structure logic 3 Feature

More information

Maximum Entropy Models for Natural Language Processing

Maximum Entropy Models for Natural Language Processing Maximum Entropy Models for Natural Language Processing James Curran The University of Sydney james@it.usyd.edu.au 6th December, 2004 Overview a brief probability and statistics refresher statistical modelling

More information

Intelligent Systems (AI-2)

Intelligent Systems (AI-2) Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 31 Nov, 25, 2016 Slide source: from Pedro Domingos UW & Markov Logic: An Interface Layer for Artificial Intelligence Pedro Domingos and Daniel

More information

Axiomatized Relationships Between Ontologies. Carmen Chui

Axiomatized Relationships Between Ontologies. Carmen Chui Axiomatized Relationships Between Ontologies by Carmen Chui A thesis submitted in conformity with the requirements for the degree of Master of Applied Science Graduate Department of Mechanical & Industrial

More information

A Logic Primer. Stavros Tripakis University of California, Berkeley. Stavros Tripakis (UC Berkeley) EE 144/244, Fall 2014 A Logic Primer 1 / 35

A Logic Primer. Stavros Tripakis University of California, Berkeley. Stavros Tripakis (UC Berkeley) EE 144/244, Fall 2014 A Logic Primer 1 / 35 EE 144/244: Fundamental Algorithms for System Modeling, Analysis, and Optimization Fall 2014 A Logic Primer Stavros Tripakis University of California, Berkeley Stavros Tripakis (UC Berkeley) EE 144/244,

More information

STRING: Protein association networks. Lars Juhl Jensen

STRING: Protein association networks. Lars Juhl Jensen STRING: Protein association networks Lars Juhl Jensen interaction networks association networks guilt by association protein networks STRING 9.6 million proteins common foundation Exercise 1 Go to http://string-db.org/

More information

SEMINARIO MATEMATICO Università' e Politecnico Torino

SEMINARIO MATEMATICO Università' e Politecnico Torino ii^ffi^^iì^^ * *» *» ' i' SEMINARIO MATEMATICO Università' e Politecnico Torino -,,»*-!?' '-[ "fa> ( '-< j te: ty-^^'i,, ". < ' '» *. ', "i. Aims The Seminario Matematico is a society of members of various

More information