Protege 5.0-OWL：如何通过sameAs属性关联其他属性实现推理？

嘿，作为本体设计的新手，你这个需求其实用SWRL规则就能轻松搞定，不用一开始就纠结sameAs或者rollification那些相对复杂的概念。咱们一步步来实现：

咱们的目标很明确：当一个Person和某个Expert的hasCertification、hasExpertise、hasFieldOfPractice三个属性值完全匹配时，自动把这个Expert的recommendedBooks和isInExpertCommunity属性值“复制”给这个Person。SWRL（Semantic Web Rule Language）刚好就是用来处理这种“条件触发动作”的推理场景，非常直观。

在写规则之前，先检查下你的属性配置是否正确：

• 确保hasCertification、hasExpertise、hasFieldOfPractice这三个对象属性的基数设置符合你的需求：如果每个个体只能有一个对应属性值（比如一个人只有一个认证等级），就设为1..1（必填且唯一）；如果允许多值，就设为0..*。
• recommendedBooks和isInExpertCommunity要设为多值属性（0..*），因为一个Expert可能推荐多本书、加入多个社区，Person继承后也需要支持多值。
• 确认Expert是Person的直接子类，这样Person的属性Expert都会继承，规则里的类型判断才会生效。

打开Protégé的SWRLTab（如果没装的话，先通过插件市场安装），添加以下两条规则：

规则1：继承推荐书籍 #

Person(?p) ^ Expert(?e) ^ 
hasCertification(?p, ?c) ^ hasCertification(?e, ?c) ^ 
hasExpertise(?p, ?ex) ^ hasExpertise(?e, ?ex) ^ 
hasFieldOfPractice(?p, ?f) ^ hasFieldOfPractice(?e, ?f) ^ 
recommendedBooks(?e, ?b) 
-> recommendedBooks(?p, ?b)

规则2：继承社区信息 #

Person(?p) ^ Expert(?e) ^ 
hasCertification(?p, ?c) ^ hasCertification(?e, ?c) ^ 
hasExpertise(?p, ?ex) ^ hasExpertise(?e, ?ex) ^ 
hasFieldOfPractice(?p, ?f) ^ hasFieldOfPractice(?e, ?f) ^ 
isInExpertCommunity(?e, ?com) 
-> isInExpertCommunity(?p, ?com)

规则解释：

• ?p、?e、?c这些是变量，代表任意的Person、Expert、认证实例等。
• 规则的前半部分是条件：当存在一个Person和一个Expert，他们的三个属性值完全匹配，且这个Expert有某本推荐书/某个社区。
• 后半部分是动作：推理机自动给这个Person添加对应的推荐书/社区属性。

1. 创建你例子里的个体：
   • Mr.A（类型Person）：设置hasFieldOfPractice为computer_science，hasCertification为B，hasExpertise为very_low。
   • Expert5（类型Expert）：设置和Mr.A完全相同的三个属性，再添加recommendedBooks为book1、book6，isInExpertCommunity为community4。
2. 选择支持SWRL的推理机（比如Pellet、HermiT），运行推理。
3. 查看Mr.A的属性，你会发现它自动拥有了book1、book6这两本推荐书，以及community4这个社区属性。

• 如果一个Person匹配多个Expert（比如有两个Expert的三个属性都和这个Person一致），推理机会自动把所有Expert的推荐书和社区都继承给这个Person，完全符合你的需求。
• 如果你的属性是多值的（比如一个人有多个认证），想要实现“所有属性值都完全匹配”，可以调整SWRL规则，用swrlb:equals或者集合匹配的函数，不过单值场景下上面的规则就足够用了。

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