Open AccessOntology of Discrete Mathematics in Education
Author(s) -
Ivan Molotkov,
AUTHOR_ID,
F. Novikov,
AUTHOR_ID
Publication year - 2021
Publication title -
kompʹûternye instrumenty v obrazovanii
Language(s) - English
Resource type - Journals
eISSN - 2071-2359
pISSN - 2071-2340
DOI - 10.32603/2071-2340-2021-1-69-85
Subject(s) - ontology , computer science , process (computing) , unified modeling language , clarity , ontology components , process ontology , presentation (obstetrics) , upper ontology , subject (documents) , idef5 , formal ontology , suggested upper merged ontology , software , world wide web , programming language , epistemology , medicine , philosophy , biochemistry , chemistry , radiology
Currently, ontologies are widely used in computer science for the formalized representati- on of knowledge about various subject areas. Special formal languages for describing ontologies have been developed and are successfully used, which allow describing ontologi- es in a form that is accessible for use by both humans and computers.Among the various options for using ontologies, a special place is occupied by the use of ontologies in educati- on, since the systematization and ordering of knowledge, being the main competitive advantage of the ontological approach, is at the same time one of the main goals of the educational process. The article proposes original methods of constructing ontologies for use in the educational process of higher education. The central idea is the construction of faceted, in other words, multifaceted ontologies, in which different aspects of the same subject area are described by conceptually similar, but syntactically different means. This approach provides a more accurate and semantically adequate description while maintaining the known brevity and clarity of designations. As a language for describing ontologies, it is proposed to use the unied modeling language UML 2, which has proven itself in formalization in many cases. The presentation is based on the example of constructing an ontology of discrete mathematics, and the ontology diagrams given in the article are introduced into the educational processes of the Academic and Polytechnic Universities of St. Petersburg.