如何在owlready2中为对象属性定义多个定义域？

错误写法原因分析 #

1. 第一种写法domain = [Car,Bike,House]
   owlready2中，domain列表里的多个元素默认是逻辑与关系，意味着属性的主语必须同时属于Car、Bike、House三个类，不存在符合该条件的实例，因此属性无法正常生效。
2. 第二种写法首先存在笔误，将class错写为cass；其次即使修正拼写，直接使用Car| Bike| House的并集写法在domain定义场景下不被识别，owlready2中需要用Or()函数显式声明逻辑并集。

正确实现方式 #

方式1：定义属性domain为三类的并集

适用于需要约束所有has_color属性的主语只能是Car/Bike/House的场景，完整示例代码如下：

from owlready2 import *
# 创建本体
onto = get_ontology("http://example.org/test.owl")

with onto:
    # 预先定义所有依赖的类
    class Car(Thing): pass
    class Bike(Thing): pass
    class House(Thing): pass
    class Color(Thing): pass

    # 定义对象属性
    class has_color(ObjectProperty):
        domain = [Or([Car, Bike, House])]
        range = [Color]

方式2：给每个类单独加属性约束

适用于需要强制每个Car/Bike/House实例都拥有至少一个颜色属性的场景，不需要定义属性的domain：

from owlready2 import *
onto = get_ontology("http://example.org/test.owl")

with onto:
    class Color(Thing): pass
    class has_color(ObjectProperty):
        range = [Color]

    # 给每个类添加属性限制
    class Car(Thing):
        is_a = [has_color.some(Color)]
    class Bike(Thing):
        is_a = [has_color.some(Color)]
    class House(Thing):
        is_a = [has_color.some(Color)]

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