А.П. Халов1, О.М. Атаева2, Н.П. Тучкова3

1-3 ФИЦ ИУ РАН (Москва, Россия)

1 khalov.a@phystech.edu, 2 oataeva@frccsc.ru, 3 ntuchkova@frccsc.ru

Постановка проблемы. В работе исследована проблема интеграции данных и организации поиска по ним на основе модульной онтологии SciLib.

Цель. Разработать модульную онтологию SciLib, реализующую трёхуровневое разделение семантики научных объектов на интерпретацию, репрезентацию и ресурс с формализацией контекстно-зависимой истинности.

Результаты. Предложена онтология SciLib на языке OWL/DL. Реализована модель контекстно-зависимого значения «истинности» через реификацию класса TruthAssessment. Проведена материализация графа знаний на данных MathLib (Lean 4): построена таксономия доменов, выполнено сопоставление объектов с классами онтологии и сформированы мультимодальные RDF-представления.

Практическая значимость. Рассмотренный подход обеспечивает формальную основу для интеграции разнородных научных данных с сохранением трассируемости интерпретаций и воспроизводимости вычислительных артефактов.

Халов А.П., Атаева О.М., Тучкова Н.П. От синтаксиса к семантике: онтология формализации научного знания SciLib // Системы высокой доступности. 2026. Т. 22. № 1. С. 65−70. DOI: https://doi.org/10.18127/j20729472-202601-13

1. Lange C. Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web. Semantic Web. 2013. V. 4. № 2. P. 119–158.
2. Zheng Y. et al. AI4Research: A Survey of Artificial Intelligence for Scientific Research. arXiv preprint arXiv:2310.08000. 2023.
3. Wiedijk F. The De Bruijn Factor. Technical Report. Radboud University. 2000.
4. Ying S. et al. Lean 4 and MathLib: Formalization of Mathematics. arXiv preprint arXiv:2406.03847. 2024.
5. Атаева О.М., Серебряков В.А. Онтология цифровой семантической библиотеки LibMeta // Информатика и её применения. 2018. Т. 12. Вып. 1. С. 2–10.
6. Атаева О.М., Серебряков В.А., Тучкова Н.П. Подходы к организации математических знаний при формировании предметных тезаурусов различных разделов математики // Научный сервис в сети Интернет: труды XX Всерос. науч. конф. М.: ИПМ им. М.В. Келдыша. 2018. С. 42–54.
7. Атаева О.М., Серебряков В.А. Основные понятия формальной модели семантических библиотек и формализация процессов интеграции в ней // Программные продукты и системы. 2015. № 4 (112). С. 180–187.
8. Peroni S., Shotton D. The SPAR Ontologies. Proc. 17th Int. Semantic Web Conf. (ISWC 2018). Springer. 2018. P. 119–136.
9. Brack A. et al. Requirements Analysis for an Open Research Knowledge Graph. arXiv preprint arXiv:2005.10334. 2020.
10. David C. et al. Publishing Math Lecture Notes as Linked Data. Proc. CICM 2010. Springer. 2010. P. 370–375.
11. Nevzorova O. et al. OntoMathPRO Ontology: A Linked Data Hub for Mathematics. Proc. KESW 2014. Springer. 2014. P. 105–119.
12. Dehaye P.-O. et al. Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. Proc. CICM 2016. Springer. 2016. P. 117–131.
13. Menotti L. et al. Provenance-driven nanopublications. Int. J. on Digital Libraries. 2025. V. 26. Art. 24.