The Concept of the ALMM Solver Knowledge Base Retrieval Using Protégé Environment

Abstract

The paper presents the concept of using a Protégé environment to extract knowledge about the properties and features of discrete problems described by ALMM technology. The concept of an Intelligent ALMM system was proposed firstly by Dudek-Dyduch E. The main purpose of the ALMM system is not only to solve problems with discreet optimization, but also to help the user in choosing the right method and algorithm for solving them. The authors, based on earlier work connected with component structure based solvers using ALMM technology, proposed the exploitation of description of the properties of individual problems in order to create the corresponding knowledge base. This paper presents an example of a knowledge base structure for the problem of scheduling tasks on a single machine that can be used to solve various optimization tasks. Using the OWL language convention, the architecture of classes and related properties of solved problems: axioms and assertions were proposed. An on-line knowledge base representing specific classes of problems together with its own query language can be a scenario for pre-modeling the architecture of the final application. For the ontological architecture, the examples of knowledge extraction scenarios to solve the optimization problem of the tasks scheduling on a single machine are presented too.