安德烈亚斯·斯特格米勒;托尔斯滕·利比格;格利姆，伯尔特 用于表达描述逻辑的扩展缓存、回跳和合并。 （英语） 兹比尔1358.68284 Gramlich，Bernhard（编辑）等人，《自动推理》。2012年6月26日至29日在英国曼彻斯特举行的第六届国际联合会议，IJCAR 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31364-6/pbk）。计算机科学课堂讲稿7364。《人工智能课堂讲稿》，514-529（2012）。 小结：通过这一贡献，我们将一些已知优化（如缓存）的边界推到了非常有表现力的描述逻辑（\mathcal{SROIQ}）。所开发的方法基于复杂的依赖关系管理和精确的不满足缓存技术，从而进一步实现更好的信息表回溯和更有效的修剪。此外，我们通过引入一种称为基于池的合并的策略来优化基数限制的处理。我们对新型推理系统Konclude中提出的优化进行了实证评估，并表明提出的优化确实带来了显著的性能改进。有关整个系列，请参见[Zbl 1245.68010号]. 引用于4文件 MSC公司： 68立方英尺 知识表示 68T27型 人工智能中的逻辑 软件：康clude;故障电流互感器++ PDF格式BibTeX公司 XML格式引用 \textit{A.Steigmiller}等人，莱克特。注释计算。科学。7364、514--529（2012年；Zbl 1358.68284） 全文： 内政部 链接