诺尔

NoHR：将XSB prolog与owl2配置文件集成，甚至更进一步。我们提出了NoHR的最新版本，它是一个推理机，用来回答由描述逻辑中的OWL本体和逻辑编程中的一组非单调规则组成的混合理论的查询。虽然将这两种知识表示和推理方法的独特特性结合起来的需要源于实际应用，但由于它们在语义上的巨大差异，它们的集成在理论上仍然具有挑战性。NoHR是为广泛使用的本体编辑器Protégé开发的一个插件，事实上，它是Protégé的第一个混合推理器，建立在OWL和规则的推理器的组合之上，但是它也可以作为一个库使用，允许它在其他环境和应用程序中集成。与之前的NoHR版本相比，这是第一个支持所有多项式OWL概要文件的版本，甚至更多，允许它与不适合单个概要文件的现实世界本体一起使用。此外，NoHR现在已经增强了与规则引擎的集成，该引擎支持大量标准的内置prolog谓词，这些谓词大大扩展了NoHR的可用性。