VOS 支持哪些类型的推理？

What flavors of reasoning are supported in VOS?

VOS DL、EL、QL、RL 支持哪些 OWL 配置文件？ 是否可以使用或集成标准推理机？ （隐士、丸子等）

Virtuoso Open Source (VOS) 中的推理支持在 inferencing and reasoning 文档中有详细说明。不支持与其他标准推理器集成，但如果有足够的需求，它可能会被实现。

Virtuoso 8+ 商业版支持Magic Sets and Custom Inference Rules允许为大多数用例创建自定义推理规则。

（也在OpenLink Community Forum上提问和回答）

Virtuoso 有自己内置的推理和推理功能。也就是说，如果绝对必要，您可以使用服务器扩展 API 通过自定义开发工作集成第 3 方推理器，它允许使用 Virtuoso 支持的各种运行时环境（例如 Java、Python、PHP、.NET、Ruby、Mono 等）或直接使用 'C'.

Virtuoso 功能

Virtuoso Open Source Edition 支持内置的 Reasoning 和 Inference。我的意思是它会自动为以下关系类型应用所述功能：

  • owl:sameAs
  • owl:equivalentProperty
  • owl:equivalentClass
  • owl:inverseOf
  • owl:InverseFunctionalProperty
  • rdfs:subPropertyOf
  • rdfs:subClassOf

以上所有都是通过 pragma 和映射到命名图的规则启用的。

Virtuoso 的商业版本进一步支持自定义推理规则，由 SPARQL 作为规则语言提供——由 SPIN Ontology.

中的术语提供便利

您将使用自定义推理规则来实施基于 OWL 中术语描述的其他推理配置文件的规则。基本上，您的想象力有限，因为 SPARQL 提供了以前的规则语言提供的功能，例如 Datalog 等

所有这些功能都是 Virtuoso 的原生功能，并且可以大规模扩展。

相关