费利克斯·迪斯特 探索描述逻辑知识库的方法。 （英语） 兹比尔1274.68481 Kwuida，Léonard（编辑）等，形式概念分析。2010年3月15日至18日，在摩洛哥阿加迪尔举行的2010年第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11927-9/pbk）。计算机科学课堂讲稿5986。《人工智能课堂讲稿》，209-224（2010）。 摘要：本文是ICFCA会议上发表的前两篇论文的继承者。在第一篇论文中[F.巴德和F.Distel公司，勒克特。注释计算。科学。4933, 46–61 (2008;Zbl 1132.68056号)]我们已经在描述逻辑中显示了（mathcal{EL}）和（mathcal{标高}_{\mathrm{gfp}}），有限模型中包含的一般概念包含集总是有一个有限基。第二篇论文提出了一种可用于获得这一基础的探索形式[F.巴德和F.Distel公司，勒克特。注释计算。科学。5548, 146–161 (2009;Zbl 1248.68467号)]. 在本文中，我们展示了如何修改这种形式，以便以ABox-individials的形式提供GCI的反例。在本文的第二部分中，我们检查了哪些描述逻辑可以用于此ABox。关于整个系列，请参见[Zbl 1184.68008号]. 引用于1文件 MSC公司： 68立方英尺 知识表示 68T27型 人工智能中的逻辑 引文：Zbl 1132.68056号;Zbl 1248.68467号 软件：塞尔 PDF格式BibTeX公司 XML格式引用 \textit{F.Distel}，莱克特。注释计算。科学。5986、209--224（2010年；Zbl 1274.68481） 全文： 内政部 链接