Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Detecting Similar Linked Datasets Using Topic Modelling Read chapter Read first chapter

2016 | OriginalPaper | Chapter

Bridging the Gap Between Formal Languages and Natural Languages with Zippers

Author : Sébastien Ferré

Published in: The Semantic Web. Latest Advances and New Domains

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

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 however poses the challenge of mediation between machines and users because the latter generally prefer Natural Languages (NL) for accessing and authoring knowledge. In this paper, we introduce the https://static-content.springer.com/image/chp%3A10.1007%2F978-3-319-34129-3_17/420515_1_En_17_IEq1_HTML.gif design pattern based on Abstract Syntax Trees (AST), Huet’s zippers and Montague grammars to zip together a natural language and a formal language. Unlike question answering, translation does not go from NL to FL, but as symbol  https://static-content.springer.com/image/chp%3A10.1007%2F978-3-319-34129-3_17/420515_1_En_17_IEq2_HTML.gif suggests, from ASTs (A) of an intermediate language to both NL ( https://static-content.springer.com/image/chp%3A10.1007%2F978-3-319-34129-3_17/420515_1_En_17_IEq3_HTML.gif ) and FL ( https://static-content.springer.com/image/chp%3A10.1007%2F978-3-319-34129-3_17/420515_1_En_17_IEq4_HTML.gif ). ASTs are built interactively and incrementally through a user-machine dialog where the user only sees NL, and the machine only sees FL.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Heaven: A Framework for Systematic Comparative Research Approach for RSP Engines
next chapter Towards Monitoring of Novel Statements in the News
Footnotes
2
In OO programming, algebraic datatypes are modelled with the Composite pattern.
 
3
We use capital letters for logical variables to distinguish them from \(\lambda \)-variables.
 
4
We also provide online the source code in two programming languages: Java and OCaml. Visit http://​www.​irisa.​fr/​LIS/​ferre/​pub/​CRQL/​.
 
Literature
1.
Abbott, M., Altenkirch, T., McBride, C., Ghani, N.: \(\partial \) for data: differentiating data structures. Fundamenta Informaticae 65(1), 1–28 (2005)MathSciNetMATH
2.
Chaudhri, V.K., Clark, P.E., Overholtzer, A., Spaulding, A.: Question generation from a knowledge base. In: Janowicz, K., Schlobach, S., Lambrix, P., Hyvönen, E. (eds.) EKAW 2014. LNCS, vol. 8876, pp. 54–65. Springer, Heidelberg (2014)
3.
Clark, P., Chaw, S.Y., Barker, K., Chaudhri, V., Harrison, P., Fan, J., John, B., Porter, B., Spaulding, A., Thompson, J., Yeh, P.: Capturing and answering questions posed to a knowledge-based system. In: International Conference Knowledge Capture, pp. 63–70. ACM (2007)
4.
Dowty, D.R., Wall, R.E., Peters, S.: Introduction to Montague Semantics. Reidel Publishing Company, Dordrecht (1981)
5.
Ferré, S.: Expressive and scalable query-based faceted search over SPARQL endpoints. In: Mika, P., Tudorache, T., Bernstein, A., Welty, C., Knoblock, C., Vrandečić, D., Groth, P., Noy, N., Janowicz, K., Goble, C. (eds.) ISWC 2014, Part II. LNCS, vol. 8797, pp. 438–453. Springer, Heidelberg (2014)
6.
Ferré, S.: SQUALL: The expressiveness of SPARQL 1.1 made available as a controlled natural language. Data Knowl. Eng. 94, 163–188 (2014)CrossRef
7.
Ferré, S., Rudolph, S.: Advocatus diaboli – exploratory enrichment of ontologies with negative constraints. In: ten Teije, A., Völker, J., Handschuh, S., Stuckenschmidt, H., d’Acquin, M., Nikolov, A., Aussenac-Gilles, N., Hernandez, N. (eds.) EKAW 2012. LNCS, vol. 7603, pp. 42–56. Springer, Heidelberg (2012)CrossRef
8.
Hermann, A., Ferré, S., Ducassé, M.: An interactive guidance process supporting consistent updates of RDFS graphs. In: ten Teije, A., Völker, J., Handschuh, S., Stuckenschmidt, H., d’Acquin, M., Nikolov, A., Aussenac-Gilles, N., Hernandez, N. (eds.) EKAW 2012. LNCS, vol. 7603, pp. 185–199. Springer, Heidelberg (2012)CrossRef
9.
10.
Kaljurand, K., Kuhn, T.: A multilingual semantic wiki based on attempto controlled english and grammatical framework. In: Presutti, V., Hollink, L., Rudolph, S., Cimiano, P., Corcho, O. (eds.) ESWC 2013. LNCS, vol. 7882, pp. 427–441. Springer, Heidelberg (2013)CrossRef
11.
Kaufmann, E., Bernstein, A.: Evaluating the usability of natural language query languages and interfaces to semantic web knowledge bases. J. Web Semant. 8(4), 377–393 (2010)CrossRef
12.
Kuhn, T.: A survey and classification of controlled natural languages. Comput. Linguist. 40(1), 121–170 (2013)CrossRef
13.
Lopez, V., Uren, V.S., Sabou, M., Motta, E.: Is question answering fit for the semantic web? a survey. Seman. Web 2(2), 125–155 (2011)
14.
McCrae, J., Spohr, D., Cimiano, P.: Linking lexical resources and ontologies on the semantic web with lemon. In: Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., De Leenheer, P., Pan, J. (eds.) ESWC 2011, Part I. LNCS, vol. 6643, pp. 245–259. Springer, Heidelberg (2011)CrossRef
15.
Ngomo, A.C.N., Bühmann, L., Unger, C., Lehmann, J., Gerber, D.: Sorry, I don’t speak SPARQL: translating SPARQL queries into natural language. In: WWW, pp. 977–988 (2013)
16.
17.
Turner, D.: Functional programming and proofs of program correctness. In: Néel, D. (ed.) Tools and Notions for Program Construction: An Advanced Course, pp. 187–209. Cambridge University Press, Cambridge (1982)
18.
Van Kleek, M., Moore, B., Karger, D., André, P., Schraefel, M.: Atomate it! end-user context-sensitive automation using heterogeneous information sources on the web. In: International Conference World Wide Web, pp. 951–960. ACM (2010)
Metadata
Title
Bridging the Gap Between Formal Languages and Natural Languages with Zippers
Author
Sébastien Ferré
Copyright Year
2016
Book
The Semantic Web. Latest Advances and New Domains

Print ISBN: 978-3-319-34128-6

Electronic ISBN: 978-3-319-34129-3

Copyright Year: 2016

DOI
https://doi.org/10.1007/978-3-319-34129-3_17