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

Question

可以根据与某个实例的属性关系推断出Wine。此实例是类Region的成员，但不会被本体进一步分类。因此，从本体论我们知道它是Region。

我可以创建一个名为Australian Wines的新推理类吗？当一个实例是Wine并且它与实例SydneyEastRegion具有属性关系时，它就属于该类。我不能让它工作，因为我只能根据实例由它所属的类定义的关系进行推断。因此，当实例＆＃39;悉尼地区＆＃39;是悉尼地区＆＃39;班级的成员。它确实有效。很想知道这是否可行。欢呼声。

example ontology

Answer 1

如果我理解了这种情况，你想说：

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

这应该是

AustralianWine subClassOf Wine and hasProperty value {AustralianRegion}

这是一个HasValue限制，它提供了一组明确的个体，而不是hasProperty的类范围。