【问题标题】：What flavors of reasoning are supported in VOS?VOS 支持哪些类型的推理？
【发布时间】：2021-05-01 03:34:20
【问题描述】：

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

【问题讨论】：

Virtuoso 确实有它自己的规则引擎。 Pellet 和 HermiT 都不能使用。规则引擎意味着您很可能可以使用 OWL RL 和在某种程度上提供相应规则的 OWL EL。 OWL QL 需要查询重写，而 OWL DL 需要一个合适的 OWL DL 推理器。请注意，这基本上适用于 Virtuoso 8.x - 开源版本仍然是 7.x，而且这个版本的规则支持非常有限 afaik。您唯一可以做的另一件事是通过 Pellet 和 OWL API 提前计算推断模式，然后加载推断模式并使用任何规则配置文件，如 RDF、OWL RL 等。
这确实不能解决需要例如按需提供基于画面的算法。免责声明：我不是 Virtuoso 开发者，但这就是我所经历的。这肯定是一家非常非常快的三合店。
非常感谢您的评论！！一如既往的完整和有用。我正在努力学习 Virtuoso，因为理论上它看起来像一个了不起的平台。但是，作为观察而非批评，我发现一个非常封闭的社区......没有让新手轻松学习曲线的课程，而且他们自己的论坛非常不活跃。
所有的学习工具似乎都局限在官方文档里，内容丰富，但对初学者不友好，一堆文章和教程，还有像你这样经验丰富的人的帮助主题，并愿意帮助他人。总之，任何时候的感觉都是拼图。无论如何，很抱歉闲聊，再次感谢你......现在我不会放弃这个:-)

【解决方案1】：

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

Virtuoso 功能

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

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

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

您将使用自定义推理规则来实施基于 OWL 术语描述的其他推理配置文件的规则。基本上，您只会受到想象力的限制，因为 SPARQL 提供了由过去的规则语言（例如 Datalog 等）提供的功能。

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

相关