Доклад посвящён работе над системой OWL-онтологий для формального представления и рассуждения о терминологическом знании и фактах в петрологии [1, 2]. Долгосрочная цель исследования состоит в том, чтобы обеспечить прочный фундамент для высокого уровня интеграции различных видов петрологических знаний, включая определения основных терминов, алгоритмы классификации горных пород, результаты и отчеты о научных исследованиях. В докладе обсуждаются три шага, сделанные в этом направлении.

Во-первых, рассматривается разработанный полуавтоматический способ преобразования базы данных сведений об образцах магматических горных пород в тексты на ограниченном естественном языке (CNL), и затем в коллекцию онтологий OWL [3].

Во-вторых, обсуждается созданная OWL-онтология важных терминов петрологии, в настоящее время описанных в словарях на естественном языке. Описывается опытный образец среды сбора определений от экспертов предметной области [4].

В-третьих, рассматривается подход к формализации текущих отраслевых стандартов для классификации образцов горных пород [5], которая требует линейных неравенств в OWL 2 [6].

В заключение обсуждается в общих чертах возможное направление развития работ в этой области.

В препринте [7] и статье [8] более детально описаны результаты и обсуждается диапазон возможностей использования семантических технологий в петрологии.

Презентация доклада в формате PDF: shkotin20120329.pdf.

Литература:

1. Le Maitre, L.E., ed. 2002. Igneous Rocks: A Classification and Glossary of Terms 2nd edition, Cambridge. http://amigoreader.com/book/?b=29372
2. Gillespie, M R, and Styles, M T. 1999. BGS Rock Classification Scheme, Volume 1, Classification of igneous rocks. British Geological Survey Research Report, (2nd edition), RR 99–06. http://www.bgs.ac.uk/bgsrcs/
3. "БД Проба. Онтология. Промежуточный отчёт. Осень 2008", ГГМ РАН. https://sites.google.com/site/alex0shkotin/formal-geology/bd-proba-ontologia
4. "Онтология словаря научных терминов. Промежуточный отчёт. Осень 2009", ГГМ РАН. https://sites.google.com/site/alex0shkotin/formal-geology/ontologia-slovara-naucnyh-terminov
5. "Алгоритм классификации магматических горных пород и формальное определение вида горной породы. Исследовательский отчёт. Осень 2010", ГГМ РАН. https://sites.google.com/site/alex0shkotin/formal-geology/acmgp-september
6. OWL 2 Web Ontology Language. Data Range Extension: Linear Equations. http://www.w3.org/TR/owl2-dr-linear/
7. A. Shkotin, V. Ryakhovsky, D. Kudryavtsev. Towards OWL-based Knowledge Representation in Petrology, SGM RAS, 2011. http://arxiv.org/abs/1106.1510
8. Ряховский В.М., Шкотин А.В., Ряховский А.В. Онтология реляционной базы данных "Проба", с. 50-58, "Мониторинг. Наука и технологии", 3(4) 2010, Республика Дагестан, г. Махачкала.