我们已经看到了一些核心的 OWL 关系的实例，比如“Domain（领域）”和“Range （范围）”，接下来我们将探讨那些进一步对本体中的类进行限定和约束的语义关系。

Disjoint With（互斥于/与……不相交）

Disjoint With（互斥于/与……不相交）语义关系描述的是：一个元素不能同时是 MeatTopping（肉类配料） 类和 VegetableTopping（蔬菜配料） 类的实例。该本体显式地定义了类与实例之间的关系，从而确保人类和计算机都能理解我们所描述领域的规则。

Complement Of（补集关系）

“Complement Of（互补于）关系描述的是这样一种类别的概念：位于关系箭头那一端的类，其个体恰好是不属于关系直线那一端的类的那些个体。它类似于逻辑上的否定：该类的扩展由那些 不属于互补类扩展的个体组成。

在这个例子中，海鲜（Seafood）配料和肉类（Meat）配料都不是素食（Vegetarian）配料。

Union Of（联合）

在该示例中，素食配料 OWL 类与多种“素食”配料相关联，包括蔬菜和香草香料配料。这种关系的箭头指向更通用的类别之外。

在这个示例中，Vegetarian Topping（素食配料）这个 OWL 类连接到了多个‘素食'配料，包括 Vegetable（蔬菜类配料）和 Herb Spice Topping（香草香料配料）。关系箭头的方向是从更通用的类指向更具体的类。”