An Approach for Representing Answer Sets in Natural Language

In recent years, different methods for supporting the development of answer-set programming (ASP) code have been introduced. During such a development process, often it would be desirable to have a natural-language representation of answer sets, e.g., when dealing with domain experts unfamiliar with ASP. In this paper, we address this point and provide an approach for such a representation, defined in terms of a controlled natural language (CNL), which in turn relies on the annotation language Lana for the specification of meta-information for answer-set programs. Our approach has been implemented as an Eclipse plug-in for $$\mathtt {SeaLion}$$ , a dedicated IDE for ASP.