米歇尔·路德维希;拉斐尔·佩尼亚洛萨 描述逻辑中的容错推理（mathcal{EL}）。 （英语） Zbl 1432.68448号 Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8761, 107-121 (2014). 概要：开发和维护本体是一项昂贵且容易出错的任务。检测到错误后，用户可能需要等待很长时间才能获得本体的更正版本。与此同时，人们可能仍然希望从本体中获得有意义的知识，同时避免已知的错误。我们研究描述逻辑（mathcal{EL}）中的容错推理任务。虽然这些问题很难解决，但我们提出了一些方法，通过预编译有关已知错误的信息并使用证明理论技术来计算合理性，从而缩短推理时间。一个原型实现表明，我们的方法对于实践中使用的大型本体是可行的。关于整个系列，请参见[Zbl 1296.68009号]. 引用于2文件 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 PDF格式BibTeX公司 XML格式引用 \textit{M.Ludwig}和\textit{R.Peñaloza}，莱克特。注释计算。科学。8761，107-121（2014；Zbl 1432.68448） 全文： 内政部