Architecture of a Web-Based Predictive Editor for Controlled Natural Language Processing

In this paper, we describe the architecture of a web-based predictive text editor being developed for the controlled natural language PENG ASP . This controlled language can be used to write non-monotonic specifications that have the same expressive power as Answer Set Programs. In order to support the writing process of these specifications, the predictive text editor communicates asynchronously with the controlled natural language processor that generates lookahead categories and additional auxiliary information for the author of a specification text. The text editor can display multiple sets of lookahead categories simultaneously for different possible sentence completions, anaphoric expressions, and supports the addition of new content words to the lexicon.

[1]  Colin White,et al.  An Update on PENG Light , 2009, ALTA.

[2]  Rolf Schwitter,et al.  Controlled Natural Languages for Knowledge Representation , 2010, COLING.

[3]  Miroslaw Truszczynski,et al.  Answer set programming at a glance , 2011, Commun. ACM.

[4]  Kathy Sierra,et al.  Head First Design Patterns , 2004 .

[5]  Kaarel Kaljurand,et al.  Attempto Controlled English for Knowledge Representation , 2008, Reasoning Web.

[6]  Ian Sommerville,et al.  Software engineering 9th edition (international edition) , 2011 .

[7]  Vladimir Lifschitz,et al.  Answer Set Programming , 2019 .

[8]  Harry R. Tennant,et al.  Menu-Based Natural Language Understanding , 1983, ACL.

[9]  Richard Power OWL Simplified English: A Finite-State Language for Ontology Editing , 2012, CNL.

[10]  Ralf Schwitter,et al.  ECOLE: a look-ahead editor of controlled language , 2003, EAMT.

[11]  Martin Gebser,et al.  Answer Set Solving in Practice , 2012, Answer Set Solving in Practice.

[12]  Yuliya Lierler,et al.  Logic Programs vs. First-Order Formulas in Textual Inference , 2013, IWCS.

[13]  Niklas Gloeckner,et al.  Head First Design Patterns , 2016 .

[14]  Uwe Reyle,et al.  From discourse to logic , 1993 .

[15]  Tobias Kuhn,et al.  Writing Support for Controlled Natural Languages , 2008, ALTA.

[16]  Rolf Schwitter,et al.  The jobs puzzle: Taking on the challenge via controlled natural language processing , 2013, Theory and Practice of Logic Programming.

[17]  Marius Thomas Lindauer,et al.  Potassco: The Potsdam Answer Set Solving Collection , 2011, AI Commun..

[18]  Sergio Tessaris,et al.  Quelo: an Ontology-Driven Query Interface , 2011, Description Logics.

[19]  Jan van Eijck,et al.  Discourse Representation in Context , 2011 .