让·克里斯托夫·荣格;卡斯滕·卢茨;哈德良普尔西尼;弗兰克·沃尔特 本体下标记数据示例的逻辑可分性。 (英语) 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公司
埃琳娜·博托埃娃;卡斯滕·卢茨;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 查询\(\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公司
埃琳娜·博托埃娃;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 描述逻辑知识库的查询不可分割性游戏。 (英语) 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 1329.68248号 Artif公司。智力。 203, 66-103 (2013).MSC公司:68立方英尺 03C98号 65年第68季度 68T27型 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{B.Konev}等人,Artif。智力。203、66-103(2013;Zbl 1329.68248) 全文: 内政部
刘洪凯;卡斯滕·卢茨;马贾·米利奇奇;弗兰克·沃尔特 表达性描述逻辑中实例级更新的基础。 (英语) Zbl 1252.68277号 Artif公司。智力。 175,第18期,2170-2197(2011).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{H.Liu}等人,Artif。智力。175,第18号,2170--2197(2011;Zbl 1252.68277) 全文: 内政部
罗马人孔查科夫;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 基于逻辑的本体比较和模块提取,以及在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) 全文: 内政部
奥利弗·库茨;卡斯滕·卢茨;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 \({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) 全文: 内政部