无人力资源 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公司;Konclude公司;HermiT公司;RDFox公司;DLV2型;LARS公司;弹丸;座圈;故障电流互感器++;RacerPro赛车;DB足;XSB公司;SPARQL公司;ELK公司;哈维;卡特纳普;参数应用;莫维奥拉;lp2正常;扣 引用于: 5文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 NoHR:将XSB Prolog与OWL2配置文件及其他配置文件集成。 Zbl 1491.68045号卡洛斯·洛佩斯;马蒂亚斯·克诺尔;约昂·莱特 2017 全部的 前5名7位作者引用 3 马蒂亚斯·克诺尔 3 约昂·莱特 1 马塞洛·巴尔杜奇尼 1 里卡多·贡萨阿尔维斯 1 汤米·詹胡宁 1 马丁·斯洛塔 1 特蕾莎·斯威夫特 2篇连载文章中引用 1 人工智能 1 计算机科学课堂讲稿 在2个字段中引用 5 计算机科学(68至XX) 1 总体主题;集合(00-XX) 按年份列出的引文