Theory, algorithms and tools for generic solutions to knowledge-intensive business problems from formal specifications

Declarative problem solving is on the brink of a breakthrough. By applying novel language and inference technologies from knowledge representation and reasoning (KRR), a formal theory expressing application knowledge can drive many functionalities in a software system. In this project, the KRR subgroup of DTAI (Prof. Denecker and Prof. Janssens) intends to push this technology substantially beyond its current limitations by working on theory, languages and algorithms. The current technology is best suited for knowledge intense applications such as business applications. So far the novel technologies of KRR have not or only partially been studied in this field. Thereofore, KRR joins forces with the LIRIS group (Prof. Vanthienen) to develop this approach in business problems. To warrant the most impact in the economically important world of business software, an important subgoal will be to blend the new technologies with the recent influential OMG DMN (Decision Modeling & Notation) standard.

Keywords:Knowledge representation, Business modelling, Decision Modelling and Notation, Knowledge Base Paradigm, Business Process Management, Declarative modelling

Disciplines:Computer science, Knowledge representation and reasoning