Abstract
The paper presents strategy for organizing the content of the academic discipline using an ontological approach, which enables an effective system solution of a range of important methodological, methodical and technological tasks for the development of intellectualized systems of electronic education in the field of information technologies. The mathematical structures that describe and detail the abstract logic-semantic core of the discipline in the form of a set of axiomatic systems are developed. It is shown that the ontological approach of the organization of educational content ensures the presence of a clear, compact, ordered structure of the knowledge organization about the subject area of the academic discipline and is well consistent with the theoretical formal basis for the development of modern ontologies - a family of descriptive logics. As an example of the application of the proposed approach, the elements of the glossary and taxonomies of the concepts of the discipline “Computer Logic” are developed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Shute, V.J., Zapata-Rivera, D.: Adaptive educational systems. Adapt. Technol. Train. Educ. 1, 5–27 (2011)
Rui, L., Maode, D.: A Research on E-learning resources construction based on semantic web. Phys. Procedia 25, 1715–1719 (2012)
Barros, H., Silva, A., Costa, E., Bittencourt, I., Holanda, O., Sales, L.: Steps, techniques, and technologies for the development of intelligent applications based on semantic web services: a case study in E-learning systems. Eng. Appl. Artif. Intell. 24, 1355–1367 (2011)
Vega-Gorgojo, G., Bote-Lorenzo, M.L., Asensio-Pérez, J.I., Gómez-Sánchez, E., Dimitriadis, Y.A., Jorrín-Abellán, I.M.: Semantic search of tools for collaborative learning with the ontological search system. Comput. Educ. 54(4), 835–848 (2010)
Isotani, S., Mizoguchi, R., Isotani, S., Capeli, O.M., Isotani, N., de Albuquerque, A.R.P.L., Bittencourt, I.I., Jaques, P.: A semantic web-based authoring tool to facilitate the planning of collaborative learning scenarios compliant with learning theories. Comput. Educ. 63, 267–284 (2013)
Lytvyn, V., Vysotska, V., Burov, Y., Veres, O., Rishnyak, I.: The contextual search method based on domain thesaurus. In: Advances in Intelligent Systems and Computing, vol. 689, pp. 310–319 (2017)
Junuz, E.: Preparation of the learning content for semantic E-learning environment. Procedia Soc. Behav. Sci. 1(1), 824–828 (2009)
World Wide Web Consortium (W3C): W3C Semantic Web Activity. http://www.w3.org/2001/sw/
Gruber, T.: A translation approach to portable ontologies. Knowl. Acquis. 5(2), 199–220 (1993)
Guarino, N.: Formal ontology, conceptual analysis and knowledge representation. Int. J. Hum Comput Stud. 43(5–6), 625–640 (1995)
Kut, V., Kunanets, N., Pasichnik, V., Tomashevskyi, V.: The procedures for the selection of knowledge representation methods in the “virtual university” distance learning system. In: First International Conference on Computer Science, Engineering and Education Applications (ICCSEEA2018), Kiev, pp. 713–723 (2018)
Bomba, A., Kunanets, N., Nazaruk, M., Pasichnyk, V., Veretennikova, N.: Information technologies of modeling processes for preparation of professionals in smart cities. In: First International Conference on Computer Science, Engineering and Education Applications (ICCSEEA2018), Kiev, pp. 702–712 (2018)
Sowa, J.: Conceptual graphs as a universal knowledge representation. semantic networks in artificial intelligence. Special Issue Int. J. Comput. Math. Appl. 23(2–5), 75–95 (1992)
Montes-y-Gómez, M., Gelbukh, A., LópezLópez, A.: Comparison of Conceptual Graphs. http://ccc.inaoep.mx/~mmontesg/publicaciones/2000/ComparisonCG
Dosyn, D.G., Lytvyn, V.V., Nikolskyi, Y.V., Pasichnyk, V.V.: Intelligent Systems Based on Ontologies. Civilization, Lviv (2009)
Guarino, N.: Formal ontology and information systems. In: FOIS 1998, pp. 3–15. IOS Press, Amsterdam (1998)
Lenko, V., Pasichnyk, V., Kunanets, N., Shcherbyna, Y.: Knowledge representation and formal reasoning in ontologies with Coq. In: Advances in Intelligent Systems and Computing, vol. 689, pp. 759–770 (2018)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Lupenko, S., Pasichnyk, V., Kunanets, N. (2019). Organization of the Content of Academic Discipline in the Field of Information Technologies Using Ontological Approach. In: Shakhovska, N., Medykovskyy, M. (eds) Advances in Intelligent Systems and Computing III. CSIT 2018. Advances in Intelligent Systems and Computing, vol 871. Springer, Cham. https://doi.org/10.1007/978-3-030-01069-0_23
Download citation
DOI: https://doi.org/10.1007/978-3-030-01069-0_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-01068-3
Online ISBN: 978-3-030-01069-0
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)