A. , M. Altenkirch, T. Mcbride, C. And, G. et al., ? for data: differentiating data structures, Fundamenta Informaticae, vol.65, pp.1-28, 2005.

D. , D. R. Wall, R. E. And, P. , and S. , Introduction to Montague Semantics, 1981.

F. and S. , Bridging the gap between formal languages and natural languages with zippers, Extended Semantic Web Conf. (ESWC), pp.269-284, 2016.

F. and S. , Semantic authoring of ontologies by exploration and elimination of possible worlds, Int. Conf. Knowledge Engineering and Knowledge Management, 2016.

F. and S. Sparklis, An expressive query builder for SPARQL endpoints with guidance in natural language, Semantic Web: Interoperability, Usability, Applicability, vol.8, pp.405-418, 2017.

G. , S. And, S. , and R. , Architecture of a web-based predictive editor for controlled natural language processing, Controlled Natural Language, pp.167-178, 2014.

H. , A. Ferréferr´ferré, S. And, D. , and M. , An interactive guidance process supporting consistent updates of RDFS graphs, Int. Conf. Knowledge Engineering and Knowledge Management, pp.185-199, 2012.

H. , P. Kr¨otzschkr¨, K. , M. And, R. et al., Foundations of Semantic Web Technologies, 2009.

H. and G. , Functional pearl-the zipper, J. Functional Programming, vol.7, pp.549-554, 1997.

K. , K. And, K. , and T. , A multilingual semantic wiki based on attempto controlled english and grammatical framework, The Semantic Web: Semantics and Big Data, pp.427-441, 2013.

K. , E. And, and A. Bernstein, Evaluating the usability of natural language query languages and interfaces to semantic web knowledge bases, J. Web Semantics, vol.8, pp.377-393, 2010.

K. and T. , A survey and classification of controlled natural languages, Computational Linguistics, 2013.

L. , V. Uren, V. S. Sabou, M. And, M. et al., Is question answering fit for the semantic web?: A survey, Semantic Web, vol.2, issue.2, pp.125-155, 2011.

N. , A. N. Uhmann, L. Unger, C. Lehmann, J. And et al., Sorry, I don't speak SPARQL: translating SPARQL queries into natural language, WWW, pp.977-988, 2013.

P. , S. Cuadros, M. And, E. , and T. , Statistically-guided controlled language authoring, Controlled Natural Language, pp.37-47, 2016.

R. and A. , Grammatical framework, Journal of Functional Programming, vol.14, pp.145-189, 2004.

T. and D. , Functional programming and proofs of program correctness, Tools and Notions for Program Construction: An Advanced Course, D. Néel, pp.187-209, 1982.