本体中的类关联

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本体语言是OWL2，其中的各种子语言是OWL 2 EL,OWL 2 QL,OWL 2 RL,OWL 2 DL和OWL 2 Full（阅读OWL 2的新特性）。猫头鹰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 .

在OWL1中,不可能为注释属性定义域或范围,但现在在OWL2中可以定义：

# 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推理器不会在该输入上崩溃（更准确地说，我测试过的所有推理器都不会崩溃），所以实际上它是相当安全的。