Bridging the Gap Between Formal Languages and Natural Languages with Zippers thumbnail
slide-image
Pause
Mute
Subtitles not available
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

Bridging the Gap Between Formal Languages and Natural Languages with Zippers

Published on Jul 28, 20161089 Views

The Semantic Web is founded on a number of Formal Languages (FL) whose benefits are precision, lack of ambiguity, and ability to automate reasoning tasks such as inference or query answering. This how

Related categories

Chapter list

Bridging the Gap Between Formal Languages and Natural Languages with Zippers00:00
Overview00:16
The Gap between Formal Languages and Natural Languages00:47
Different Kinds of Bridges01:19
The Problem of Adequacy03:14
The n a f Design pattern04:44
Pros and Cons07:05
Bridging the Gap with Zippers09:08
Illustration on a Core RDF Query Language (CRQL)10:21
1. CRQL ASTs11:15
1. ASTs Specification12:42
2. AST Zippers - 114:00
2. AST Zippers - 214:37
2. AST Zippers - 315:47
3. AST Zipper Transformations15:49
4. Translation to SPARQL (Formalization)18:02
4. Full Montague Grammar for Formalization in SPARQL20:12
5. Translation to English (Verbalization)20:28
4 & 5.Translation Example22:04
6. Computation of System Suggestions22:20
Application to 3 Semantic Web Tasks23:02
Scaling in Expressivity24:32
Conclusion24:48
The End25:56