owl - 两个类定义的交集

Question

类a，b定义如下：

如您所见，这两个类都有公理：prop2 some rdfs:literal 我需要c基于aand定义类b（例如通过使用and, or, not），以便将这个公理作为其定义。

标签： owlontologyprotegepellet

Answer 1

您可以定义c为a and b- 因为该类prop2 some rdfs:Literal将始终属于两个类的交集。

c然而，声明subclass of prop2 some rdfs:Literal，然后声明 subclass aofc和bsubclass of会更直观c。是否有理由迫使您c根据a而b不是相反来定义？