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

Михаил Ильдусович Аптуков; Михаил Денисович Марков; Фёдор Александрович Новиков; Данил Денисович Пестряков; Владимир Сергеевич Скворцов; Ильсаф Ильназович  Хамидуллин

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

Михаил Ильдусович Аптуков Санкт-Петербургский политехнический университет Петра Великого, ул. Политехническая, д. 8 лит. Б, 195251, Санкт-Петербург, Россия
Михаил Денисович Марков Санкт-Петербургский политехнический университет Петра Великого, ул. Политехническая, д. 8 лит. Б, 195251, Санкт-Петербург, Россия
Фёдор Александрович Новиков Санкт-Петербургский политехнический университет Петра Великого, ул. Политехническая, д. 8 лит. Б, 195251, Санкт-Петербург, Россия https://orcid.org/0000-0003-4450-0173
Данил Денисович Пестряков Санкт-Петербургский политехнический университет Петра Великого, ул. Политехническая, д. 8 лит. Б, 195251, Санкт-Петербург, Россия http://orcid.org/0009-0000-6877-5716
Владимир Сергеевич Скворцов Санкт-Петербургский политехнический университет Петра Великого, ул. Политехническая, д. 8 лит. Б, 195251, Санкт-Петербург, Россия http://orcid.org/0009-0001-0056-4805
Ильсаф Ильназович Хамидуллин Санкт-Петербургский политехнический университет Петра Великого, ул. Политехническая, д. 21, 194021, Санкт-Петербург, Россия

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

Ключевые слова: онтология, предметная область, грамматики, образование, формализация знаний

Аннотация

В данной работе рассматривается язык описания онтологий ONTOL V1: его концепция, структура и возможности. Разработанный язык предназначен для формализации знаний и их структурированного представления, которое опирается на три ключевых компонента: определение типов (сущностей предметной области), описание функциональных зависимостей и задание иерархических отношений. Подчеркивается масштабируемость представления знаний на языке ONTOL V1, которая достигается за счёт модульной организации описаний и и возможности их импорта в другие модули, описанные на языке ONTOL V1. Ключевые цели использования языка включают наглядную визуализацию онтологических моделей, их сериализацию для интеграции в другие приложения, а также обеспечение основы для последующей машинной обработки. Рассматриваются потенциальные области применения ONTOL V1, прежде всего в образовательном процессе, а также в более широком контексте задач представления и автоматизированного использования знаний

Биографии авторов

Михаил Ильдусович Аптуков, Санкт-Петербургский политехнический университет Петра Великого, ул. Политехническая, д. 8 лит. Б, 195251, Санкт-Петербург, Россия

Студент программы бакалавриата, высшая школа прикладной математики и вычислительной физики, физико-механический институт, СПбПУ, aptukovm@yandex.ru

Михаил Денисович Марков, Санкт-Петербургский политехнический университет Петра Великого, ул. Политехническая, д. 8 лит. Б, 195251, Санкт-Петербург, Россия

Студент программы бакалавриата, высшая школа прикладной математики и вычислительной физики, СПбПУ, mike.markov04@gmail.com

Фёдор Александрович Новиков, Санкт-Петербургский политехнический университет Петра Великого, ул. Политехническая, д. 8 лит. Б, 195251, Санкт-Петербург, Россия

Доктор техн. наук, профессор, высшая школа прикладной математики и вычислительной физики, физико-механический институт, СПбПУ, fedornovikov51@gmail.com

Данил Денисович Пестряков, Санкт-Петербургский политехнический университет Петра Великого, ул. Политехническая, д. 8 лит. Б, 195251, Санкт-Петербург, Россия

Аспирант, ассистент, высшая школа прикладной математики и вычислительной физики, физико-механический институт, СПбПУ, pestryakov.dd@edu.spbstu.ru

Владимир Сергеевич Скворцов, Санкт-Петербургский политехнический университет Петра Великого, ул. Политехническая, д. 8 лит. Б, 195251, Санкт-Петербург, Россия

Студент программы бакалавриата, высшая школа прикладной математики и вычислительной физики, физико-механический институт, СПбПУ, mail@vladimirskvortsov.com

Ильсаф Ильназович Хамидуллин, Санкт-Петербургский политехнический университет Петра Великого, ул. Политехническая, д. 21, 194021, Санкт-Петербург, Россия

Студент программы бакалавриата, высшая школа прикладной математики и вычислительной физики, физико-механический институт, СПбПУ, ilsaf.corp@gmail.com

Литература

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).