如何用RDF模式验证RDF

Question

我正在使用Jena框架来操作RDF文件，但我找不到一种方法来用您各自的RDF模式验证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

: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类型的资源一起使用，因此这是不一致的，验证应该失败。