在芝麻中使用一组谓词到达同一对象

Question

假设（s，p，o）和列表，我想在芝麻中使用模型结构，并检查是否可以使用主语s，谓词列表并在末尾到达o。

例如，我们说有一条路径，如果对于 （s，p，o） 和 {p1，p2，p3}，则存在以下三元组：（S，P1，O1） ， （O1，P2，O2）， （O2，P3，O）

芝麻或模型结构是否有任何可能？

Answer 1

可能最简单的方法是通过SPARQL查询。

查询将使用属性路径表达式来表示此路径。由于您想知道给定起点和终点是否存在路径，因此我认为"是"或"否"答案就足够了。因此，我们可以执行布尔 ASK 查询：

ASK WHERE { :s (:p1|:p2|:p3)+ :o . }

如果 :s 和 :o 之间存在任意长度的路径，并且该路径由属性 :p1、:p2 和 :p3 的某种组合组成，这将返回true。

由于您无法直接在Model上执行SPARQL查询，因此您需要创建一个内存中Repository并在执行查询之前向其添加Model，如下所示：

Model model = ...; // your model
// create and initialize a temporary in-memory store
Repository rep = new SailRepository(new MemoryStore());
rep.initialize();
try (RepositoryConnection conn = rep.getConnection()) {
   // load the model into the repository
   conn.add(model);
  // execute the query
  String query = "ASK WHERE { :s (:p1|:p2|:p3)+ :o . }";
  boolean pathExists = conn.prepareBooleanQuery(query).evaluate();
}

或者，您可以通过简单的递归方法自行实现路径遍历。

Model model = ...; // your model
IRI start = ... ; // your start point :s
IRI end = ...; // your end point :o .
IRI p1 = ...;
IRI p2 =  ...;
IRI p3 = ... ;
boolean pathExists = pathExists(model, start, end, p1, p2, p3);

实际方法是这样的：

boolean pathExists(Model m, IRI start, IRI end, IRI... properties) {
    for(IRI p: properties) {
        Model fromStart = m.filter(start, p, null);  
        if (fromStart.contains(start, p, end)) {
               return true;
        }
        else { 
            for (Value obj: fromStart.objects()) {
                if (obj instanceof Resource) {
                     if(pathExists(m, obj, end, properties)) {
                            return true;
                     }              
                }
            } 
        }
    }
    return false;
}      

。您可能需要稍微扩展一下（使用访问过的中间节点列表以避免无限循环），但它说明了我希望的基本原则。在任何情况下，使用SPARQL查询要容易得多。