APPLICATION OF DESCRIPTION LOGIC MECHANISM TO COMPOSITION OF EDUCATIONAL INSTITUTIONS’ SCHEDULE
In this article, a method based on input data is presented for the preparation of the schedule of classes at the school, which is presented in the form of an ontology with help of the formalism of the descriptive logic and the mechanism of logical inference in it. Concepts in this case are used to represent the basic concepts that are used in the schedules of educational institutions. A mathematical model was proposed. Applying the consistency check with help of the logical conclusion system to descriptive logic, in the source model the links to teachers, audiences, groups appear. These links allow to determine the location of an item in the timetable.