×

无人力资源

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文件

2篇连载文章中引用

1 人工智能
1 计算机科学课堂讲稿

按年份列出的引文