? for data: differentiating data structures, Fundamenta Informaticae, vol.65, pp.1-28, 2005. ,
Introduction to Montague Semantics, 1981. ,
Bridging the gap between formal languages and natural languages with zippers, Extended Semantic Web Conf. (ESWC), pp.269-284, 2016. ,
Semantic authoring of ontologies by exploration and elimination of possible worlds, Int. Conf. Knowledge Engineering and Knowledge Management, 2016. ,
An expressive query builder for SPARQL endpoints with guidance in natural language, Semantic Web: Interoperability, Usability, Applicability, vol.8, pp.405-418, 2017. ,
Architecture of a web-based predictive editor for controlled natural language processing, Controlled Natural Language, pp.167-178, 2014. ,
An interactive guidance process supporting consistent updates of RDFS graphs, Int. Conf. Knowledge Engineering and Knowledge Management, pp.185-199, 2012. ,
Foundations of Semantic Web Technologies, 2009. ,
Functional pearl-the zipper, J. Functional Programming, vol.7, pp.549-554, 1997. ,
A multilingual semantic wiki based on attempto controlled english and grammatical framework, The Semantic Web: Semantics and Big Data, pp.427-441, 2013. ,
Evaluating the usability of natural language query languages and interfaces to semantic web knowledge bases, J. Web Semantics, vol.8, pp.377-393, 2010. ,
A survey and classification of controlled natural languages, Computational Linguistics, 2013. ,
Is question answering fit for the semantic web?: A survey, Semantic Web, vol.2, issue.2, pp.125-155, 2011. ,
Sorry, I don't speak SPARQL: translating SPARQL queries into natural language, WWW, pp.977-988, 2013. ,
Statistically-guided controlled language authoring, Controlled Natural Language, pp.37-47, 2016. ,
Grammatical framework, Journal of Functional Programming, vol.14, pp.145-189, 2004. ,
Functional programming and proofs of program correctness, Tools and Notions for Program Construction: An Advanced Course, D. Néel, pp.187-209, 1982. ,