Sign inSign up
Bridging the Gap Between Formal Languages and Natural Languages with Zippers thumbnail
Pause
Mute
Subtitles
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, 20161092 Views

Sébastien Ferré

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

ESWC 2016 - Heraklion

Related categories

Big DataSemantic Web

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