弗朗西斯科·克里格尔 （\mathcal{E}\mathcal{L}\）TBoxes的最优固定前提修复。 （英语） Zbl 1522.68528号 Bergmann，Ralph（编辑）等人，KI 2022：人工智能的进展。2022年9月19日至23日在德国特里尔举行的第45届德国人工智能会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。1340415-130（2022年）。MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Kriegel}，莱克特。注释计算。科学。13404115-130（2022年；兹比尔1522.68528） 全文： 内政部
弗朗西斯科·克里格尔 描述逻辑中最具体的结果\（\mathcal{E}\mathcal{L}\）。 （英语） Zbl 1430.68310号 离散应用程序。数学。 273, 172-204 (2020).MSC公司：68T27型 68T05型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Kriegel}，离散应用程序。数学。273172-204（2020年；Zbl 1430.68310） 全文： 内政部