Protege：根据属性创建新类

Question

因此，我想按照标题的建议进行操作，而无需手动重写所有内容。这就是我想要的Protege术语：

给出文件所在的位置：

• A类MyClass
• MyClass的某些实例
• 某些值V_i，例如每个I：I hasMyAttribute V_i

我正在寻找一种创建此新文件的方法：

• A类MyClass
• 一个MyAttributeClass类
• MyAttributeClass的V_i子类，其中V_i是hasMyAttribute的值
• 现在，如果在原始文件中我具有MyAttribute V_i，则我是V_i子类的实例

这可能吗？ 预先感谢。

Answer 1

由于没有其他答案，我将描述解决该问题的方法。 我做了一些手工工作：

1. 我添加MyAttributeClass
2. 我逐个添加V_i子类
3. 在“说明”标签上，我定义“等于：” hasMyAttribute值V_i
4. 启动推理机（在我的情况下是隐士）
5. 文件->导出推断的公理

希望会有所帮助。