Ontology 基于实例属性关系的推理

我们可以根据与某个实例的属性关系来推断

Wine

。此实例是类

区域

的成员，但不会被本体进一步分类。所以从本体论我们知道它是一个

区域

我是否有可能制作一个新的推理类，名为《澳大利亚葡萄酒》？当实例是

Wine

并且它与实例

SydneyEastRegion

具有属性关系时，它就属于此类。我无法实现这一点，因为我只能根据实例所属类定义的关系进行推断。因此，当实例“sydney region”是类“sydney region”的成员时，它确实起作用。我很想知道这是否可能。干杯

---

如果我正确理解情况，您希望说：

澳大利亚葡萄酒是hasRegion属性为澳大利亚地区的葡萄酒（其中澳大利亚地区是一个实例，而不是一类地区）

这应该是

AustralianWine葡萄酒和hasProperty value的子类{AustralianRegion}

这是一个HasValue限制，它为

hasProperty

提供了一组显式的个体，而不是类范围