Я пытаюсь создать онтологию для манипуляции когнитивной робототехникой с использованием протеже.Я хочу вычесть из онтологии, какой робот может выполнять какую задачу.Для выполнения задания робот должен быть свободным.Например: для перемещения объекта, если робот может поднять этот объект, и он свободен, чтобы он мог перемещать объект.При выполнении задания робот больше не свободен.Но свойство free является переменным, так есть ли способ определить его в онтологии?
Робот (? R), MovingObject (? X), ActsOnObject (? X,? Y), MovableObject (? Y), has_weight (? Y,? W1), Полезная нагрузка (? R,? W2), moreThan (? w2,? w1), freeRobot (? r, true) -> CanExecutes (? r,? x)