在海龟或RDF中，我可以在所有符合条件的主题上添加谓语/宾语吗？

Question

我正在做一些实验，在Tomcat中的openrdf workbench webapp中导入用turtle语言编写的三元组，它包含了一个SPARQLendpoint。

我想知道如果有了海龟，或者，一般来说，在RDF/RDFS中，是否有可能在所有（隐式）主体上有条件地添加某个谓词/对象声明，以证明另一个谓词/对象的存在。

例如，如果我定义了以下三元组：

foo:a foo:b foo:c
foo:d foo:b foo:c
foo:e foo:b foo:c
foo:f foo:b foo:c

我想自动将以下谓词/主语添加到与谓词=foo:b和object=foo:c匹配的所有主语中：

(implicit subject) foo:g foo:h

为了自动生成以下三元组：

foo:a foo:g foo:h
foo:d foo:g foo:h
foo:e foo:g foo:h
foo:f foo:g foo:h

这可能吗？

或者：有没有办法定义一些三元组，以便SPARQL在查询具有谓语/对象的主题时能够找到foo： a/d/e/f？

Answer 1

您可以使用OWL和以下形式的公理进行这种类型的推理

p值a⊑ q值b

也就是说，如果某个东西的a作为属性p的值，那么它也有b作为属性q的值。举个例子，这里有一个本体论，有四个个体（a，b，c，d），两个对象属性（p，q）和公理（p值c q值d）。

@prefix :      <http://example.org/add-predicate-object#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

<http://example.org/add-predicate-object> a owl:Ontology .

:p a owl:ObjectProperty .
:q a owl:ObjectProperty .

[ a owl:Restriction ;
  owl:onProperty :p ;
  owl:hasValue   :c ;
  rdfs:subClassOf [ a owl:Restriction ;
                    owl:onProperty :q ;
                    owl:hasValue   :d ] . ] .

:a a owl:Thing, owl:NamedIndividual ; :p :c .
:b a owl:Thing, owl:NamedIndividual ; :p :c .
:c a owl:Thing, owl:NamedIndividual .
:d a owl:Thing, owl:NamedIndividual .

在Protégé中，公理如下：

您可以启用推理器并查询q值d的实例，请参见：

或者，您可以浏览到个人并查看结果：

Answer 2

问题的第一部分可以通过以下两种方式之一解决：

1. 使用推理
2. 使用SPARQL更新

推断是一种技术，通过这种技术，您可以定义基于现有三元组推断额外三元组的规则。您通常要么使用预定义的规则集，要么使用自己的自定义规则。我认为芝麻只支持开箱即用的预定义规则集，所以你可能想看看OWLIM，它是一个可以与芝麻一起使用的替代后端，并且有更多可定制的规则AFAIK。

推断通常有两种应用方式，一种是只存储规则，每次触发规则时计算附加信息，另一种是预计算所有附加信息并将其添加到数据库中。您想要使用哪一个取决于您打算如何使用您的系统，并且需要进行性能权衡。我不打算详细讨论，因为这实际上是一个完全不同的问题——请参阅正向链接与反向链接的讨论

或者，如果您的规则相对简单，并且您可以预先计算额外的信息并将其添加到数据库中，那么您可以编写SPARQL更新来实现这一点，例如。

PREFIX foo: <http://example.org/foo#>
INSERT
{
  ?x foo:g foo:h .
}
WHERE
{
  ?x foo:b foo:c .
}

我猜您对SPARQL是相当陌生的，因为从您描述的内容来看，这对我来说似乎微不足道。

如果我想找到所有具有谓语foo： g和对象foo： h的主语，我会简单地写以下内容：

PREFIX foo: <http://example.org/foo#>
SELECT ?x
WHERE
{
  ?x foo:g foo:h .
}