Формальные аспекты взаимосвязи УФО-подхода и языка представления онтологий RDF

Кондратенко, А. А.; Маторин, С. И.

Формальные аспекты взаимосвязи УФО-подхода и языка представления онтологий RDF

Дата публикации: 2016

Дата публикации в реестре: 2024-04-15T10:11:02Z

Аннотация:

Формулируется классификация фактов, извлечение которых из УФО-модели, необходимо в целях построения основы онтологии. С учетом данной классификации разрабатывается формальное обоснование и правила извлечения данных из УФО-модели. Для каждой группы фактов из классификации приводится формализованное описание на основе одного или сочетания нескольких средств формализации УФО-моделей, таких как теория паттернов Гренандера и исчисление процессов Милнера. Обосновывается возможность преобразования УФО-моделей в онтологии, представленные на языке RDF

Ключевые слова:
техника, вычислительная техника, электронные вычислительные машины, УФО-подход, системно-объектный подход, онтология, онтологический инжиниринг, RDF

Тип: Article