Действия в сове, моделирование
Я прочитал это руководство и думаю, что хорошо его понимаю. Я понимаю, что есть классы и экземпляры классов и другие.
В основном у меня есть много утверждений, которые я должен проверить против онтологии. Например: Eshtablish флаг в "области" к 06:00.
Пример 2: установите забор между областью 1 и областью 2 к 05:00. и поэтому я знаю, например, область является экземпляром класса, но может быть очень много областей. Я знаю, что 0500 - это свойство данных вещи, в частности, области.
Вопрос в том, что я не могу понять, как смоделировать действия, подобные "Eshtablish" выше, в сову.
Я также предполагаю, что мне нужен аргумент для проверки этих утверждений в реальном времени (таких как выше), которые приходят от клиента против онтологии. Это предположение верно?
Другое дело, что бета-версия Protege (последняя) не может загружать онтологии, даже те, которые она создала, у вас есть эта проблема. Я иду на старую версию.
Спасибо