迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 通过Beth可定义性组合均匀插值。 （英语） Zbl 07606344号 J.汽车。推理 66，编号3，409-435（2022）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，J.Autom。推理66，No.3，409--435（2022；Zbl 07606344） 全文： DOI程序
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 模型完备性、一致插值和叠加演算。（应用于验证数据软件过程）。 （英语） Zbl 07433024号 J.汽车。推理 65，第7期，941-969（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit｛D.Calvanese｝等人，J.Autom。推理65，No.7，941-969（2021；Zbl 07433024） 全文： DOI程序
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 组合封面和Beth可定义性。 （英语） Zbl 07614513号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。2020年7月1日至4日，法国巴黎，第十届国际联合会议，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 181-200 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，Lect。注释计算。科学。12166，181--200（2020；Zbl 07614513） 全文： DOI程序
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 基于SMT的数据软件过程验证：一种模型理论方法。 （英语） Zbl 1495.68129号 数学。结构。计算。科学。 30，第3期，271-313（2020年）.MSC公司：60年第68季度 03B70号 03C98号 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，数学。结构。计算。科学。30，第3号，271--313（2020；Zbl 1495.68129） 全文： DOI程序
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 模型完整性、覆盖和叠加。 （英语） Zbl 07178974号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 142-160 (2019).MSC公司：60年第68季度 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit｛D.Calvanese｝等人，Lect。注释计算。科学。11716、142-160（2019；Zbl 07178974） 全文： DOI程序
马塞洛·阿里纳斯;埃琳娜·博托埃娃;迭戈·卡尔瓦内斯;弗拉迪斯拉夫·里日科夫 知识库交换：OWL 2 QL案例。 （英语） Zbl 1385.68044号 Artif公司。智力。 238, 11-62 (2016).MSC公司：68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Arenas}等人，Artif。智力。238、11--62（2016；Zbl 1385.68044） 全文： DOI程序 链接
卡米洛·索恩;拉斐拉·伯纳迪;迭戈·卡尔瓦内斯 为本体设计高效的受控语言。 （英语） Zbl 07823933号 Bunt，Harry（编辑）等人，《计算意义》。第4卷。多德雷赫特：施普林格。文本-语音-语言技术。47, 149-173 (2014).MSC公司：68T27型 68立方英尺 68T50型 91层20 PDF格式BibTeX公司 XML格式引用 \textit{C.Thorne}等人，《文本语言技术》。47149--173（2014；Zbl 07823933） 全文： DOI程序
迭戈·卡尔瓦内斯;托马斯·艾特;马格达莱娜·奥尔蒂斯 通过交替树自动机回答表达描述逻辑中的常规路径查询。 （英语） Zbl 1360.68801号 Inf.计算。 237, 12-55 (2014).MSC公司：68立方英尺 65年第68季度 65年第68季度 68T27型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，《信息计算》。237、12-55（2014年；Zbl 1360.68801） 全文： DOI程序
叶夫根·哈拉莫夫;德米特里·泽列兹尼亚科夫;迭戈·卡尔瓦内斯 捕获实例级基于模型的本体演化：DL-Lite的案例。 （英语） Zbl 1307.68078号 J.计算。系统。科学。 79，第6期，835-872（2013）. 审核人：乌多·哈恩（耶拿） MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{E.Kharlamov}等人，J.计算。系统。科学。79，No.6835--872（2013；Zbl 1307.68078） 全文： DOI程序
卡米洛·索恩;迭戈·卡尔瓦内斯 用于数据访问的受控语言的可牵引性和难处理性。 （英语） Zbl 1252.03073号 螺柱日志。 100，第4期，787-813（2012）.MSC公司：03B65号 68立方英尺 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{C.Thorne}和\textit{D.Calvanese}，Stud.Log。100，编号4，787-813（2012年；兹bl 1252.03073） 全文： DOI程序
迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 描述逻辑中基于视图的查询应答：语义和复杂性。 （英语） Zbl 1280.68250号 J.计算。系统。科学。 78，第1期，26-46（2012）.MSC公司：68立方英尺 68T27型 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，J.Compute。系统。科学。78，第1号，第26-46号（2012；Zbl 1280.68250） 全文： DOI程序
迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;安东尼拉·波吉;玛丽亚诺·罗德里格斯·穆罗;里卡多·罗萨蒂 本体论和数据库：DL-lite方法。 （英语） 兹比尔1254.68106 Tessaris，Sergio（编辑）等人，《推理网络》。信息系统的语义技术。2009年8月30日至9月4日，意大利布里森-布列萨诺2009年第五届国际暑期学校。辅导讲座。柏林：施普林格出版社（ISBN 978-3-642-03753-5/pbk）。计算机科学讲座笔记5689，255-356（2009）。MSC公司：第68页，共15页 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，Lect。注释计算。科学。5689255-356（2009年；Zbl 1254.68106） 全文： DOI程序
迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 用于数据集成的概念建模。 （英语） Zbl 1248.68161号 Borgida，Alexander T.（编辑）等人，《概念建模：基础和应用》。纪念约翰·米洛波洛斯的论文。柏林：施普林格出版社（ISBN 978-3-642-02462-7/pbk）。计算机科学讲座笔记5600，173-197（2009）。MSC公司：68个P01 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，Lect。注释计算。科学。5600、173--197（2009年；Zbl 1248.68161） 全文： DOI程序
迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;安东尼拉·波吉;里卡多·罗萨蒂;马可·鲁齐 通过DL-Lite（{mathcal A}）本体进行数据集成。 （英语） Zbl 1165.68511号 Schewe，Klaus-Dieter（编辑）等人，《数据和知识库中的语义》。第三次国际研讨会，2008年3月29日，法国南特，SDKB 2008。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-88593-1/pbk）。计算机科学课堂讲稿4925，26-47（2008）。MSC公司：68立方英尺 68T27型 68立方英寸35 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，Lect。注释计算。科学。4925，26-47（2008；Zbl 1165.68511） 全文： DOI程序
马格达莱娜·奥尔蒂斯;迭戈·卡尔瓦内斯;托马斯·艾特 通过tableaux表示描述逻辑中查询应答的数据复杂性。 （英语） Zbl 1154.68102号 J.汽车。推理 41，第1期，61-98（2008）.MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Ortiz}等人，J.Autom。推理41，No.1，61--98（2008；Zbl 1154.68102） 全文： DOI程序
安东尼拉·波吉;多梅尼科·伦博;迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 将数据链接到本体。 （英语） Zbl 1132.68061号 Spacapietra，Stefano（编辑），《数据语义学杂志》X。柏林：施普林格出版社（ISBN 978-3-540-77687-1/pbk）。计算机科学课程讲稿4900。《期刊副刊》，133-173（2008）。MSC公司：68立方英尺 68T27型 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{A.Poggi}等人，Lect。注释计算。科学。4900、133--173（2008年；Zbl 1132.68061） 全文： DOI程序
迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 描述逻辑中的可追踪推理和高效查询回答：DL-Lite系列。 （英语） Zbl 1132.68725号 J.汽车。推理 39，第3期，385-429（2007）.MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，J.Autom。推理39，No.3，385--429（2007；Zbl 1132.68725） 全文： DOI程序 链接