VOS DL、EL、QL、RL 支持哪些类型的 OWL 配置文件？是否可以使用或集成标准推理器？（隐士、丸等）
问问题
69 次
2 回答
0
Virtuoso 拥有自己的内置推理和推理功能。也就是说，如果绝对必要，您可以使用服务器扩展 API 通过自定义开发工作集成 3rd 方推理器，该 API 允许使用 Virtuoso 支持的各种运行时环境（例如，Java、Python、PHP、.NET、Ruby、Mono等）或直接使用“C”。
大师级功能
Virtuoso 开源版支持内置的推理和推理。我的意思是它会自动将所述功能应用于以下关系类型：
owl:sameAsowl:equivalentPropertyowl:equivalentClassowl:inverseOfowl:InverseFunctionalPropertyrdfs:subPropertyOfrdfs:subClassOf
以上所有功能都是通过映射到命名图的编译指示和规则启用的。
Virtuoso 的商业版进一步支持自定义推理规则，由 SPARQL 作为规则语言提供——由 SPIN Ontology 中的术语提供便利。
您将使用自定义推理规则来实施基于 OWL 术语描述的其他推理配置文件的规则。基本上，您只受想象力的限制，因为 SPARQL 提供了由过去的规则语言（例如 Datalog 等）提供的功能。
所有这些功能都是 Virtuoso 原生的，并且可以大规模扩展。
有关的
各种 Virtuoso 推理和推理示例集合——这些实时示例可用于 Virtuoso 的实时实例，例如使用 Virtuoso 部署的DBpedia和Wikidata版本
内置推理和推理指南——使用英国皇室关系类型
自定义推理和推理指南——使用英国皇室关系类型
于 2021-05-05T18:01:10.273 回答
0
Virtuoso Open Source (VOS) 中的推理支持在推理和推理文档中有详细说明。不支持与其他标准推理器集成，但如果有足够的需求，它可能会被实现。
Virtuoso 8+ 商业版支持Magic Sets 和自定义推理规则，允许为大多数用例创建自定义推理规则。
（也在OpenLink 社区论坛上提问和回答）
于 2021-05-04T15:02:37.467 回答