弗兰兹·巴德;拉斐尔·佩尼亚洛萨 公理精确定位在一般表格中。 (英语) 兹比尔1191.68645 J.日志。计算。 20,第1期,第5-34页(2010年).MSC公司:68T27型 03B35型 68吨15 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{R.Peñaloza},J.Log。计算。20,第1号,第5--34号(2010;Zbl 1191.68645) 全文: DOI程序 链接
弗兰兹·巴德;拉尔夫·库斯特斯;亚历克斯·博吉达;黛博拉·麦吉尼斯。 描述逻辑匹配。 (英语) Zbl 0940.03036号 J.日志。计算。 第9期,第3期,第411-447页(1999年).MSC公司:03B70号 68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人,J.Log。计算。9,第3号,411--447(1999;Zbl 0940.03036) 全文: DOI程序
弗兰兹·巴德;乌尔里克·萨特勒 描述逻辑中的表达式数字限制。 (英语) Zbl 0940.03035号 J.日志。计算。 9,第3期,319-350(1999).MSC公司:03B70号 68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{U.Sattler},J.Log。计算。9,第3号,319--350(1999;Zbl 0940.03035) 全文: DOI程序 链接
弗兰兹·巴德 术语知识表示语言表达能力的正式定义。 (英语) Zbl 0844.68109号 J.日志。计算。 6,第1期,33-54(1996).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader},J.日志。计算。6,第1号,33-54(1996;Zbl 0844.68109) 全文: DOI程序