OWL存在限制和必要條件

Question

我創建一個使用protege05的本體論，我有一個關於屬性限制的問題。我從protege教程中瞭解到，當我們使用限制將一個屬性分配給一個類時，這意味着該屬性對於定義該類是必需的。

例如，假設我有類「東正教」和「保護區」和屬性「hasPart，我想說的是，‘一個東正教hasPart避難所’。

如果我使用存在限制顯然它會意思是「有避難所」是建築物成爲東正教會所必需的，或者如果建築物是東正教教堂，它必須總是有一個避難所（但它並不總是正確的）
所以我的問題是如何插入這個財產沒有它是必要的定義我的類？換句話說，我怎麼能說這個屬性是有時候對我的班級正確，但並不總是？

謝謝

Answer 1

你想使用東正教教堂作爲你的財產的領域 - 所以，當使用時，你會推斷建築物是一座教堂。它不會阻止你創建沒有保護區的教堂。

如果不更改域名，您可以創建一個'some haspartart Sanctuary'作爲'東正教教堂'的子類 - 一個充分但不是必要的條件。