Protege(OWL)对象属性断言异常：无法添加两个个体

嘿，我来帮你搞定这个Protege里的对象属性问题！首先得明确：OWL里的对象属性本身就是二元关系，所以你想表达的proper(A,B)是完全合法的，你遇到的问题大概率是操作方式不对，或者属性的约束设置出了问题。下面分步骤给你排查解决：

一、检查属性的基数约束 #

如果你的proper属性被设置了最大基数为1的约束（比如在某个类的属性限制里添加了max 1 proper），Protege就会限制该类下的个体只能有一个proper属性值。你可以这么检查：

• 切换到"Classes"标签页，找到个体A、B所属的类
• 在右侧的"Description"面板里，查看"Object property restrictions"部分，有没有类似owl:maxQualifiedCardinality 1 owl:onProperty :proper的公理
• 如果有，删掉这条不必要的约束，或者根据需求调整基数（比如改成min 1或者不设置基数限制）

二、正确添加对象属性断言的操作步骤 #

在Protege可视化界面中，正确添加proper(A,B)的方式很简单：

• 切换到"Individuals"标签页，选中个体A
• 在右侧面板找到"Object property assertions"模块，点击"+"按钮
• 在弹出的窗口中：
  1. 先选择属性proper
  2. 在"Filler"下拉框里选中个体B
  3. 点击"OK"确认，这样就完成了A 通过 proper 关联到 B的断言
• 验证：选中个体B，在它的"Object property assertions"里也能看到这条关联（如果属性是双向的会直接显示，单向的话可以通过"Asserted object properties"面板查看）

三、用OWL代码直接修正 #

如果你习惯用代码编写本体，只需在你的代码里添加这条对象属性断言即可：

:A :proper :B .

同时检查代码里有没有错误的基数公理，比如类似下面的内容要删掉或调整：

:Person owl:maxQualifiedCardinality 1 owl:onProperty :proper .

额外提醒：确认属性类型 #

最后要确认proper的类型是ObjectProperty，而不是DatatypeProperty。数据属性是用来连接个体和字面量（比如字符串、数字）的，只有对象属性才能连接两个个体。你可以在"Object properties"标签页里找到proper，确认它的类型是owl:ObjectProperty。

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