我正在尝试使用protégé创建认知机器人操纵的本体。我想从本体中推断出哪个机器人可以执行哪个任务。要执行任务，机器人必须是自由的。例如：移动物体，如果机器人可以举起该物体并且他有空，那么他可以移动物体。在执行任务时，机器人不再是自由的。但是自由属性是可变的，因此有没有一种在本体中定义它的方法？
机器人（？r），MovingObject（？x），ActsOnObject（？x，？y），MovableObject（？y），hasweight（？y，？w1），有效载荷（？r，？w2），大于（ ？w2，？w1），freeRobot（？r，true）-> CanExecutes（？r，？x）