taxonomy - 本体中的关联类

Question

我在我的本体中遇到了与类(而不是个人)相关的问题。我需要知道是哪一个
OWL(full-dl-lite) 允许关联类。
我的意思是属性的域和范围是 http://www.w3.org/2002/07/owl#Class .
有可能这样做吗？
感谢您的任何提示。

Answer 1

首先，忘记 http://www.w3.org/TR/owl-guide/ 处的规范, http://www.w3.org/TR/owl-ref/和 http://www.w3.org/TR/owl-semantics/ . Web Ontology Language 的官方推荐是 OWL 2 ，其中各种子语言是 OWL 2 EL、OWL 2 QL、OWL 2 RL、OWL 2 DL 和 OWL 2 Full(阅读 new features of OWL 2)。 OWL Lite 已不复存在，应该永远被遗忘。

其次，在 OWL(1 和 2)中，总是可以使用注释属性关联类，就像在 Turtle 中这样:

# valid in all variants and OWL 1 and OWL 2
:prop  a  owl:AnnotationProperty .
:C1  a  owl:Class .
:C2  a  owl:Class;
     :prop  :C2 .

在 OWL 1 中，无法为注释属性定义域或范围，但现在可以在 OWL 2 中:

# works in all variants of OWL 2
:prop  a  owl:AnnotationProperty;
       rdfs:domain  owl:Class;
       rdfs:range  owl:Class .

您的另一种选择是依赖“双关语”的概念，即使用个人的类的 IRI，如下所示:

# works in all variants of OWL 2
:prop  a  owl:ObjectProperty .
:C1  a  owl:Class .
:C2  a  owl:Class;
     :prop  :C2 .

但是，您不能使用 owl:Class作为对象属性的域或范围。最后一种可能是不关心和使用 OWL (1/2) Full:

# works in OWL 1 Full, OWL 2 Full
:prop  rdfs:domain  owl:Class;
       rdfs:range  owl:Class .
:C1  a  owl:Class;
     :prop  :C2 .

请注意，大多数 OWL DL 推理器不会在该输入上崩溃(更准确地说，我测试过的所有推理器都不会崩溃)，因此实际上非常安全。