本体建模中子类与个体重名是否可行？如何用推理机推断has_style取值

你当前构建的本体模型如下：

• 你的核心建模逻辑是自洽可行的，通过两个数据属性的数值对比决定用户风格属性的匹配逻辑完全符合业务需求。
• 子类与个体使用相同名称不符合本体建模规范：OWL架构中类（层级概念）和个体（具体实例）属于完全不同的建模层级，同名会导致推理机识别歧义，也会降低本体的可维护性。优化建议可以删除style_active、style_passive两个同名子类，仅保留Style类下的两个同名个体即可，没有必要为单个实例单独创建对应子类。

可以通过推理机自动推断该属性值，需要借助SWRL规则实现，原生OWL公理不支持这类数值比较后关联实例的逻辑。
你可以在Protégé的SWRLTab中添加两条规则：

1. 匹配活跃风格的规则：
   Person(?p) ^ ind_active(?p, ?valA) ^ ind_passive(?p, ?valB) ^ swrlb:greaterThan(?valA, ?valB) -> has_style(?p, style_active)
2. 匹配被动风格的规则：
   Person(?p) ^ ind_active(?p, ?valA) ^ ind_passive(?p, ?valB) ^ swrlb:greaterThan(?valB, ?valA) -> has_style(?p, style_passive)
   配置完成后启用支持SWRL的推理机（如HermiT、Pellet），执行推理后就会自动为Person个体填充对应的has_style对象属性值。如果业务中存在两个数值相等的场景，可以额外补充规则定义默认匹配的风格即可。

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