OWL存在限制和必要条件

Question

我正在使用protege05创建一个本体，我对属性限制有疑问。我从protege教程中了解到，当我们使用限制将属性赋值给类时，这意味着此属性是定义该类所必需的。

例如，假设我有“东正教会”和“圣所”课程，以及“有部分，我想说”东正教会有部分圣所“。

如果我明显地使用存在性限制，那将意味着“拥有避难所”是建筑物成为东正教所必需的，或者如果建筑物是东正教会，它必须总是有一个避难所。（但这并不总是正确的）。
所以我的问题是如何在不需要定义我的类的情况下插入此属性？换句话说，我怎么能说这个属性对我的班级来说有点正确但不总是这样？

由于

Answer 1

您希望使用东正教会作为您的财产的域名 - 因此，在使用时，您将推断该建筑物是一座教堂。它不会阻止你创建没有避难所的教堂。

在不更改域名的情况下，您可以使用＆＃39; some havePart Sanctuary＆＃39;作为东正教教会的一个子类。 - 足够但不必要的条件。