Rdf 大师级猫头鹰2 DL推理
我有一个Virtuoso服务器7.20.3217，在那里我上传数据。根据Virtuoso文档，Virtuoso支持基本的owl推理，例如rdfs:subassof或rdfs:subpertyofRdf 大师级猫头鹰2 DL推理,rdf,jena,owl,virtuoso,pellet,Rdf,Jena,Owl,Virtuoso,Pellet,我有一个Virtuoso服务器7.20.3217，在那里我上传数据。根据Virtuoso文档，Virtuoso支持基本的owl推理，例如rdfs:subassof或rdfs:subpertyof 为了启用OWL2DL推理，我应该做什么？甚至支持SWRL规则？是否有可能将这些功能整合到Virtuoso中？例如，通过合并外部推理器，如Pellet？Virtuoso 7.x既不支持SWRL，也不完全支持OWL2DL（尽管如此）。（另见，） Virtuoso8.x实现了SPIN，SWRL可以翻译成SPI
为了启用OWL2DL推理，我应该做什么？甚至支持SWRL规则？是否有可能将这些功能整合到Virtuoso中？例如，通过合并外部推理器，如Pellet？Virtuoso 7.x既不支持SWRL，也不完全支持OWL2DL（尽管如此）。（另见，） Virtuoso8.x实现了SPIN，SWRL可以翻译成SPIN，OWL谓词的相同子集，以及其他更复杂的推理 首先，请参见和
用户文档正在编制中；您可以通过或获得帮助。Virtuoso 7.x不支持SWRL，也不完全支持OWL2DL（尽管如此）。（另见，） Virtuoso8.x实现了SPIN，SWRL可以翻译成SPIN，OWL谓词的相同子集，以及其他更复杂的推理 首先，请参见和
用户文档正在编制中；您可以通过或获得帮助。为了澄清有关专家和推理规则的问题，我想补充以下内容： Virtuoso提供了大量基于RDF模式（rdfs:Subassof和rdfs:Subpertyof）和OWL本体（OWL:sameAs、OWL:inverseOf、OWL:inverseFunctionalProperty、OWL:equivalentClass、OWL:equivalentProperty和OWL:SymmetricProperty）中描述的实体关系类型语义的内置推理规则 从版本8.1开始，它还包括使用SPARQL构造作为规则语言创建自定义推理规则，这得益于来自SPIN本体的术语 因此，如果您需要额外的关系类型语义来通知所需的推理和推理（例如，根据OWL DL或其他任何内容），那么您所要做的就是创建一个自定义推理规则 链接
我希望这能澄清这一重要问题 为了对这件事提供一些关于大师和推理规则的重要澄清，我想补充以下内容： Virtuoso提供了大量基于RDF模式（rdfs:Subassof和rdfs:Subpertyof）和OWL本体（OWL:sameAs、OWL:inverseOf、OWL:inverseFunctionalProperty、OWL:equivalentClass、OWL:equivalentProperty和OWL:SymmetricProperty）中描述的实体关系类型语义的内置推理规则 从版本8.1开始，它还包括使用SPARQL构造作为规则语言创建自定义推理规则，这得益于来自SPIN本体的术语 因此，如果您需要额外的关系类型语义来通知所需的推理和推理（例如，根据OWL DL或其他任何内容），那么您所要做的就是创建一个自定义推理规则 链接
我希望这能澄清这一重要问题 然而，一些DL推理在Virtuoso中是可能的，其中包括
rdfs:subassof定义输入的是什么：推理”rdfs:Subassof定义输入的是什么：推理”