弗兰兹·巴德;奥利弗·费尔南德斯·吉尔 用概念度量诱导的阈值概念扩展描述逻辑（\mathcal{EL}）。 （英语） Zbl 07803980号 Artif公司。智力。 326，文章ID 104034，66 p.（2024）.MSC公司：68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{O.Fernández Gil}，Artif。智力。326，文章ID 104034，66 p.（2024；Zbl 07803980） 全文： 内政部
弗兰兹·巴德;帕特里克·科普曼;弗里德里希·米歇尔;安妮·亚斯敏（Anni-Yasmin Turhan）;本杰明·扎里丝 使用\（\ mathcal进行带值限制的高效TBox推理{FL}_0（飞行高度层）\mathit{wer}\）推理器。 （英语） Zbl 1530.68243号 理论与实践。日志。程序。 22，第2期，162-192（2022）.MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人，《理论与实践》。日志。程序。22，第2号，162--192（2022；Zbl 1530.68243） 全文： 内政部 arXiv公司 OA许可证
菲利普·巴尔比亚尼;乔丹·根瑟;玛丽亚姆·罗斯塔米吉夫;廷切夫、廷科 关于\（\mathbf{K}+\square\square\bot\）的统一类型。 （英语） Zbl 07517438号 安。数学。Artif公司。智力。 90，第5期，481-497（2022）.MSC公司：03B45号 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人，《数学年鉴》。Artif公司。智力。90，编号5，481--497（2022；Zbl 07517438） 全文： 内政部
弗兰兹·巴德;巴夫洛斯·马兰蒂迪斯;安托万·莫特特;亚历山大·奥霍金 统一模的扩张ACUI公司. （英语） Zbl 1495.68237号 数学。结构。计算。科学。 30，第6号，597-626（2020）.MSC公司：68伏15 03B35型 65年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人，数学。结构。计算。科学。30，编号6，597–626（2020；兹bl 1495.68237） 全文： 内政部
费尔南多·博比洛;翁贝托·斯特拉契亚 重温模糊OWL 2 EL中的推理。 （英语） Zbl 1397.68167号 模糊集系统。 351, 1-40 (2018).MSC公司：68立方英尺 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit｛F.Bobillo｝和\textit｛U.Straccia｝，模糊集系统。351，1--40（2018；Zbl 1397.68167） 全文： 内政部
弗兰兹·巴德;奥利弗·费尔南德斯·吉尔;巴夫洛斯·马兰蒂迪斯 描述逻辑中的近似：加权树自动机如何帮助定义\（\mathcal）中所需的概念比较度量{FL}_0（飞行高度层）\). （英语） Zbl 1485.68245号 Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168, 3-26 (2017).MSC公司：68T27型 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人，Lect。注释计算。科学。10168，3--26（2017；Zbl 1485.68245） 全文： 内政部
彼得·萨博;约格·西克曼;迈克尔·霍切 什么是本质上的统一？ （英语） Zbl 1439.68022号 Omodeo、Eugenio G.（编辑）等，马丁·戴维斯，关于可计算性、计算逻辑和数学基础。查姆：斯普林格。Outst公司。控制日志。10, 285-314 (2016).MSC公司：68T27型 03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Szabo}等人，Outst。控制日志。10、285--314（2016；Zbl 1439.68022） 全文： 内政部
弗兰兹·巴德;格哈德·布鲁卡;奥利弗·费尔南德斯·吉尔 将阈值概念添加到描述逻辑中。 （英语） Zbl 1471.68265号 Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，Wrocław，波兰，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 33-48 (2015).MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人，Lect。注释计算。科学。9322、33-48（2015年；Zbl 1471.68265） 全文： 内政部
冯世光;马库斯·洛伊;卡琳·夸斯 数据字上MTL和TPTL的路径检查。 （英语） Zbl 1434.68297号 Potapov，Igor（编辑），语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9168，326-339（2015年）。MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Feng}等人，Lect。注释计算。科学。9168、326--339（2015年；Zbl 1434.68297） 全文： 内政部 arXiv公司