The object of work is the verification of distributed knowledge in intelligent information systems.
The subject of research is the methods of knowledge verification using Semantic Web technology, descriptive model representation of ontological knowledge and methods of building web-based management systems of distributed heterogeneous resources, in particular, to support the educational and research processes.
Methods of research: the researches, carried out in the work, based on the integrated use of the theory of artificial intelligence and Semantic Web technologies, based on which the model of knowledge verification system was developed, according to the produced study of consortium "The World Wide Web Consortium"; usage of Internet-technologies for implementation of the proposed methods for verifying knowledge to web-based knowledge management systems.
The work describes the implementation of the proposed verification subsystems of knowledge based on SWRL-inference rules, the method of social verification and verification using data obtained from trusted and reliable sources. A software module that produces knowledge verification using SWRL-rules was developed.

VERIFICATION, ONTOLOGY, KNOWLEDGE BASE, SWRL, PROOF, TRUST


Целью работы является верификация онтологических знаний в распределенных интеллектуальных информационных систем.
Предметом исследования являются методы верификации онтологических знаний с использованием технологий Semantic Web, декларативные модели представления онтологических знаний и методы построения веб-ориентированных систем управления распределенными разнородными ресурсами, в частности, для поддержки образовательных и исследовательских процессов.
Методы исследования: исследования, проведенные в работе, основаны на комплексном использовании теории искусственного интеллекта и технологий Semantic Web, на основе которых была разработана модель системы верификации знаний в соответствии с концепцией "World Wide Web" консорциума; использование Интернет-технологий для реализации предлагаемых методов верификации в веб-ориентированных системах управления знаниями.
В работе описана реализация, предложенных в ходе исследований, подсистем верификации знаний на основе SWRL-правил вывода, метода социальной верификации и верификации с использованием данных, полученных из доверенных и достоверных источников. Разработан программный модуль, производящий верификацию знаний используя SWRL-правила.

VERIFICATION, ONTOLOGY, KNOWLEDGE BASE, SWRL, PROOF, TRUST


Метою роботи є верифікація онтологічних знань у розподілених інтелектуальних інформаційних систем.
Предметом дослідження є методи верифікації онтологічних знань з використанням технологій Semantic Web, декларативні моделі подання онтологічних знань і методи побудови веб-орієнтованих систем управління розподіленими різнорідними ресурсами, зокрема, для підтримки освітніх і дослідницьких процесів.
Методи дослідження: проведені в роботі дослідження, засновані на комплексному використанні теорії штучного інтелекту і технологій Semantic Web, на основі яких було розроблено модель системи верифікації знань у відповідності з концепцією "World Wide Web" консорціуму; використання Інтернет-технологій для реалізації запропонованих методів верифікації у веб-орієнтованих системах управління знаннями.
У роботі описана реалізація, запропонованих в ході досліджень, підсистем верифікації знань на основі SWRL-правил виводу, методу соціальної верифікації та верифікації з використанням даних, отриманих з довірених і достовірних джерел. Розроблено програмний модуль, що виконує верифікацію знань використовуючи SWRL-правила.

VERIFICATION, ONTOLOGY, KNOWLEDGE BASE, SWRL, PROOF, TRUST