亚历山德罗·阿塔尔；让·克里斯托夫·荣格；安德烈亚·马祖洛；安娜·奥扎基；弗兰克·沃尔特 《没有贝丝和克雷格的生活：描述和模态逻辑中的定义和解释》，包含名词和角色。 （英语） Zbl 07760995号 ACM事务处理。计算。日志。 24，第4号，第34号论文，51页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人，ACM翻译。计算。日志。24，第4号，第34号论文，51页（2023；Zbl 07760995） 全文： 内政部 arXiv公司 OA许可证
亚历山德罗·阿塔尔；罗马人孔查科夫；Alisa Kovtunova；弗拉迪斯拉夫·里日科夫；弗兰克·沃尔特；迈克尔·扎克哈里亚舍夫 二维时间本体论中介查询的一阶可重写性和复杂性。 （英语） Zbl 07639820号 J.阿蒂夫。智力。研究（JAIR） 75, 1223-1291 (2022).MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人，J.Artif。智力。决议（JAIR）751223-1291（2022；兹bl 07639820） 全文： 内政部 arXiv公司
让·克里斯托夫·荣格；卡斯滕·卢茨；哈德里安·普尔奇尼；弗兰克·沃尔特 本体下标记数据示例的逻辑可分性。 （英语） Zbl 07613163号 Artif公司。智力。 313，文章ID 103785，53 p.（2022）.MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Jung}等人，Artif。智力。313，文章ID 103785，53 p.（2022；Zbl 07613163） 全文： 内政部 arXiv公司
亚历山德罗·阿塔尔；罗马人孔查科夫；Alisa Kovtunova；弗拉迪斯拉夫·里日科夫；弗兰克·沃尔特；迈克尔·扎克哈里亚舍夫 线性时态逻辑中本体论中介查询的一阶可重写性。 （英语） Zbl 1520.68182号 Artif公司。智力。 299，文章ID 103536，30 p.（2021）.MSC公司：68T27型 03B44号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛A.Artale｝等人，《文物》。智力。299，文章ID 103536，30 p.（2021；Zbl 1520.68182） 全文： 内政部 arXiv公司
卡斯滕·卢茨；伊南·塞兰；弗兰克·沃尔特 带有闭合谓词的本体论中介查询的数据复杂性。 （英语） Zbl 1509.68258号 日志。方法计算。科学。 15，第3号，第23号论文，54页（2019年）.MSC公司：68立方英尺 第68页，共15页 65年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutz}等人，日志。方法计算。科学。15，第3号，第23号论文，54页（2019年；Zbl 1509.68258） 全文： arXiv公司
埃琳娜·博托埃娃；卡斯滕·卢茨；弗拉迪斯拉夫·里日科夫；弗兰克·沃尔特；迈克尔·扎克哈里亚舍夫 查询\（\mathcal{ALC}\）本体的不可分割性。 （英语） Zbl 1478.68347号 Artif公司。智力。 272, 1-51 (2019).MSC公司：68T27型 65年第68季度 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{E.Botoeva}等人，Artif。智力。272，1--51（2019；Zbl 1478.68347） 全文： 内政部 arXiv公司
埃琳娜·博托埃娃；鲍里斯·科涅夫；卡斯滕·卢茨；弗拉迪斯拉夫·里日科夫；弗兰克·沃尔特；迈克尔·扎克哈里亚舍夫 描述逻辑本体论的不可分割性和保守扩展：综述。 （英语） 兹比尔1358.68282 Pan，Jeff Z.（编辑）等人，《推理网络》。知识图构建和问答的逻辑基础。2016年第12届国际暑期学校，英国阿伯丁，2016年9月5日至9日。辅导讲座。查姆：施普林格（ISBN 978-3-319-49492-0/pbk；978-3-3169-49493-7/电子书）。计算机科学讲座笔记9885，27-89（2017）。MSC公司：68立方英尺 68T27型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{E.Botoeva}等人，Lect。注释计算。科学。9885，27-89（2017；Zbl 1358.68282） 全文： 内政部 arXiv公司
埃琳娜·博托埃娃；罗马人孔查科夫；弗拉迪斯拉夫·里日科夫；弗兰克·沃尔特；迈克尔·扎克哈里亚舍夫 描述逻辑知识库的查询不可分割性游戏。 （英语） Zbl 1351.68263号 Artif公司。智力。 234, 78-119 (2016).MSC公司：68T27型 2017年第68季度 65年第68季度 68立方英尺 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{E.Botoeva}等人，Artif。智力。234、78——119（2016；Zbl 1351.68263） 全文： 内政部 链接
皮耶罗·博纳蒂；马可·费拉；卡斯滕，卢茨；路易吉·索罗；弗兰克·沃尔特 重新讨论了限定描述逻辑的可决定性。 （英语） Zbl 1432.68428号 Eiter，Thomas（编辑）等人，《知识表示、逻辑编程和抽象论证的进展》。在格哈德·布鲁卡60岁生日之际献给他的散文。查姆：斯普林格。莱克特。注释计算。科学。9060, 112-124 (2015).MSC公司：68T27型 03B25号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Bonatti}等人，Lect。注释计算。科学。9060112-124（2015年；Zbl 1432.68428） 全文： 内政部
罗马人孔查科夫；弗兰克·沃尔特；迈克尔·扎克哈里亚舍夫 基于逻辑的本体比较和模块提取，以及在DL-Lite中的应用。 （英语） Zbl 1238.68154号 Artif公司。智力。 174，第15号，1093-1141（2010）. 审核人：埃米利奥·穆尼奥斯·韦拉斯科 MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Kontchakov}等人，Artif。智力。174，第15号，1093--1141（2010；Zbl 1238.68154） 全文： 内政部
鲍里斯·科涅夫；卡斯滕·卢茨；德克·沃尔特；弗兰克·沃尔特 模块化的形式属性。 （英语） Zbl 1242.68315号 Stuckenschmidt，Heiner（编辑）等人，《模块本体论》。知识模块化的概念、理论和技术。柏林：施普林格出版社（ISBN 978-3-642-01906-7/pbk）。计算机科学课堂讲稿5445，25-66（2009）。MSC公司：68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Konev}等人，Lect。注释计算。科学。5445，25-66（2009；Zbl 1242.68315） 全文： 内政部
劳滕贝格，W。；Zakharyaschev，M。；F.沃尔特。 威廉·布洛克和模态逻辑。 （英语） Zbl 1105.03020号 螺柱日志。 83，编号1-3，15-30（2006）. 审核人：G.E.Mints（斯坦福） MSC公司：03B45号 03B55号 03-03 PDF格式BibTeX公司 XML格式引用 \textit{W.Rautenberg}等人，研究日志。83，编号1--3，15--30（2006；Zbl 1105.03020） 全文： 内政部
弗兰克·沃尔特；迈克尔·扎克哈里亚舍夫 度量和拓扑的逻辑。 （英语） Zbl 1089.03021号 J.塞姆。日志。 70，编号3，795-828（2005）.MSC公司：03B60号 03B44号 54E35个 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Zakharyaschev}，J.Symb。日志。70，第3号，795--828（2005；Zbl 1089.03021） 全文： 内政部 链接
奥利弗·库茨；卡斯滕·卢茨；弗兰克·沃尔特；迈克尔·扎克哈里亚舍夫 \（{mathcal E}）-抽象描述系统的连接。 （英语） Zbl 1085.68162号 Artif公司。智力。 156，第1期，1-73页（2004年）.MSC公司：68T27型 68立方英尺 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kutz}等人，Artif。智力。156，编号1，1-73（2004年；兹bl 1085.68162） 全文： 内政部
奥利弗·库茨；霍尔格·斯特姆；铃木，Nobu-Yuki；弗兰克·沃尔特；迈克尔·扎克哈里亚舍夫 公理化距离逻辑。 （英语） Zbl 1185.03034号 J.应用。非类别。日志。 12，编号3-4，425-439（2002）.MSC公司：03B45号 03B25号 54E35个 PDF格式BibTeX公司 XML格式引用 \textit{O.Kutz}等人，J.Appl。非类别。日志。12，编号3--4，425--439（2002；Zbl 1185.03034） 全文： 内政部