13.04.2015

Informatik-Kolloquium

Im Sommersemester 2015 findet im Rahmen des Informatik-Kolloquiums der folgende Vortrag statt:

Montag, 13. April 2015, 16.15 Uhr, Turing-Hörsaal

Prof. Dr. Grzegorz Nalepa, AGH University of Science and Technology

A Semantic Knowledge Engineering Methodology

The main motivation for the Semantic Knowledge Engineering (SKE) approach is to provide a coherent formalized framework for designing knowledge based systems. The framework is built upon a rule-based knowledge representation language called XTT2 (eXtended Tabular Trees version 2).

A hierarchical design procedure introduced by SKE, and heterogeneous application architecture are presented. The XTT2 rule language for modularized knowledge bases is discussed. It is based on decision tables combined into decision network. Tables describe collections of rules sharing the same attributes. The network allows for different inference scenarios for data-driven and goal oriented reasoning. The formalized aspect of the representation based on the ALSV(FD) logic allows for basic formal verification of the knowledge base.

Besides the development of rule-based decision support and control systems, three other application areas for SKE are considered. The first one concerns a rule-based knowledge engineering framework for the Semantic Web. The second concerns Software Engineering, where a translation of the XTT2 representation to the UML notation is provided. The third one demonstrates the integration of business rules expressed with the use of XTT2 with business process designed with the BPMN notation