OpenAPI Interface Definition for the Communication of Study Regulations between SemaLogic and Answer Set Programming (ASP)

The traditional way of feeding Answer Set Programming (ASP) is to define data in structured tables and feed these into the ASP solver to generate solutions. Formalizing the problem space is therefore left to the ASP programmers. The new approach to defining the logical structure in the formal specification language SemaLogic allows shifting part of the problem space definition towards the experts involved. In the case of study regulations, we proposed a first draft of the interface for the SemaLogic ASP communication protocol.

The resulting JSON interface is divided into three generic sections of information:
1.    Attributes: as symbols and their properties as attributed values
2.    Groups: to flexibly name the segmentation of all symbols
3.    Terms: to cover the logical relation between symbols as constraints

The OpenAPI interface definition is generic in the sense, that no assumptions about the structure of the coded knowledge are reflected in the data format.