如何在Protégé中断言个体与类之间的关联？

OWL的对象属性本来就只能关联两个个体，没法直接把个体和类绑在一起。要实现你要的「John WorksIn Tesco」语义，有两种靠谱的方案：

方案1：给Tesco类建个代表个体 #

• 先给Tesco类创建一个个体（比如叫Tesco_MainStore，或者直接用Tesco当个体名，注意别和类名搞混就行）
• 打开「对象属性断言」面板，选个体John，对象属性Works_In，关联到这个Tesco的代表个体
• 这种方式最直观，完全符合OWL的语法规则，推理器能正常识别这个断言

方案2：用存在限定公理定义个体的属性约束 #

要是不想额外创建个体，就用类公理来表达John的属性：

• 找到个体John的「类型」设置，点击「Add Axiom」（添加公理）
• 选「Equivalent To」，然后构建表达式：Smith and (Works_In some Tesco)
• 这条公理的意思是：John属于Smith类，并且存在至少一个Tesco类的个体，和John有Works_In关联
• 推理器会基于这条公理推导出你要的语义，满足「John在Tesco类的实体工作」的逻辑

为啥数据属性不行？ #

数据属性是用来关联个体和字面量（比如字符串、数字）的，根本不是用来连个体和类的工具。你强行用数据属性绑定Tesco类的话，完全不符合OWL的语义规范，推理器自然没法正常工作。

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