×

兹马思-数学第一资源

Nohr:将XSB prolog与owl2配置文件集成,甚至更进一步。(英语) 中银06769666
Balduccini,Marcello(ed.)等人,《逻辑程序设计与非单调推理》。第14届国际会议,LPNMR 2017,芬兰埃斯波,2017年7月3日至6日。诉讼程序。查姆:斯普林格(ISBN 978-3-319-61659-9/pbk;978-3-319-61660-5/电子书)。计算机科学讲义10377。人工智能课堂讲稿,236-249(2017年)。
摘要:我们介绍了最新的、经过实质性改进的NoHR版本,它是一个推理机,用于回答由描述逻辑中的OWL本体和逻辑编程中的一组非单调规则组成的混合理论的查询。虽然将这两种知识表示和推理方法的独特特性结合起来的需要源于实际应用,但由于它们在语义上的巨大差异,它们的集成在理论上仍然具有挑战性。NoHR是为广泛使用的本体编辑器Protégé开发的一个插件,事实上,它是Protégé的第一个混合推理器,建立在OWL和规则的推理器的组合之上,但是它也可以作为一个库使用,允许它在其他环境和应用程序中集成。与之前的NoHR版本相比,这是第一个支持所有多项式OWL概要文件的版本,甚至更多,允许它与不适合单个概要文件的现实世界本体一起使用。此外,NoHR现在已经增强了与规则引擎的集成,该引擎支持大量标准的内置prolog谓词,这些谓词大大扩展了NoHR的可用性。
整个系列请参见[Zbl 1367.68005].
理学硕士:
68N17 逻辑程序设计
68T27型 人工智能中的逻辑
PDF格式 双歧杆菌 XML 引用
全文: 内政部