阿吉·库鲁茨;弗拉迪斯拉夫·里日科夫;尤里·萨瓦泰耶夫;扎卡里亚舍夫,迈克尔 确定线性时态逻辑中正则语言和本体论中介查询的FO可写性。 (英语) Zbl 07732093号 J.阿蒂夫。智力。研究(JAIR) 76, 645-703 (2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{A.Kurucz}等人,J.Artif。智力。研究(JAIR)76,645--703(2023;Zbl 07732093) 全文: 内政部 arXiv公司
亚历山德罗·阿塔尔;罗马人孔查科夫;Alisa Kovtunova;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 二维时间本体论中介查询的一阶可重写性和复杂性。 (英语) Zbl 07639820号 J.阿蒂夫。智力。研究(JAIR) 75, 1223-1291 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,J.Artif。智力。研究(JAIR)75,1223--1291(2022;Zbl 07639820) 全文: 内政部 arXiv公司
奥尔加·杰拉西莫娃;斯坦尼斯拉夫·基科特;阿吉·库鲁茨;弗拉基米尔·波多尔斯基;扎卡里亚舍夫,迈克尔 本体论中介查询的四分法,带有覆盖公理。 (英语) Zbl 07554486号 工件。智力。 309,文章ID 103738,46 p.(2022).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{O.Gerasimova}等人,Artif。智力。309,文章ID 103738,46 p.(2022;Zbl 07554486) 全文: 内政部 arXiv公司
亚历山德罗·阿塔尔;罗马人孔查科夫;Alisa Kovtunova;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 线性时态逻辑中本体论中介查询的一阶可重写性。 (英语) Zbl 1520.68182号 工件。智力。 299,文章ID 103536,30 p.(2021).MSC公司:68T27型 03B44号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,Artif。智力。299,文章ID 103536,30 p.(2021;Zbl 1520.68182) 全文: 内政部 arXiv公司
埃琳娜·博托埃娃;卡斯滕·卢茨;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 查询\(\mathcal{ALC}\)本体的不可分割性。 (英语) Zbl 1478.68347号 工件。智力。 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 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号 工件。智力。 234, 78-119 (2016).MSC公司:68T27型 2017年第68季度 65年第68季度 68立方英尺 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{E.Botoeva}等人,人工制品。智力。234、78——119(2016;Zbl 1351.68263) 全文: 内政部 链接
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;扎卡里亚舍夫,迈克尔 带有描述逻辑的时间概念数据建模食谱。 (英语) Zbl 1354.68245号 ACM事务处理。计算。日志。 第15号第3条第25条第50页(2014年).MSC公司:68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,ACM Trans。计算。日志。15,第3号,第25条,50页(2014;Zbl 1354.68245) 全文: 内政部 arXiv公司 链接
乔治·戈特洛布;斯坦尼斯拉夫·基科特;罗马人孔查科夫;弗拉基米尔·波多尔斯基;托马斯·施温蒂克;扎卡里亚舍夫,迈克尔 基于本体的数据访问中查询重写的代价。 (英语) Zbl 1390.68246号 工件。智力。 213, 42-59 (2014).MSC公司:第68页,共15页 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Gottlob}等人,Artif。智力。21342--59(2014;Zbl 1390.68246) 全文: 内政部
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;扎卡里亚舍夫,迈克尔 为时序概念模型的推理量身定制时序描述逻辑。 (英语) Zbl 1348.68235号 Tinelli,Cesare(编辑)等人,《组合系统的前沿》。2011年10月5日至7日,第八届国际研讨会,FroCoS 2011,德国萨尔布吕肯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24363-9/pbk)。计算机科学课堂讲稿6989。人工智能课堂讲稿,1-11(2011)。MSC公司:68T27型 第68页,共15页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,Lect。注释计算。科学。6989,1--11(2011;Zbl 1348.68235) 全文: 内政部 链接
罗马人孔查科夫;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 基于逻辑的本体比较和模块提取,以及DL Lite的应用程序。 (英语) Zbl 1238.68154号 工件。智力。 174,第15号,1093-1141(2010). 审核人:埃米利奥·穆尼奥斯·韦拉斯科 MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Kontchakov}等人,人工制品。智力。174,第15号,1093--1141(2010;Zbl 1238.68154) 全文: 内政部
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;扎卡里亚舍夫,迈克尔 DL-Lite具有时间化的概念、严格的公理和角色。 (英语) Zbl 1193.68232号 Ghilardi,Silvio(编辑)等人,《组合系统的前沿》。第七届国际研讨会,FroCoS 2009,意大利特伦托,2009年9月16-18日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04221-8/pbk)。计算机科学课堂讲稿5749。人工智能课堂讲稿,133-148(2009)。MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,Lect。注释计算。科学。5749133-148(2009年;兹bl 1193.68232) 全文: 内政部