在 Sesame 中，如何派生在主题位置具有 RDF 文字的 RDFS/OWL 物化结果？

Question

我在Sesame 2.8.5 中遇到了RDFS 蕴涵问题。我想从 (1) 和 (2) 中自动推导出 (3) （在此处使用 Turtle 符号）。这在the RDF 1.1 specification 中定义为规则rdfs3，在the OWL-RL specification 中定义为规则prp-rng。

(1) foaf:givenName rdfs:range     xsd:string .
(2) ex:wouter      foaf:givenName "Wouter"   .
(3) "Wouter"       a              xsd:string .

我在 Sesame 中使用 ForwardChainingRDFSInferencer 类实现了这一点，如下所示：

public static void main(String[] args) throws RepositoryException, RDFHandlerException {
  Repository r = new SailRepository(new ForwardChainingRDFSInferencer(new MemoryStore()));
  r.initialize();
  ValueFactory f = r.getValueFactory();
  RepositoryConnection c = r.getConnection();
  try {
    c.add(FOAF.GIVEN_NAME, RDFS.RANGE, XMLSchema.STRING);
    c.add(f.createURI("http://example.org/", "wouter"), FOAF.GIVEN_NAME, f.createLiteral("Wouter", XMLSchema.STRING));
    RepositoryResult<Statement> s = c.getStatements(null, null, null, true);
    Rio.write(Iterations.addAll(s, new LinkedHashModel()), System.out, RDFFormat.TURTLE);
  } finally {c.close();}
}

输出包含许多推断的事实，例如 (4)，但不包括事实 (3)。

(4) ex:wouter a rdfs:Resource .

我的问题是：如果事实 3 由于不允许出现在 RDF 三元组的主题位置中而没有派生出事实 3，那么如何执行完整的 RDFS 和/或 OWL 物化（与上述一致）提到的规格）在芝麻？

Answer 1

RDF 中的主题位置不允许使用文字。因此，事实 3 不会是合法的 RDF 三元组，因此 Sesame 的推理器不会推导出它。这并不意味着 Sesame 的推理器是不完整的：它导出了所有可以合法导出的包含 RDFS 的事实。或者，如果您想争辩这确实构成了不完整，那么这意味着任何实现 RDFS Entailment 的 RDF 推理器根据定义是不完整的，因为它将无法在 RDF 标准中推导出此类事实。

请注意，RDF 语义规范在讨论在主题位置使用文字的可能性（并制作您想要的蕴涵类型）时明确提到了“广义 RDF”的概念 - 但是这个概念本身就是对标准，本身并不规范。

所以，长话短说：如果您想要在主题位置使用文字，那么您就没有使用 RDF，也不能使用 Sesame（或任何其他符合标准的 RDF 框架）。