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

Авторы

  • Михаил Ильдусович Аптуков Санкт-Петербургский политехнический университет Петра Великого, ул. Политехническая, д. 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 et al., “PlantUML Language Reference Guide,” in plantuml.com, 2025. [Online] (in Russian). Available: https://plantuml.com/ru/guide

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

Загрузки

Опубликован

20.04.2025

Выпуск

№ 1 (2025)

Раздел

Информатика

Лицензия

Авторский договор

 

Материал публикуется под лицензией:

Creative Commons License

Creative Commons Attribution 4.0 International License.

Как цитировать

[1]
М. И. Аптуков, М. Д. Марков, Ф. А. Новиков, Д. Д. Пестряков, В. С. Скворцов, и И. И. Хамидуллин, «Язык описания онтологий ONTOL v1», Компьютерные инструменты в образовании, вып. 1, сс. 91–107, апр. 2025, doi: 10.32603/2071-2340-2025-1-91-107.

Похожие статьи

1-10 из 166

Вы также можете начать расширеннвй поиск похожих статей для этой статьи.

Наиболее читаемые статьи этого автора (авторов)