鲍里斯·莫提克;乌尔里克·萨特勒 查询大型描述逻辑库的推理技术比较。 （英语） Zbl 1165.68506号 Hermann，Miki（编辑）等人，《编程逻辑、人工智能和推理》。2006年11月13日至17日在柬埔寨金边举行的第13届LPAR国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-48281-9/pbk）。计算机科学课堂讲稿4246。人工智能课堂讲稿，227-241（2006）。 摘要：描述逻辑（DL）的许多现代应用程序都需要回答根据相对简单的本体构建的大量数据的查询。对于此类应用，我们推测重用演绎数据库的思想可能会提高DL系统的可扩展性。因此，在我们之前的工作中，我们开发了一种将DL知识库简化为析取数据日志程序的算法。为了测试我们的猜想，我们在本文描述的一个新的DL推理器KAON2中实现了我们的算法。此外，我们创建了一个全面的测试套件，并使用它进行性能评估。我们的结果表明，在具有较大ABox但具有简单TBox的知识库上，我们的技术确实显示出良好的性能；相比之下，在具有大型复杂TBox的知识库上，现有技术的性能仍然更好。这使我们能够深入了解这两种方法的优缺点。关于整个系列，请参见[Zbl 1135.68002号]. 引用于11文件 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 软件：VAMPIRE公司;弹丸;E定理证明器;KAON2公司 PDF格式BibTeX公司 XML格式引用 \textit{B.Motik}和\textit{U.Sattler}，莱克特。注释计算。科学。4246227-241（2006年；兹bl 1165.68506） 全文： 内政部