问在VOS中支持什么样的推理方式？

EN

Virtuoso有自己的内置推理和推理能力。尽管如此，如果绝对有必要，您可以使用通过定制的开发工作集成第三方推理器，该API允许使用Virtuoso支持的各种运行时环境进行集成(例如，Java、Python、PHP、.NET、Ruby、Mono等)。或者直接使用C。

虚拟功能

Virtuoso开源版支持内置推理和推理。我的意思是，它自动将上述功能应用于下列关系类型：

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

所有这些都是通过映射到命名图的杂注和规则来启用的。

Virtuoso的商业版本进一步支持自定义推理规则，由SPARQL作为规则语言--由SPIN本体的术语提供便利。

您将使用自定义推理规则来实现基于OWL术语描述的其他推理概要文件的规则。基本上，您仅受想象力的限制，因为SPARQL提供了由以前的规则语言(如Datalog等)提供的功能。

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

相关

• 各种Virtuoso推理&推理实例集 --这些活示例可用于Virtuoso的live，例如使用Virtuoso部署的DBpedia和维基数据版本
• 基本内建推理及推理指南
• 基本自定义推理与推理指南
• 内建推理及推理指南 --使用英国皇室关系类型
• 自定义推理与推理指南 --使用英国皇室关系类型

推理与推理文档详细介绍了Virtuoso (VOS)中的推理支持。不支持与其他标准理由的整合，但如果对它有足够的需求，很可能可以实施。

Virtuoso 8+商业版支持魔术集与自定义推理规则，允许为大多数用例创建自定义推理规则。

(在https://community.openlinksw.com/t/what-flavors-of-reasoning-are-supported-in-vos/2488上也有询问和回答)