如何使用您的 RDF 模式验证 RDF

Question

我正在使用 Jena 框架来操作 RDF 文件，但我找不到使用您各自的 RDFSchema 验证 RDF 的方法。 我正在尝试以下方法：

Model mod1 = new ModelMem();
Model modSchema = new ModelMem();
String baseURI = "http://iec.ch/TC57/2007/network";

String rdfPath = "file:D:\\modelo.rdf";
InputStream model = FileManager.get().open(rdfPath);

String rdfPathSchema = "file:D:\\Schema.rdf";
InputStream modelSchema = FileManager.get().open(rdfPathSchema);

mod1.read(model, baseURI, "RDF/XML-ABBREV");
modSchema.read(modelSchema,baseURI,  "RDF/XML-ABBREV");
InfModel infmodel = ModelFactory.createRDFSModel(mod1, modSchema);
ValidityReport validity = infmodel.validate();
return validity.isValid();

但它总是返回 true。

Answer 1

您确定它并不总是仅仅因为您尝试的所有输入都是有效的而返回 true 吗？您是否尝试过创建相对于架构明确无效的输入并对其进行测试？

不管 RDF Schema 不是 XML Schema 那样的严格模式，你可能想看看 Jena Eyeball 这是另一个基于 Jena 的 RDF 检查工具，但不确定它是否能满足你的要求.

如果您仍有问题，请尝试在 Jena 邮件列表中询问 - users@jena.apache.org

编辑

请注意，只有当您以与架构不一致的方式使用某些东西时，验证才会返回 false。创建您可能认为无效的数据的拼写错误和其他用户错误可能仍然与 RDF Schema 完全一致。

例如，假设您有一个简单的 RDF 架构，如下所示：

:ValidType a rdfs:Class .

:property a rdf:Property ;
          rdfs:domain :ValidType .

因此，此架构表明您有一个类和一个具有该类域的属性。

然后用户打错字并在他们的数据中包含以下内容：

:subj a :InvalidType .

这本身并不矛盾，因为 RDF 有一个开放世界假设。声明某事物的类型未包含在您的 RDF 模式中并不会导致验证失败，从验证的角度来看，这只是虚假信息。

但是，如果用户随后声明 :subj 使用了您定义的属性，如下所示：

:subj a :InvalidType ;
      :property "value" .

现在验证应该返回 false，因为数据将与架构不一致，您声明 :property 只有域 :ValidType 但它与 :InvalidType 类型的资源一起使用，因此这是不一致的，验证应该失败。

Answer 2

严格来说，不是通过 Jena 或通过 RDFS 的解决方案，但有关 Pellet's ICV capabilities（移植到 Stardog，描述为 here）的信息可能有用。但正如 Rob 所说，这真的归结为开放与封闭世界的事情，这有点棘手。

Answer 3

我找到了使用 RDF Schema 验证 RDF 的解决方案。 存在一个名为 CIMValidation 的工具。我们可以在应用程序java中使用它， 只需将 .jar 添加到构建路径并使用 RDFSValidator 类。 谢谢大家的回答。