Kasalica，维德兰;杰罗奇里斯托斯，约安尼斯;阿尔弗雷斯，何塞·朱利奥;戈梅斯，安娜·索菲亚;克诺尔，马提亚斯;莱特，乔昂 使用NoHR验证电信网络库存。（英语） Zbl 07115962 Balduccini，Marcello（ed.）等人，《逻辑程序设计与非单调推理》。第15届国际会议，LPNMR 2019，美国宾夕法尼亚州费城，2019年6月3日至7日。诉讼程序。查姆：斯普林格（ISBN 978-3-030-20527-0/pbk；978-3-030-20528-7/电子书）。计算机科学课堂讲稿11481。人工智能课堂讲稿，18-31（2019年）。 摘要：网络数据库清单是任何电信公司运营的关键工具，它支持网络配置和维护，以及网络事件的故障排除。虽然不正确的库存常常会导致严重的影响和财务损失，但是电信网络的巨大规模、所涉及的设备数量以及其他操作限制，往往会导致过时的不一致库存，这些库存通常是经过验证和更新的手工，在变更管理过程中–这是一项非常耗时的任务，极易发生人为错误。本论文使用一个由多个国家组成的非人力资源实体库的知识库，来描述一个非人力资源公司在不同的网络环境下的知识库的自动验证，这两者都是完成这项任务所需的推理所必需的。此外，为了解决由于NoHR v3.0需要将整个数据库预处理为OWL断言或规则事实而导致的严重性能问题（本质上是内存问题），在本文中，我们还介绍了NoHR v4.0，它扩展了NoHR v3.0对数据库的本机支持，不仅解决了内存消耗问题，同时也提高了平均推理时间。整个系列请参见[Zbl 1410.68009]. 理学硕士： 68N17 逻辑程序设计 68T27型 人工智能中的逻辑 软件：诺尔 PDF格式 双歧杆菌 XML 引用 \texttit{V.Kasalica}等人，选择。笔记计算。科学。11481，18--31（2019年；Zbl 07115962） 全文： 内政部