Protege 中有没有办法模板类/子类公理包含？
假设我有一个类，例如 FinancialProduct，它定义了 10 个公理。现在我想创建一个“衍生”类，比如 InitiateFinancialProduct，它只有 8 个这样的公理，但其他方面是相同的。
我可以简单地复制 FinancialProduct 类并重命名它并删除 2 个不需要的公理，但这既麻烦又令人头疼。
理想情况下，我想要一种可以将两者联系起来但禁用我不需要的公理的方法。关于如何做到这一点的任何建议？
Protege 中有没有办法模板类/子类公理包含？
假设我有一个类，例如 FinancialProduct，它定义了 10 个公理。现在我想创建一个“衍生”类，比如 InitiateFinancialProduct，它只有 8 个这样的公理，但其他方面是相同的。
我可以简单地复制 FinancialProduct 类并重命名它并删除 2 个不需要的公理，但这既麻烦又令人头疼。
理想情况下，我想要一种可以将两者联系起来但禁用我不需要的公理的方法。关于如何做到这一点的任何建议？