VOS DL、EL、QL、RL支持哪种OWL配置文件？是否可以使用或集成标准推理器？(隐士、药丸等(
Virtuoso有自己的内置推理&推理能力。也就是说，如果绝对必要，您可以使用服务器扩展API通过自定义开发工作集成第三方推理器，该API允许使用Virtuoso支持的各种运行时环境(例如，Java、Python、PHP、.NET、Ruby、Mono等(或直接使用"C"进行集成。
Virtuoso功能
Virtuoso开源版支持内置的推理和推理。我的意思是，它自动将所述功能应用于以下关系类型：
owl:sameAsowl:equivalentPropertyowl:equivalentClassowl:inverseOfowl:InverseFunctionalPropertyrdfs:subPropertyOfrdfs:subClassOf
以上所有功能都是通过映射到命名图的pragma和规则启用的。
Virtuoso的商业版进一步支持自定义推理规则，这得益于SPARQL作为规则语言——由SPIN本体论的术语推动。
您可以使用自定义推理规则来实现基于OWL术语描述的其他推理配置文件的规则。基本上，您只受想象力的限制，因为SPARQL提供了以前的规则语言提供的功能，例如Datalog等。
所有这些功能都是Virtuoso的原生功能，并且可以大规模扩展。
相关
-
各种Virtuoso推理&推理示例集合——这些实时示例可用于Virtuoso的实时实例，例如使用Virtuoso部署的DBpedia和Wikidata版本
-
基本内置推理&推理指南
-
基本自定义推理&推理指南
-
内置推理&推理指南——使用英国皇室关系类型
-
自定义推理&推理指南——使用英国皇室关系类型
Virtuoso开放源码(VOS(中的推理支持在推理和推理文档中有详细说明。不支持与其他标准推理器集成，尽管如果有足够的需求，它可能会实现
Virtuoso8+商业版支持魔术集和自定义推理规则，允许为大多数用例创建自定义推理规则。
(也在OpenLink社区论坛上提问和回答(