Язык описания онтологий ONTOL v1

Mikhail Aptukov; Mikhail Markov; Fedor Novikov; Danil Pestryakov; Vladimir Skvortsov; Ilsaf Khamidullin

doi:10.32603/2071-2340-2025-1-91-107

Mikhail Aptukov Peter the Great St. Petersburg Polytechnic University, 29 Polytechnicheskaya, 195251, St. Petersburg, Russia
Mikhail Markov Peter the Great St. Petersburg Polytechnic University, 29 Polytechnicheskaya, 195251, St. Petersburg, Russia
Fedor Novikov Peter the Great St. Petersburg Polytechnic University, 29 Polytechnicheskaya, 195251, St. Petersburg, Russia https://orcid.org/0000-0003-4450-0173
Danil Pestryakov Peter the Great St. Petersburg Polytechnic University, 29 Polytechnicheskaya, 195251, St. Petersburg, Russia http://orcid.org/0009-0000-6877-5716
Vladimir Skvortsov Peter the Great St. Petersburg Polytechnic University, 29 Polytechnicheskaya, 195251, St. Petersburg, Russia http://orcid.org/0009-0001-0056-4805
Ilsaf Khamidullin Peter the Great St. Petersburg Polytechnic University, 29 Polytechnicheskaya, 195251, St. Petersburg, Russia

DOI: https://doi.org/10.32603/2071-2340-2025-1-91-107

Keywords: ontology, subject domain, grammars, education, knowledge formalisation

Abstract

This paper presents the ONTOL V1 ontology description language. With the help of ONTOL V1 notation it is possible to record ontologies applicable in the educational process in a formalised form. In the course of the work, a grammar of the ONTOL V1 language was developed, as well as its parser. The developed software tool provides the user with the following capabilities: recording ontologies in the form of formalised text; machinereadable representation of ontologies; modularity in describing ontologies of subject areas; visualisation of ontology elements.

Author Biographies

Mikhail Aptukov, Peter the Great St. Petersburg Polytechnic University, 29 Polytechnicheskaya, 195251, St. Petersburg, Russia

Student of the Bachelor’s Degree Program, Department of Applied Mathematics and Informatics, Institute of Physics and Mechanics, SPbPU, aptukovm@yandex.ru

Mikhail Markov, Peter the Great St. Petersburg Polytechnic University, 29 Polytechnicheskaya, 195251, St. Petersburg, Russia

Student of the Bachelor’s Degree Program, Department of Applied Mathematics and Informatics, Institute of Physics and Mechanics, SPbPU, mike.markov04@gmail.com

Fedor Novikov, Peter the Great St. Petersburg Polytechnic University, 29 Polytechnicheskaya, 195251, St. Petersburg, Russia

Doctor of Sciences (Tech.), Professor, Department of Applied Mathematics and Informatics, Institute of Physics and Mechanics, SPbPU, fedornovikov51@gmail.com

Danil Pestryakov, Peter the Great St. Petersburg Polytechnic University, 29 Polytechnicheskaya, 195251, St. Petersburg, Russia

Postgraduate, Assistant, Department of Applied Mathematics and Informatics, Institute of Physics and Mechanics, SPbPU, pestryakov.dd@edu.spbstu.ru

Vladimir Skvortsov, Peter the Great St. Petersburg Polytechnic University, 29 Polytechnicheskaya, 195251, St. Petersburg, Russia

Student of the Bachelor’s Degree Program, Department of Applied Mathematics and Informatics, Institute of Physics and Mechanics, SPbPU, mail@vladimirskvortsov.com

Ilsaf Khamidullin, Peter the Great St. Petersburg Polytechnic University, 29 Polytechnicheskaya, 195251, St. Petersburg, Russia

Student of the Bachelor’s Degree Program, Department of Applied Mathematics and Informatics, Institute of Physics and Mechanics, SPbPU, ilsaf.corp@gmail.com

References

I. I. Molotkov and F. A. Novikov, “Ontology of Discrete Mathematics in Education,” Computer Tools in Education, no. 1, pp. 67–84, 2021 (in Russian).

A. Roques, “PlantUML Language Reference Guide,” in plantuml.com, 2025. [Online]. Available: https://plantuml.com/

E. F. Codd, “A Relational Model of Data for Large Shared Data Banks,”Communications of the ACM, vol. 13, no. 6, pp. 377–387, 1970.

T. Berners-Lee, J. Hendler, and O. Lassila, “The Semantic Web,” Scientific American, vol. 284, no. 5, pp. 34–43, 2001.

G. Klyne and J. J. Carroll, eds., “Resource Description Framework (RDF): Concepts and Abstract Syntax.W3C Recommendation 10 February 2004,” in w3.org, 2004. [Online]. Available: https://www.w3.org/TR/rdf-concepts/

D. Brickley and R. V. Guha, eds., “RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation 10 February 2004,” in w3.org, 2004. [Online]. Available: https://www.w3.org/TR/rdf-schema/

D. L. McGuinness and F. van Harmelen, eds., “OWL Web Ontology Language Overview. W3C Recommendation 10 February 2004,” in w3.org, 2004. [Online]. Available: https://www.w3.org/TR/owl-features/

N. F. Noy and D. L. McGuinness, “Ontology Development 101: A Guide to Creating Your First Ontology,” Stanford Knowledge Systems Laboratory Technical Report KSL-01-05 and Stanford Medical Informatics Technical Report SMI-2001-0880, 2001.

F. A. Novikov and D. Yu. Ivanov,Modeling inUML. Theory, Practice, Video Course, St. Petersburg, Russia: Professional Literature, Science and Technology, 2010 (in Russian).

J. Morgan, “Ollama documentation,” in github.com, June 2025. [Online]. Available: https://github.com/ollama/ollama/blob/main/docs/api.md

F. A. Novikov, Discrete Mathematics: Textbook for Universities, 2nd ed., St. Petersburg, Russia: Peter. 2013 (in Russian).

Ontology Description Language ONTOL V1

Abstract

Author Biographies

References