Protege中两类类间属性关联规则的建模方法咨询

问题1：表述任意A实例与任意B实例通过属性p关联 #

要实现类A的每个实例都通过对象属性p关联到类B的所有实例（即A×B的所有组合都满足a p b），分两种场景处理：

场景1：本体中B为枚举类（有具体个体） #

1. 确保对象属性p的定义域设为A，值域设为B（在Protege的「Object Properties」标签下编辑p的特征）。
2. 切换到「Classes」标签，选中类A。
3. 在「Description」面板的「Subclass Of」区域，点击加号打开类表达式编辑器。
4. 对每个已声明的B实例b₁、b₂…，依次添加公理：ObjectHasValue(p, b₁)、ObjectHasValue(p, b₂)…。
   这样所有A实例会自动关联所有已声明的B实例。

场景2：B为非枚举类（开放世界假设） #

OWL DL无法直接强制“所有B实例都被A实例关联”（开放世界中可能存在未声明的B实例），若使用OWL Full，可添加自定义通用公理：

SubClassOf(A ObjectAllValuesFrom(ObjectInverseOf(p) B))
SubClassOf(B ObjectAllValuesFrom(p A))

在Protege中操作：

1. 切换到「Ontology」标签，点击「Axioms」面板的加号，选择「General Axiom」。
2. 输入上述OWL公理内容，启用OWL Full模式（在「File」>「Preferences」>「OWL」中设置）。

问题2：表述任意A实例与C实例间存在B实例作为中间节点 #

要实现：任意A实例a和C实例c，必存在B实例b使得a p1 b且b p2 c，推荐使用SWRL规则或OWL类公理：

方法1：使用SWRL规则（更直观） #

1. 确保已安装Protege的SWRL插件，切换到「SWRLTab」。
2. 点击加号添加规则，输入：

A(?a) ∧ C(?c) → B(?b) ∧ p1(?a, ?b) ∧ p2(?b, ?c)

推理机将根据该规则，在检测到A和C实例时自动推断存在符合条件的B实例（或验证现有实例是否满足）。

方法2：使用OWL类公理 #

1. 切换到「Classes」标签，选中类A。
2. 在「Description」面板的「Subclass Of」区域，点击加号打开类表达式编辑器。
3. 构建嵌套类表达式：

   ObjectAllValuesFrom(ObjectInverseOf(p2), ObjectSomeValuesFrom(p1, A))
   

   该公理的含义是：每个A实例，所有通过inv(p2)关联的个体（即C实例c），都对应一个通过p1关联到A实例的B实例b，等价于需求中的存在性条件。

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