Semantics are for people too! Lee Feigenbaum, Cambridge Semantics - PowerPoint PPT Presentation

Nov 27, 2022 •21 likes •201 views

Semantics are for people too! Lee Feigenbaum, Cambridge Semantics W3C Workshop on Semantic Web in Energy Industries 09 December 2008 About This Presentation This presentation is extremely visual. Please use the included speakers notes for

Semantics are for people too! Lee Feigenbaum, Cambridge Semantics W3C Workshop on Semantic Web in Energy Industries 09 December 2008
About This Presentation This presentation is extremely visual. Please use the included speaker’s notes for the context of the imagery within. Questions to: lee@cambridgesemantics.com December 9, 2008 2
Why are we here? December 9, 2008 3
Why are we here? December 9, 2008 4
Why are we here?
Why are we here? December 9, 2008 6
Man or Machine? December 9, 2008 7
Models we understand December 9, 2008 8
We can’t automate everything. December 9, 2008 9
That’s why we love spreadsheets December 9, 2008 10
Where does this leave us? December 9, 2008 11
Enough with the boring stuff December 9, 2008 12
The Scenario December 9, 2008 13
PRODML & WITSML �� !� �� "�� #��$��!�% �� % �� % �� &�� '�� … December 9, 2008 14
From Excel direct to PRODML? December 9, 2008 15
What does our solution look like? December 9, 2008 16
What did we just see? December 9, 2008 17
Thanks & Questions Thanks: Frank Chum, Roger Cutler, and David Shipley Questions: lee@cambridgesemantics.com December 9, 2008 18

Recommend

Semantics 1 / 21 Outline What is semantics? Denotational semantics Semantics of naming What

Semantics 1 / 21 Outline What is semantics? Denotational semantics Semantics of naming What is semantics? 2 / 21 What is the meaning of a program? Recall: aspects of a language syntax : the structure of its programs semantics : the

551 views • 21 slides

Operational Semantics 1 / 14 Outline What is semantics? Operational Semantics What is

Operational Semantics 1 / 14 Outline What is semantics? Operational Semantics What is semantics? 2 / 14 What is the meaning of a program? Recall: aspects of a language syntax : the structure of its programs semantics : the meaning of

588 views • 14 slides

Semantics so far in course Lexical Semantics, Distributions, Previous semantics lectures

11/13/18 Semantics so far in course Lexical Semantics, Distributions, Previous semantics lectures discussed Predicate-Argument Structure, and composing meanings of parts to produce the correct global sentence meaning Frame Semantic Parsing

460 views • 14 slides

Preparatory course WS2011 - Semantics The job of semantics Referential theories Conceptual

Semantics J. Ruppenhofer, A. Palmer Preliminaries Preparatory course WS2011 - Semantics The job of semantics Referential theories Conceptual Alexis Palmer semantics Some core problems Lexical analysis Sense and word October 10,

1.53k views • 133 slides

11/19/10 Introduction Semantics can mean quite different things in different

11/19/10 Introduction Semantics can mean quite different things in different contexts; fields concerned with semantics are as diverse as psychology, law, Formal Semantics and Pragmatics: computer science, lexicography, logic,

393 views • 10 slides

PL: A Whirlwind Tour Semantics and Foundations Program Semantics To analyze programs, we

CMSC 430 Compilers Fall 2018 PL: A Whirlwind Tour Semantics and Foundations Program Semantics To analyze programs, we must know what they mean Semantics comes from the Greek semaino , to mean Most language semantics

883 views • 70 slides

The Inquisitive Turn a new perspective on semantics, pragmatics, and logic Floris Roelofsen

The Inquisitive Turn a new perspective on semantics, pragmatics, and logic Floris Roelofsen www.illc.uva.nl/inquisitive-semantics Amsterdam, October 11, 2010 People Martin Aher (ILLC MoL 2009, now Osnabr uck PhD LING) Maria

776 views • 53 slides

Other Kinds of Semantics Introduction to Operational Semantics Denotational semantics

Lecture Outline COOL operational semantics Operational Semantics of Cool Motivation Notation Adapted from Lectures by Profs. Alex Aiken and George Necula (UCB) The rules CS781(Prasad) L24CG 2 CS781(Prasad) L24CG 1

320 views • 7 slides

Action Semantics for an Executable UML Thomas Feng March 2, 2003 Email: thomas@email.com.cn

Action Semantics for an Executable UML Thomas Feng March 2, 2003 Email: thomas@email.com.cn Homepage: http://moncs.cs.mcgill.ca/people/tfeng/ Why are we interested in semantics? Other than syntax, the pure appearance of a language, we are

980 views • 73 slides

Introductory Notes Jigsaw Semantics or: Dynamic Semantics Put Together Again Formal semantics

Jigsaw Semantics Introduction Introductory Notes Jigsaw Semantics or: Dynamic Semantics Put Together Again Formal semantics and formal pragmatics: the disciplines are much scattered and seriously challenged, or so it seems. Formal

164 views • 12 slides

15-411: Dynamic Semantics Jan Ho ff mann Dynamic Semantics Static semantics: definition of

15-411: Dynamic Semantics Jan Ho ff mann Dynamic Semantics Static semantics: definition of valid programs Dynamic semantics: definition of how programs are executed So far: Dynamic semantics is given in English on lab handouts This

1.54k views • 137 slides

Lexical Semantics in Formal Semantics: History and Challenges . Barbara H. Partee

Lexical Semantics in Formal Semantics: History and Challenges . Barbara H. Partee partee@linguist.umass.edu ESSLLI RefSemPlus Workshop, August 2016 1. Introduction n The early important achievements of formal semantics that made it of

1.01k views • 36 slides

Propositional Logic: Semantics Alice Gao Lecture 4, September 19, 2017 Semantics 1/56

Propositional Logic: Semantics Alice Gao Lecture 4, September 19, 2017 Semantics 1/56 Announcements Semantics 2/56 The roadmap of propositional logic Semantics 3/56 FCC spectrum auction an application of propositional spectrums to

1.3k views • 56 slides

Polyteam Semantics Team Semantics Axiomatisations in team semantics Polyteams and

Polyteam Semantics Jonni Virtema Backround Polyteam Semantics Team Semantics Axiomatisations in team semantics Polyteams and poly-dependence Jonni Virtema Axioms of poly-dependence Hasselt University, Belgium Poly-independence

712 views • 42 slides

An alternative semantics Yet another alternative semantics Judgments of the form E V Use

An alternative semantics Yet another alternative semantics Judgments of the form E V Use explicit environments, not substitution expression E reduces fully to normal form V closer still to real interpreter big-step

71 views • 6 slides

Formal Semantics in Modern Type Theories (and Event Semantics in MTT-Framework) Zhaohui Luo

Formal Semantics in Modern Type Theories (and Event Semantics in MTT-Framework) Zhaohui Luo Royal Holloway University of London This talk I. Formal semantics in Modern Type Theories: overview MTT-semantics is both model-theoretic and

564 views • 30 slides

CMSC 430 Introduction to Compilers Spring 2016 Operational Semantics Syntax vs. semantics

CMSC 430 Introduction to Compilers Spring 2016 Operational Semantics Syntax vs. semantics Syntax = grammatical structure Semantics = underlying meaning Sentences in a language can be syntactically well- formed but semantically

649 views • 37 slides

Polyteam Semantics Team Semantics Axiomatizations in team semantics Polyteams and Jonni

Polyteam Semantics Jonni Virtema Backround Polyteam Semantics Team Semantics Axiomatizations in team semantics Polyteams and Jonni Virtema poly-dependence Axioms of University of Helsinki, Finland poly-dependence

513 views • 34 slides

Operational Semantics This course Why semantics? y := 1; precise specification of software

Operational Semantics This course Why semantics? y := 1; precise specification of software and while ( x = 1) do ( y := x y ; x := x 1) hardware First we assign 1 to y , then we test whether facilitate reasoning about systems:

355 views • 10 slides

Big Picture Semantics how do we figure out the situations in which sentences are true or

Big Picture Semantics how do we figure out the situations in which sentences are true or false? Compositionality = pieces + composing them Lexical semantics = what do we know about word meanings? Compositional semantics = how do we

419 views • 38 slides

Hurfords constraint, the semantics of disjunction, and the nature of alternatives Ivano

Hurfords constraint, the semantics of disjunction, and the nature of alternatives Ivano Ciardelli joint work with Floris Roelofsen InqBnB2 Amsterdam, 17-12-2017 Inquisitive semantics and alternative semantics Both propose a

1.72k views • 62 slides

Logic and Natural Language Semantics: Distributional Semantics R affaella B ernardi DISI, U

Logic and Natural Language Semantics: Distributional Semantics R affaella B ernardi DISI, U niversity of T rento e - mail : bernardi @ disi . unitn . it Contents First Last Prev Next Contents 1 Formal Semantics Applications . . . . . .

628 views • 50 slides

Semantics and Pragmatics of NLP The Semantics of Discourse: Overview Alex Lascarides School of

Shortcoming of FOL approaches to semantics A New Approach: DRT Semantics and Pragmatics of NLP The Semantics of Discourse: Overview Alex Lascarides School of Informatics University of Edinburgh university-logo Alex Lascarides SPNLP:

444 views • 27 slides

Semantics of programming languages Informatics 2A: Lecture 27 John Longley School of Informatics

What is programming language semantics? Micro-Haskell: crash course Operational semantics Denotational semantics Semantics of programming languages Informatics 2A: Lecture 27 John Longley School of Informatics University of Edinburgh

465 views • 19 slides