Protege中配置EVChargerDeviceFunction控制两类Command的方法咨询

结论 #

你提到的操作是正确的，完全符合OWL本体的设计规范。

具体原因 #

• 子属性会完全继承父属性的约束特征：你新建的属性是hasCommand的子属性，天然满足父属性的定义域为Function、值域为Command的基础约束，你给该子属性单独设置定义域为EVChargerDeviceFunction、值域为CancelSetpointCommand和SetPowerSetpointCommand的并集，属于对属性约束的收窄细化，不会和父属性的规则产生冲突。
• 这种设计的语义清晰度更高：你可以给这个子属性命名为更贴合业务场景的名称，比如hasEVChargerControlCommand，后续推理器运行时，可以自动判定所有通过该属性关联的主体都属于EVChargerDeviceFunction类，关联的客体都属于两类充电桩控制命令类，不需要额外编写推理规则。
• 如果不想新增属性，你也可以选择直接给EVChargerDeviceFunction类添加类公理：hasCommand only (CancelSetpointCommand or SetPowerSetpointCommand)，也能达到相同的约束效果，不过新增子属性的方案扩展性更强，后续如果其他Function子类需要定义专属的命令约束时，不会互相干扰。

内容的提问来源于stack exchange，提问作者Michael Effraimidis