class 的保护限制

Question

我使用 Protege 创建了一个本体。 我创建了一个对称的 object 属性“IsMarriedWith”。 我想为未婚人士创建一个新的 class“单身”，我尝试使用此表达式在 Class 表达式编辑器中添加限制

not IsMarriedWith

但这对我不起作用，所以我可以仅使用我拥有的 object 属性执行此操作吗？（我的意思是不添加名为“Single”的新 object 属性）

Answer 1

您可以按如下方式定义Married和Single类：

Class: Married
SubClassOf:
   isMarriedWith exactly 1 Thing


Class: Single    
SubClassOf:
   isMarriedWith max 0 Thing

对于Married的定义，我假设一个人只能与另外一个人结婚。 这意味着，如果您的个人x与 2 个不同的个人y和z结婚，则x不会被归类为已婚。 如果您想允许一个人与超过 1 个人结婚，您可以使用：

Class: Married
SubClassOf:
   isMarriedWith some Thing

对于Single ，个人可以结婚的个人数量最多设置为 0。要说个人x未婚，您需要指定：

Individual: x
Type: isMarriedWith max 0 Thing 

有关更多信息，您可以访问我的博客将 UML 转换为 OWL 。