如何在OWL2

Question

如果我的问题太基本，我很道歉，但经过一段时间寻找答案后，我无处可去，但在这里。

假设本体中的以下类（以OWL 2文件表示）：

<owl:Class rdf:ID="ClasseOne">
</owl:Class>

<owl:Class rdf:ID="ClasseTwo">
</owl:Class>

我所拥有的是ClassOne的1000个实例和ClassTwo的5000个实例。在我的现实中所有 ClassOne实例以相同的方式相关（假设关系被命名为“isRelatedTo”）到 all {{1>}实例1}}。

我的想法是声明一个类关系并在ClassTwo的声明中使用它，而不是让ObjectProperty在每个ClassOne实例中声明它的值。

如何做到这一点？

提前致谢！

Answer 1

除了包含/等价之外，类与OWL中的属性无关。通常，班级A的个人与班级B的个人相关联，例如p。 A(a1), B(b1), p(a1, b1)指出，a1个人A的{​​{1}}个p与b1个人B相关。

你可以通过使用带有OWL类表达式作为超类的子类公理来表达类似A的任何个体与B的个体之间存在关系p的东西，例如

Class: A SubClassOf: p some B

（在曼彻斯特OWL语法中）

请注意，这并不意味着相反，即方向很重要。