Онтология и анимация прецедентов

В работе описана мета-онтология, предназначенная для накопления, классификации, контроля и поиска прецедентов, представляющих экземпляры конкретных ситуаций и сценариев, которые возникают при практической деятельности в той или иной предметной области. Особенностью онтологий, создаваемых на её основе, является наличие прагматических - алгоритмических, геометрических, предикатных, графовых - моделей понятий, с помощью которых, дополнительно к средствам логического вывода, можно осуществлять «анимацию» прецедентов для визуального контроля и поддержки принятия решений. Алгоритмические модели могут быть заданы формулой, программой, анимационным файлом в формате GIF. Геометрические модели задаются файлами в форматах XML, SVG, JPG и др. Графы также могут быть заданы в формате XML и ему подобных. Предикатные модели - это логические выражения, задаваемые в строковом виде. В результате синтаксического и семантического анализа текста формируется прагматическая семантическая модель, которая отображает атрибутивный граф ситуации или сценария. В этом графе вершинами являются предметы, процессы и отношения, а рёбрами - связи между ними. Описаны эксперименты с использованием системы Protege для разработки онтологий.