无人力资源 swMATH ID: 27501 软件作者： 卡洛斯·洛佩斯；马蒂亚斯·克诺尔；约昂·莱特 描述： NoHR：将XSB prolog与OWL2概要文件及其他集成。我们提出了最新的、经过大幅改进的NoHR版本，这是一个推理器，用于回答由描述逻辑中的OWL本体和逻辑编程中的一组非单调规则组成的混合理论上的查询。尽管需要结合这两种知识表示和推理方法的独特特征源于实际应用，但由于它们在语义上的巨大差异，它们的集成在理论上具有挑战性。NoHR是作为广泛使用的本体编辑器Protégé的插件开发的，事实上，它是第一个基于OWL和规则推理器组合的Proté的混合推理器，但它也可以作为一个库使用，允许它在其他环境和应用程序中集成。与之前的NoHR版本相比，这是第一个支持所有多项式OWL配置文件的版本，甚至更高版本，允许将其用于不适合单个配置文件的现实世界本体。此外，NoHR现在增强了与规则引擎的集成，该引擎支持大量标准内置prolog谓词，大大扩展了其可用性。 主页： https://link.springer.com/chapter/10.1007%2F978-3-319-61660-5_22 相关软件： Potassco公司；康clude；HermiT公司；RDFox公司；DLV2型；LARS公司；弹丸；赛车手；故障电流互感器++；RacerPro赛车；DBpedia（数据库）；XSB公司；SPARQL公司；ELK公司；哈维；卡特纳普；参数应用；莫维奥拉；lp2正常；扣 引用于： 6文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 NoHR：将XSB Prolog与OWL 2配置文件及其他配置文件集成。 Zbl 1491.68045号卡洛斯·洛佩斯；克诺尔，马蒂亚斯；约昂·莱特 2017 全部的 前5名11位作者引用 三 克诺尔，马蒂亚斯 三 约昂·莱特 1 马尔科·阿尔贝蒂 1 马塞洛·巴尔杜奇尼 1 里卡多·贡萨阿尔维斯 1 汤米·詹胡宁 1 伊芙琳娜·拉姆 1 法布里齐奥·里古齐 1 马丁·斯洛塔 1 特蕾莎·斯威夫特 1 里卡多·泽斯 2篇连载文章中引用 1 人工智能 1 计算机科学课堂讲稿 在2个字段中引用 6 计算机科学（68至XX） 1 总体主题；集合（00-XX） 按年份列出的引文