两个类定义的交集答案

【问题标题】：intersection of two class definition两个类定义的交集
【发布时间】：2020-06-30 07:34:46
【问题描述】：

a 和 b 类定义如下：

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

【问题讨论】：

既然 prop2 对所有 3 个子类都是通用的，那你为什么不把它变成 owl 的 prop... 然后 a、b 和 c 将继承它。并且知道您使用的是哪种语言，但是在 python 中，您可以基于两个类创建一个类class c (a, b):
@SaulVP 这在 OWL 中不是一个有用的方法。

【解决方案1】：

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

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

【讨论】：