The article discusses the results of applying an ontological approach to describe the structure and content of an educational program, followed by an analysis of the alignment between course requirements and learning outcomes. The practical outcome of the study involves the creation of an ontology in the Protégé 5.5.0 editor, representing the studied disciplines in terms of the skills acquired during the educational process and the prerequisites for student qualification. The curriculum model encompasses a sequence of semesters and academic year courses, taking into account temporal dependencies. The developed ontology is populated with data from the «Software Engineering» educational program. The authors have formulated queries in DL Query and SPARQL languages, which, using logical methods, enable the examination of the educational program's consistency with the requirements and skills developed in previous study periods. The developed ontology and rules of logical inference can be employed in educational process management systems and educational program design tools for intelligent analysis of program integrity and the alignment of learning outcomes across various disciplines.