rdf - 根据本体验证 RDF 三元组以检查正确的结构

Question

我是 RDF/本体的新手，我不太清楚在这个领域工作的方式。目前我对三重验证感到困扰。我仍然以关系方式思考，我首先创建一个模式，然后为了插入数据，我需要遵循该结构。

为了插入三元组，我使用 Jena，然后使用生成的字符串执行插入命令。所以这是我的问题:

• 有没有办法验证我生成的 RDF 三元组(目前使用 Jena)实际上遵循我的本体结构。

• 或者，当我执行插入时，有没有办法让 rdf 存储(currenlty Virtuoso)通知？我做了一些搜索，发现:How to Import Ontology into Virtuoso? .这是否意味着我的三元组将根据我的本体进行检查/验证？

• 还发现了RDF and OWL workflow question .上面写着

  1. 在创建本体之后我应该
  2. 将本体导出为 RDF，以便
  3. 将其导入 RDF 存储。将我的本体导入 Virtuoso(如:How to Import Ontology into Virtuoso? 中所述)是否意味着步骤 1 和 2 已完成，我现在正在执行步骤 3？

Answer 1

A) 这种验证不是 RDF 模型的一部分，因此大多数三元存储/API 不支持它。我会建议你放弃这种心态，但要回答你的问题:是的，有一些工具可以让你做这种事情。一个例子是 Pellet OWL 推理器，它有一个约束验证模式，但我相信还有其他的。或者你当然可以实现你自己的验证，或者通过实现某种检查传入三元组的解析器监听器，或者通过使用查询对你的三元组进行一些事后检查，或者通过使用像 RDF-OO 映射解决方案例如阿里巴巴或帝国。

B) 我对 Virtuoso 不够熟悉，无法 100% 确定，但我怀疑它不会根据模式验证插入。如前所述，这在 RDF 世界中是一件不寻常的事情。

C)(已更新):是的，如果您将本体导入 Virtuoso，那么您确实是将其加载到三层存储中，所以这 3 个步骤都已完成。