弗兰兹·巴德（编辑）;迭戈·卡尔瓦内斯（编辑）;黛博拉·麦吉尼斯。（编辑）;丹尼尔·纳尔迪（编辑）;彼得·施奈德（Peter F.Patel-Schneider）。（编辑） 描述逻辑手册。理论、实施和应用。重印2007年精装版。 （英语） Zbl 1191.68652号 剑桥：剑桥大学出版社（ISBN 978-0-521-15011-8/pbk）。xix，第601页。(2010).MSC公司：68立方英尺 68-00 03B45号 68T27型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}（编辑）等人，《描述逻辑手册》。理论、实现和应用。2007年精装版再版，剑桥：剑桥大学出版社（2010；Zbl 1191.68652） 全文： 内政部
弗兰兹·巴德;巴尔·塞尔特卡亚 描述逻辑知识库完成中的可用性问题。 （英语） Zbl 1248.68472号 费雷，塞巴斯蒂安（编辑）等，形式概念分析。2009年5月21日至24日在德国达姆施塔特举行的2009年ICFCA第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-01814-5/pbk）。计算机科学课堂讲稿5548。《人工智能讲义》，1-21（2009）。MSC公司：68立方英尺 68T27型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{B.Sertkaya}，莱克特。注释计算。科学。5548，1--21（2009年；Zbl 1248.68472） 全文： 内政部
弗兰兹·巴德（编辑）;迭戈·卡尔瓦内斯（编辑）;黛博拉·麦吉尼斯。（编辑）;丹尼尔·纳尔迪（编辑）;彼得·施奈德（Peter F.Patel-Schneider）。（编辑） 描述逻辑手册。理论、实施和应用。第2版。 （英语） Zbl 1132.68055号 剑桥：剑桥大学出版社（ISBN 978-0-521-87625-4/hbk）。xix，第601页。(2007). 审核人：托马斯·斯图德（伯尔尼） MSC公司：68立方英尺 68-00 03B45号 68T27型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}（编辑）等人，《描述逻辑手册》。理论、实施和应用。第二版剑桥：剑桥大学出版社（2007；Zbl 1132.68055） 全文： 内政部
弗兰兹·巴德（编辑）;迭戈·卡尔瓦内斯（编辑）;黛博拉·麦吉尼斯（编辑）;丹尼尔·纳尔迪（编辑）;彼得·帕特尔·施奈德（编辑） 描述逻辑手册。理论、实现和应用。 （英语） Zbl 1058.68107号 剑桥：剑桥大学出版社（ISBN 0-521-78176-0/hbk）。十七、555页。(2003).MSC公司：68立方英尺 68-00 03B45号 68T27型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}（编辑）等人，《描述逻辑手册》。理论、实施和应用。剑桥：剑桥大学出版社（2003；Zbl 1058.68107）
弗兰兹·巴德;拉尔夫·莫利托 使用最不常见的包含项和概念分析来构建和结构化描述逻辑知识库。 （英语） Zbl 0973.68228号 Ganter，Bernhard（编辑）等人，《概念结构：逻辑、语言和计算问题》。2000年8月14日至18日在德国达姆施塔特举行的ICCS 2000第八届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1867, 292-305 (2000).MSC公司：68层35 68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{R.Molitor}，莱克特。注释计算。科学。1867、292--305（2000年；Zbl 0973.68228）