基於與實例的屬性關係的推論

Question

根據與某個實例的屬性關係推斷我們可以推斷一個Wine。此實例是類Region的成員，但未被本體進一步分類。所以從本體論我們知道它是一個Region。

它可以讓我做一個新的推理類叫Australian Wines？當它是Wine並且它與實例SydneyEastRegion有屬性關係時，此實例屬於此類。我無法得到這個工作，因爲我只能根據關係來推斷實例是由它所屬的類定義的。所以當這個實例的「悉尼地區」是「悉尼地區」類的成員時，它確實有效。很想知道這是否可能。乾杯。

example ontology

Answer 1

如果我理解正確的情況下，你要說：

的澳大利亞葡萄酒是葡萄酒，其hasRegion屬性爲澳大利亞地區（如澳大利亞地區是一個實例，而不是一類的地區）。

這應該是這樣的

AustralianWine subClassOf Wine and hasProperty value {AustralianRegion}

這是一個限制的HasValue，它提供了一個明確的個體集合，而不是一類範圍hasProperty。