Result: On the approach to ensuring the property transitivity in web ontologies

Статья посвящена проблемам представления знаний в виде веб-онтологий. Актуальность исследования обусловлена двумя факторами. С одной стороны, в рамках развития концепции семантического веба за последние годы создано большое число OWL-онтологий и RDF-наборов данных. С другой стороны, язык OWL имеет ряд ограничений, которые не всегда позволяют представить знания предметной области адекватно. Например, SPARQL-запросы, использующие транзитивные свойства языка OWL, могут создавать своего рода «петли» и возвращать некорректную информацию. В данной статье показано, что в некоторых случаях предпочтительно отказаться от использования транзитивности свойств в онтологии, и предложен алгоритм обхода связанных сущностей, позволяющий решить проблему «петель». В качестве примера, иллюстрирующего эту проблему, рассматривается веб-приложение «Направления подготовки высшего образования РФ». Приложение разработано на основе RDF-набора данных, который содержит информацию из официальных открытых документов Министерства образования и науки РФ за период с 2001 года до наших дней о научных специальностях, направлениях подготовки бакалавров, магистров и аспирантов, специальностях высшего образования РФ. Для установления соответствия между специальностями, действующими в РФ в разные годы, в RDF-наборе данных используется транзитивное свойство equalsTo. Хотя разработанный алгоритм сформулирован и использован в терминах конкретной предметной области для решения проблемы отдельного приложения, он достаточно универсален и может быть применен веб-разработчиками для решения проблемы транзитивности в RDF-наборах данных других предметных областей. The article focuses on the issues of knowledge representation in the form of web ontologies. The relevance of the study is due to the two factors. On the one hand, a large number of OWL ontologies and RDF datasets have been created as part of semantic web concept development in recent years. On the other hand, the OWL language has a number of limitations that do not always allow adequate representation of domain knowledge. For example, SPARQL queries that use the transitive properties of the OWL language can create some kind of "loops" and return incorrect information. This article demonstrates that in some cases it is preferable not to use the transitivity of properties in the ontology. The algorithm for traversing related entities, which enables solving the problem of “loops”, is proposed. To illustrate the issue, we use "Higher educational programs of Russian Federation" web application. This application is developed on the basis of the RDF dataset which contains information about scientific specialties, bachelor’s, master’s and postgraduate programs obtained from publicly available official documents of the Ministry of Science and Higher Education of the Russian Federation since 2001. To set up a correspondence between the fields of studies that have existed over the years in the Russian Federation, equalsTo transitive property is employed in the RDF dataset. Although the developed algorithm is formulated and used in terms of a specific domain to solve the problem of a particular application, it is quite universal and can be applied by web developers to solve the problem of transitivity in RDF datasets of other domains.