使用 SPIN 将默认值设置为属性

Question

我是 SPIN 的新手。我想知道将它用于以下目的是否有意义。假设我有以下类层次结构：

ex:Vehicle
 ex:Car
   ex:Sedan

某些类将属性owl:equivalenClass 设置为某个值，例如：

ex:Vehicle
 owl:equivalentClass wd:MeanOfTransportation 
ex:Sedan
  owl:equivalentClass wd:Sedan 

如果owl:equivalentClass 未设置为值，则应采用其父类的值。在上面的例子中：

ex:Car
  owl:equivalentClass wd:MeanOfTransportation 

这可以通过 SPIN 来完成吗，在我的例子中使用 TopBraid？

Answer 1

将 SPIN 用于这些目的是有意义的，因为 SPIN 推理引擎是 TopBraid Composer 免费版中唯一可用的推理引擎。

在其他 TopBraid Composer 版本中，适当性以及获得的结果可能会因您的 inferencing configuration 而有所不同（推理 > 配置推理）。

规则是：

rdfs:Class spin:rule [
    rdf:type sp:Construct ;
    sp:text """
    CONSTRUCT {
        ?this owl:equivalentClass ?equivalentClass .
    }
    WHERE {
        ?this rdfs:subClassOf ?superClass .
        ?superClass owl:equivalentClass|^owl:equivalentClass ?equivalentClass .
        FILTER NOT EXISTS {
            ?this owl:equivalentClass|^owl:equivalentClass [] .
        } 
    } """ 
] .

请注意，此 SPIN 规则附加到 rdfs:Class ：实例化所有这些 ex:Car、ex:Vehicle 的类。 ?this 是一个特殊变量，它引用这个类的“当前”实例。

您的情况似乎无法使用spl:InferDefaultValue SPIN 模板，因为spl:InferDefaultValue 不接受SPARQL 变量作为其spl:defaultValue 参数。