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

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

和两个属性：Requires和Provides。 其中，两个属性的范围都是class:Information

我如何使用protege来表示：

• 如果一个对象既需要又提供信息，那么它就是一个 类函数的实例
• 如果一个对象只需要信息，那么它就是 课堂展示
• 如果一个对象只提供信息，那么它就是 类库

---

1）这与您前面的问题类似。您需要一个复杂的子类（在曼彻斯特语法中）：

（需要一些东西）和（提供一些东西）子类of:Function

。在Protege中，您必须使用此选项卡添加这样一个公理：2）和3）超出了标准OWL推理的范围，因为在OWL中存在开放世界假设。@UnformedUser我已经按照建议设置了它，现在有两个超类（需要一些东西）和（提供一些东西）。其中它们分别是属性（Requires）和（Provides）的域。我还有一个类（Function），它是（requires something）和（provides something）的子类，如果一个类同时在两个超类中，那么它将自动成为一个函数。我还希望有一个名为（Display）的（requires something）子类，如果对象是类（requires something）的实例，而不是类（function）的实例，那么它将成为该类的实例。这可能吗？我知道你现在做了什么。。。为什么是领域公理？还有，为什么

函数

是

（需要某些东西）和（提供某些东西）

的子类？正如我前面所说，这是错误的方向。在我的第一篇评论中，我已经展示了如何编写公理。不，再一次，开放世界假设在OWL中成立，否定没有帮助。拥有

（（p一些A）和（不是B））子类：C

不会使个人

x

与

p（x，y），A（y）

属于

C

-再次，请阅读开放世界假设的含义以及它在这里的重要性