如何优化SPARQL查询：筛选含Class1且不含指定类型的个体

你的原查询逻辑是对的，但确实有更简洁的写法，下面提供几种常用方案：

方案1：用VALUES配合NOT EXISTS #

这种方式最简洁，尤其适合需要排除多个类的场景，只需要在VALUES列表里维护要排除的类即可：

SELECT ?s
WHERE {
  ?s a :Class1 .
  FILTER NOT EXISTS {
    ?s a ?excludeClass .
    VALUES ?excludeClass { :Class4 :Class5 :Class6 }
  }
}

方案2：使用MINUS子句 #

MINUS会移除那些匹配右侧子图模式的结果，写法同样简洁：

SELECT ?s
WHERE {
  ?s a :Class1 .
  MINUS {
    ?s a ?excludeClass .
    VALUES ?excludeClass { :Class4 :Class5 :Class6 }
  }
}

如果不想用VALUES，也可以用UNION直接列出排除类（不过这种写法在类多的时候不如VALUES清爽）：

SELECT ?s
WHERE {
  ?s a :Class1 .
  MINUS {
    { ?s a :Class4 } UNION { ?s a :Class5 } UNION { ?s a :Class6 }
  }
}

方案3：单FILTER NOT EXISTS里合并条件 #

也可以在NOT EXISTS的子图里用UNION合并三个类型检查，不过可读性不如VALUES方案：

SELECT ?s
WHERE {
  ?s a :Class1 .
  FILTER NOT EXISTS {
    { ?s a :Class4 } UNION { ?s a :Class5 } UNION { ?s a :Class6 }
  }
}

说明 #

• 原查询的重复FILTER NOT EXISTS写法是正确的，但当排除类数量增加时，维护成本会变高；上面的方案更易维护，修改排除类只需要调整VALUES列表或UNION块。
• NOT EXISTS和MINUS在这个场景下效果一致，但MINUS的语义是基于绑定的移除，NOT EXISTS是检查子图是否存在，具体差异在复杂查询中才会体现，这里可以任选。

内容的提问来源于stack exchange，提问作者Corlin