基于属性的自动类类型推断

如何解决基于属性的自动类类型推断

如果我有四个类：库、函数、显示和信息。

还有两个属性：Requires 和 Provides。 其中两个属性的范围是类：信息。

我如何使用 protege 说：

• 如果一个对象既需要信息又需要提供信息，那么它是一个 类 Function 的实例。
• 如果一个对象只需要信息，那么它就是 班级展示。
• 如果一个对象只提供信息，那么它就是 类库。