AllegroGraph RDF Triple Store使用什么推理机?

AllegroGraph RDF Triple Store使用什么推理机?,rdf,owl,triplestore,allegrograph,topbraid-composer,Rdf,Owl,Triplestore,Allegrograph,Topbraid Composer,我在TopBraid Composer中创建了一个本体,并将其加载到AllegroGraph Triple Store。RDFS++推断(在示例19中解释)有效 现在我想使用一个语义推理器,它不仅可以进行RDFS++推理(例如Pellet、HermiT或FACT…) 您会推荐哪一种?要求我们推荐或查找书籍、工具、软件库、教程或其他非现场资源的问题对于堆栈溢出来说是离题的,因为它们往往会吸引自以为是的答案和垃圾邮件。相反,请描述该问题以及迄今为止为解决该问题所做的工作。感谢您的建议,实际目标是在A

我在TopBraid Composer中创建了一个本体,并将其加载到AllegroGraph Triple Store。RDFS++推断(在示例19中解释)有效

现在我想使用一个语义推理器,它不仅可以进行RDFS++推理(例如Pellet、HermiT或FACT…)


您会推荐哪一种?

要求我们推荐或查找书籍、工具、软件库、教程或其他非现场资源的问题对于堆栈溢出来说是离题的,因为它们往往会吸引自以为是的答案和垃圾邮件。相反,请描述该问题以及迄今为止为解决该问题所做的工作。感谢您的建议,实际目标是在AllegroGraph Triple Store中搜索metalevel本体与分配给它的实例之间的不一致。哪个推理机可以与Allegrograph一起使用?