编辑配置文件（在新选项卡中打开） 迭戈·卡尔瓦内斯 合著者距离 作者ID： 加尔瓦内斯·迭戈 发布日期： 迭戈·卡尔瓦内斯；D.卡瓦内斯。 外部链接： 逆戟鲸·数据库许可证 已编制索引的文档： 55出版物自1998年以来 7作为编辑的贡献 合著者： 56位合著者具有61联合出版物 957位合作作者 全部的 前5名合著者 1 单作者的 28 朱塞佩·德贾科莫 25 莫里齐奥·伦泽里尼 13 马尔科·蒙塔利 10 里卡多·罗萨蒂 8 多梅尼科·伦博 7 莫西·亚亚科夫·瓦尔迪 6 西尔维奥·吉拉尔迪 6 亚历山德罗·吉亚诺拉 6 丹尼尔·纳尔迪 6 安德烈·里夫金 5 马格达莱娜·奥尔蒂斯 4 安德烈·卡利 三 Franz巴德 三 托马斯·艾特 三 黛博拉·麦吉尼斯。 三 彼得·施奈德（Peter F.Patel-Schneider）。 三 安东尼拉·波吉 三 西蒙库斯，曼塔斯 三 卡米洛·索恩 2 巴巴克·巴赫里·哈里里 2 埃琳娜·博托埃娃 2 里卡多·德·马塞利斯 2 马龙·杜马 2 保罗·费利 2 法布里奇奥·玛丽亚·马吉 1 什奇蓬贾·艾哈迈塔吉 1 马塞洛·阿里纳斯 1 亚历山德罗·阿塔尔 1 贝拉迪，丹妮拉 1 拉斐拉·伯纳迪 1 Catarci，蒂齐亚纳 1 塞兰、伊斯梅尔·伊尔坎 1 本杰明·科格雷 1 保罗·福多 1 伊恩·霍洛克斯 1 叶夫根·哈拉莫夫 1 迈克尔·基弗 1 罗马人孔查科夫 1 乔治·劳森 1 林方珍 1 戴维·马丁内吉 1 拉杰夫·莫特瓦尼 1 杰夫·Z·潘。 1 法比奥·帕特里齐 1 玛丽亚诺·罗德里格斯·穆罗 1 罗马人、杜米特鲁 1 马可·鲁齐 1 弗拉迪斯拉夫·里日科夫 1 阿里奥·桑托索 1 朱塞佩·桑图奇 1 奥根·萨夫科维奇 1 乔治·斯特凡诺尼 1 肖国辉 1 迈克尔·维克托洛维奇（Michael Viktorovich） 1 赵玉婷 1 德米特里·泽列兹尼亚科夫 全部的 前5名系列 4 计算机与系统科学杂志 4 自动推理杂志 4 人工智能研究杂志 4 计算机科学课堂讲稿 三 人工智能 2 理论计算机科学 2 信息与计算 2 ACM计算逻辑事务 1 Studia Logica公司 1 逻辑与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 通用计算机科学杂志 1 逻辑程序设计理论与实践 领域 62 计算机科学（68至XX） 11 数理逻辑与基础（03-XX） 4 总体主题；集合（00-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 50出版物有被引用1020中的次601文件 引用人▼ 年份▼ 描述逻辑手册。理论、实施和应用。 Zbl 1058.68107号 337 2003 描述逻辑中的可追踪推理和高效查询回答：DL-Lite系列。 Zbl 1132.68725号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 126 2007 描述逻辑手册。理论、实施和应用。第2版。 Zbl 1132.68055号 94 2007 DL-Lite家族和关系。 Zbl 1192.68657号 阿塔尔，A。；D.卡瓦内斯。；R.孔查科夫。；Zakharyaschev，M。 60 2009 将数据链接到本体。 Zbl 1132.68061号 安东尼拉·波吉；多梅尼科·伦博；迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 56 2008 重写正则表达式和正则路径查询。 Zbl 1015.68083号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；莫舍·瓦尔迪。 39 2002 描述逻辑中查询应答的数据复杂性。 兹比尔1270.68294 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 39 2013 UML类图上的推理。 Zbl 1132.68747号 达尼埃拉·贝拉迪；迭戈·卡尔瓦内斯；朱塞佩·德贾科莫 21 2005 统一基于类的表示形式。 Zbl 0924.68184号 D.卡瓦内斯。；伦泽里尼，M。；D.纳尔迪。 18 1999 通过tableaux表示描述逻辑中查询应答的数据复杂性。 Zbl 1154.68102号 马格达莱娜·奥尔蒂斯；迭戈·卡尔瓦内斯；托马斯·艾特 17 2008 从模型完整性到数据感知流程的验证。 Zbl 1443.68103号 迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·吉亚诺拉；马尔科·蒙塔利；安德烈·里夫金 16 2019 XML文档的表示和推理：一种描述逻辑方法。 兹伯利0938.68842 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼 11 1999 描述逻辑手册。理论、实施和应用。重印2007年精装版。 Zbl 1191.68652号 11 2010 本体论和数据库：DL-lite方法。 Zbl 1254.68106号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼；安东尼拉·波吉；玛丽亚诺·罗德里格斯·穆罗；里卡多·罗萨蒂 11 2009 模型完整性、覆盖和叠加。 Zbl 07178974号 迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·吉亚诺拉；马尔科·蒙塔利；安德烈·里夫金 11 2019 基于SMT的数据软件过程验证：一种模型理论方法。 Zbl 1495.68129号 迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·吉亚诺拉；马尔科·蒙塔利；安德烈·里夫金 11 2020 表达描述逻辑中的推理。 Zbl 0992.03036号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；丹尼尔·纳尔迪；莫里齐奥·伦泽里尼 10 2001 完整性约束下的数据集成。 Zbl 1046.68694号 安德烈·卡利；迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼 10 2002 半结构化数据上基于视图的查询应答和查询包含。 Zbl 1098.68560号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；莫舍·瓦尔迪。 10 2002 概念数据建模的描述逻辑。 Zbl 0905.03016号 迭戈·卡尔瓦内斯；莫里齐奥·伦泽里尼；丹尼尔·纳尔迪 10 1998 描述逻辑知识和行动基础。 Zbl 1280.68249号 巴巴克·巴赫里·哈里里；迭戈·卡尔瓦内斯；马尔科·蒙塔利；朱塞佩·德贾科莫；里卡多·德·马塞利斯；保罗·费利 9 2013 描述逻辑约束下的连接查询包含和应答。 Zbl 1367.68084号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼 9 2008 一般转换系统上的一阶演算及其在情形演算中的应用。 Zbl 1390.68462号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；马尔科·蒙塔利；法比奥·帕特里齐 8 2018 通过交替树自动机回答表达描述逻辑中的常规路径查询。 Zbl 1360.68801号 迭戈·卡尔瓦内斯；托马斯·艾特；马格达莱娜·奥尔蒂斯 7 2014 通过DL-Lite（{mathcal A}）本体进行数据集成。 Zbl 1165.68511号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼；安东尼拉·波吉；里卡多·罗萨蒂；马可·鲁齐 7 2008 P2P数据集成中的不一致容忍：一种认知逻辑方法。 Zbl 1159.68409号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 6 2005 在实例级别捕获基于模型的本体进化：DL-Lite的例子。 Zbl 1307.68078号 叶夫根·哈拉莫夫；德米特里·泽列兹尼亚科夫；迭戈·卡尔瓦内斯 6 2013 基于视图的查询处理：关于重写、应答和无损之间的关系。 Zbl 1108.68443号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；莫舍·瓦尔迪。 6 2005 递归查询的可确定包含。 Zbl 1101.68513号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫舍·瓦尔迪。 5 2005 推理中否定查询答案的解释DL-Lite（DL-Lite）. Zbl 1361.68222号 迭戈·卡尔瓦内斯；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯；乔治·斯特凡诺尼 4 2013 在表达路径约束下验证演化的图形结构数据。 Zbl 1369.68181号 迭戈·卡尔瓦内斯；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 4 2016 知识库交换：OWL 2 QL案例。 Zbl 1385.68044号 马塞洛·阿里纳斯；埃琳娜·博托埃娃；迭戈·卡尔瓦内斯；弗拉迪斯拉夫·里日科夫 4 2016 基于视图的查询处理：关于重写、应答和无损之间的关系。 Zbl 1108.68038号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；莫舍·瓦尔迪。 三 2007 信息集成的描述逻辑。 Zbl 1012.03512号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼 三 2002 模型完备性、一致插值和叠加演算。（应用于验证数据软件过程）。 Zbl 07433024号 迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·吉亚诺拉；马尔科·蒙塔利；安德烈·里夫金 2 2021 用于数据访问的受控语言的可移植性和难处理性。 Zbl 1252.03073号 卡米洛·索恩；迭戈·卡尔瓦内斯 2 2012 数据集成的概念建模。 Zbl 1248.68161号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 2 2009 使用描述逻辑管理图形结构数据中的更改。 Zbl 1407.68122号 什奇蓬贾·艾哈迈塔吉；迭戈·卡尔瓦内斯；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 2 2017 描述逻辑知识库上的动作和程序：功能方法。 Zbl 1341.68222号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 2 2011 通过Beth可定义性组合均匀插值。 Zbl 07606344号 迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·吉亚诺拉；马尔科·蒙塔利；安德烈·里夫金 1 2022 组合封面和Beth可定义性。 Zbl 07614513号 迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·吉亚诺拉；马尔科·蒙塔利；安德烈·里夫金 1 2020 通过概念模式访问数据集成系统。 兹比尔1051.68602 安德烈·卡利；迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼 1 2001 描述逻辑中基于视图的查询应答：语义和复杂性。 Zbl 1280.68250号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 1 2012 关于模式映射的简化。 Zbl 1408.68046号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；莫舍·瓦尔迪。 1 2013 Web推理和规则系统。第二届国际会议，2008年10月31日至11月1日，德国卡尔斯鲁厄，RR 2008。诉讼程序。 Zbl 1148.68303号 1 2008 访问限制和依赖项下的动态查询优化。 Zbl 1216.68085号 A·卡尔。；D.卡瓦内斯。；Martinenghi博士。 1 2009 验证描述逻辑知识和动作库。 Zbl 1327.68272号 哈里里，巴巴克·巴赫里；迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；里卡多·德·马塞利斯；保罗·费利；马尔科·蒙塔利 1 2012 DL-Lite中引入数据类型。 Zbl 1327.68259号 奥根·萨夫科维奇；迭戈·卡尔瓦内斯 1 2012 英语三段论片段的数据复杂性。 Zbl 1298.68273号 卡米洛·索恩；迭戈·卡尔瓦内斯 1 2010 语义DMN：用领域知识形式化决策模型。 Zbl 1490.68215号 迭戈·卡尔瓦内斯；马龙·杜马；法布里齐奥·马吉。；马尔科·蒙塔利 1 2017 通过Beth可定义性组合均匀插值。 Zbl 07606344号 迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·吉亚诺拉；马尔科·蒙塔利；安德烈·里夫金 1 2022 模型完备性、一致插值和叠加演算。（应用于验证数据软件过程）。 Zbl 07433024号 迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·吉亚诺拉；马尔科·蒙塔利；安德烈·里夫金 2 2021 基于SMT的数据软件过程验证：一种模型理论方法。 Zbl 1495.68129号 迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·吉亚诺拉；马尔科·蒙塔利；安德烈·里夫金 11 2020 组合封面和Beth可定义性。 Zbl 07614513号 迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·吉亚诺拉；马尔科·蒙塔利；安德烈·里夫金 1 2020 从模型完整性到数据感知流程的验证。 Zbl 1443.68103号 迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·吉亚诺拉；马尔科·蒙塔利；安德烈·里夫金 16 2019 模型完整性、覆盖和叠加。 兹伯利07178974 迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·吉亚诺拉；马尔科·蒙塔利；安德烈·里夫金 11 2019 一般转换系统上的一阶演算及其在情形演算中的应用。 Zbl 1390.68462号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；马尔科·蒙塔利；法比奥·帕特里齐 8 2018 使用描述逻辑管理图形结构数据中的更改。 Zbl 1407.68122号 什奇蓬贾·艾哈迈塔吉；迭戈·卡尔瓦内斯；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 2 2017 语义DMN：用领域知识形式化决策模型。 Zbl 1490.68215号 迭戈·卡尔瓦内斯；马龙·杜马；法布里齐奥·马吉（Fabrizio M.Maggi）。；马尔科·蒙塔利 1 2017 在表达路径约束下验证演化的图形结构数据。 Zbl 1369.68181号 迭戈·卡尔瓦内斯；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 4 2016 知识库交换：OWL 2 QL案例。 Zbl 1385.68044号 马塞洛·阿里纳斯；埃琳娜·博托埃娃；迭戈·卡尔瓦内斯；弗拉迪斯拉夫·里日科夫 4 2016 通过交替树自动机回答表达描述逻辑中的常规路径查询。 Zbl 1360.68801号 迭戈·卡尔瓦内斯；托马斯·艾特；马格达莱娜·奥尔蒂斯 7 2014 描述逻辑中查询应答的数据复杂性。 兹比尔1270.68294 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 39 2013 描述逻辑知识和行动基础。 Zbl 1280.68249号 巴巴克·巴赫里·哈里里；迭戈·卡尔瓦内斯；马尔科·蒙塔利；朱塞佩·德贾科莫；里卡多·德·马塞利斯；保罗·费利 9 2013 在实例级别捕获基于模型的本体进化：DL-Lite的例子。 Zbl 1307.68078号 叶夫根·哈拉莫夫；德米特里·泽列兹尼亚科夫；迭戈·卡尔瓦内斯 6 2013 推理中否定查询答案的解释DL-Lite（DL-Lite）. Zbl 1361.68222号 迭戈·卡尔瓦内斯；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯；乔治·斯特凡诺尼 4 2013 关于模式映射的简化。 Zbl 1408.68046号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；莫舍·瓦尔迪。 1 2013 用于数据访问的受控语言的可移植性和难处理性。 Zbl 1252.03073号 卡米洛·索恩；迭戈·卡尔瓦内斯 2 2012 描述逻辑中基于视图的查询应答：语义和复杂性。 Zbl 1280.68250号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 1 2012 验证描述逻辑知识和动作库。 Zbl 1327.68272号 哈里里，巴巴克·巴赫里；迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；里卡多·德·马塞利斯；保罗·费利；马尔科·蒙塔利 1 2012 在DL Lite中引入数据类型。 Zbl 1327.68259号 奥根·萨夫科维奇；迭戈·卡尔瓦内斯 1 2012 描述逻辑知识库上的动作和程序：功能方法。 Zbl 1341.68222号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 2 2011 描述逻辑手册。理论、实施和应用。重印2007年精装版。 Zbl 1191.68652号 11 2010 英语三段论片段的数据复杂性。 Zbl 1298.68273号 卡米洛·索恩；迭戈·卡尔瓦内斯 1 2010 DL-Lite家族和关系。 Zbl 1192.68657号 阿塔尔，A。；D.卡瓦内斯。；R.孔查科夫。；Zakharyaschev，M。 60 2009 本体论和数据库：DL-lite方法。 Zbl 1254.68106号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼；安东尼拉·波吉；玛丽亚诺·罗德里格斯·穆罗；里卡多·罗萨蒂 11 2009 数据集成的概念建模。 Zbl 1248.68161号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 2 2009 访问限制和依赖项下的动态查询优化。 Zbl 1216.68085号 A·卡尔。；D.卡瓦内斯。；马丁内吉（D.Martinenghi）。 1 2009 将数据链接到本体。 Zbl 1132.68061号 安东尼拉·波吉；多梅尼科·伦博；迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 56 2008 通过tableaux表示描述逻辑中查询应答的数据复杂性。 Zbl 1154.68102号 马格达莱娜·奥尔蒂斯；迭戈·卡尔瓦内斯；托马斯·艾特 17 2008 描述逻辑约束下的连接查询包含和应答。 Zbl 1367.68084号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼 9 2008 通过DL-Lite（{mathcal A}）本体进行数据集成。 兹比尔1165.68511 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼；安东尼拉·波吉；里卡多·罗萨蒂；马可·鲁齐 7 2008 Web推理和规则系统。第二届国际会议，2008年10月31日至11月1日，德国卡尔斯鲁厄，RR 2008。诉讼程序。 Zbl 1148.68303号 1 2008 描述逻辑中的可追踪推理和高效查询回答：DL-Lite系列。 Zbl 1132.68725号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 126 2007 描述逻辑手册。理论、实施和应用。第2版。 Zbl 1132.68055号 94 2007 基于视图的查询处理：关于重写、应答和无损之间的关系。 Zbl 1108.68038号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；莫舍·瓦尔迪。 三 2007 UML类图上的推理。 Zbl 1132.68747号 贝拉迪，丹妮拉；迭戈·卡尔瓦内斯；朱塞佩·德贾科莫 21 2005 P2P数据集成中的不一致容忍：一种认知逻辑方法。 Zbl 1159.68409号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 6 2005 基于视图的查询处理：关于重写、应答和无损之间的关系。 Zbl 1108.68443号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；莫舍·瓦尔迪。 6 2005 递归查询的可确定包含。 Zbl 1101.68513号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫舍·瓦尔迪。 5 2005 描述逻辑手册。理论、实施和应用。 Zbl 1058.68107号 337 2003 重写正则表达式和正则路径查询。 Zbl 1015.68083号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；莫舍·瓦尔迪。 39 2002 完整性约束下的数据集成。 Zbl 1046.68694号 安德烈·卡利；迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼 10 2002 半结构化数据上基于视图的查询应答和查询包容。 Zbl 1098.68560号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；莫舍·瓦尔迪。 10 2002 信息集成的描述逻辑。 Zbl 1012.03512号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼 三 2002 表达描述逻辑中的推理。 Zbl 0992.03036号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；丹尼尔·纳尔迪；莫里齐奥·伦泽里尼 10 2001 通过概念模式访问数据集成系统。 Zbl 1051.68602号 安德烈·卡利；迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼 1 2001 统一基于类的表示形式。 Zbl 0924.68184号 D.卡瓦内斯。；伦泽里尼，M。；D.纳尔迪。 18 1999 XML文档的表示和推理：一种描述逻辑方法。 Zbl 0938.68842号 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼 11 1999 概念数据建模的描述逻辑。 Zbl 0905.03016号 迭戈·卡尔瓦内斯；莫里齐奥·伦泽里尼；丹尼尔·纳尔迪 10 1998 所有引用的出版物 前5名被引用出版物 全部的 前5名877位作者引用 24 迭戈·卡尔瓦内斯 23 卡斯滕·卢茨 21 Franz巴德 20 拉斐尔·佩尼亚洛萨 18 翁贝托·斯特拉契亚 16 伊恩·霍洛克斯 16 弗兰克·沃尔特 15 朱塞佩·德贾科莫 15 托马斯·艾特 15 迈克尔·维克托洛维奇（Michael Viktorovich） 13 费尔南多·博比洛 12 Stefan博格沃特 12 鲍里斯·莫提克 11 格奥尔格·戈特洛布 11 莫里齐奥·伦泽里尼 11 马尔科·蒙塔利 11 马格达莱娜·奥尔蒂斯 11 弗拉迪斯拉夫·里日科夫 10 亚历山德罗·阿塔尔 9 巴勃罗·巴塞洛 9 皮耶罗·安德里亚·博纳蒂 9 姜云成 9 托马斯·卢卡西维奇 8 罗马人孔查科夫 8 约昂·莱特 8 安德烈亚斯·皮耶利斯 8 安德烈·里夫金 8 里卡多·罗萨蒂 8 乌尔里克·萨特勒 8 西蒙库斯，曼塔斯 7 叶夫根尼·哈萨克夫 6 Michael A.Benedikt。 6 塞勒姆·本费哈特 6 伯纳多·昆卡·格劳 6 弗朗西斯科·埃斯特瓦 6 西尔维奥·吉拉尔迪 6 亚历山德罗·吉亚诺拉 6 格利姆，伯尔特 6 帕斯卡·希茨勒 6 Leonid O·利金。 6 杰夫·Z·潘。 6 米盖尔·罗梅罗 6 安妮·亚斯敏（Anni-Yasmin Turhan） 6 伊万·约瑟·瓦尔津扎克 6 王克文 5 埃琳娜·博托埃娃 5 安德烈亚·卡尔 5 马尔科·塞拉米 5 克劳迪娅·阿马托 5 尼古拉·法尼兹 5 劳拉·佐丹奴 5 斯坦尼斯拉夫·基科特 5 马蒂亚斯·克诺尔 5 多梅尼科·伦博 5 安东尼拉·波吉 5 桂林齐 5 塞巴斯蒂安·鲁道夫 5 卢西亚诺·塞拉菲尼 5 马丁·斯洛塔 5 海纳·斯塔肯施密特 5 唐勇 5 亚历克斯·托莫 5 Van den Bussche，简 5 莫西·亚亚科夫·瓦尔迪 5 王菊 5 王哲 4 扎伊德·布劳伊 4 卡塔琳娜·布里茨 4 陈启迈 4 弗洛里安娜·埃斯波西托 4 天使加西亚·塞尔达尼亚 4 胡安·戈梅斯·罗梅罗 4 里卡多·贡萨阿尔维斯 4 沃尔克·哈尔斯列夫 4 让·克里斯托夫·荣格 4 阿吉·库鲁茨 4 尼古拉·利昂 4 马可·曼纳 4 Martinez、Maria Vanina 4 巴巴拉·莫拉夫斯卡 4 玛丽·劳雷·穆格尼尔 4 那不勒斯、阿梅迪奥 4 阮林安 4 奥德尔·帕皮尼 4 弗拉基米尔·弗拉迪米罗维奇 4 胡安·卢特（Juan L.Reutter）。 4 伊南·塞兰 4 唐素琴 4 大卫·托曼 4 你，嘉慧 三 格里戈里斯·安东尼奥 三 马塞洛·阿里纳斯 三 Jean-François巴杰 三 彼得·鲍姆加特纳 三 利奥波多·贝尔托西。 三 梅亨·宾文努 三 帕特里克·布莱克本 三 洛丽斯·波萨托 三 洛雷托·布拉沃 三 塞兰、伊斯梅尔·伊尔坎 …还有777位作者 全部的 前5名74篇连载文章中引用 64 人工智能 34 自动推理杂志 29 数学与人工智能年鉴 27 国际近似推理杂志 22 理论计算机科学 21 逻辑程序设计理论与实践 15 模糊集与系统 13 应用逻辑杂志 12 计算机与系统科学杂志 11 ACM计算逻辑事务 10 信息科学 10 信息与计算 10 应用非经典逻辑杂志 8 计算机科学中的逻辑方法 7 Studia Logica公司 6 符号逻辑杂志 5 控制论与系统分析 4 信息学报 4 新一代计算 4 逻辑、语言与信息杂志 4 人工智能研究杂志 4 计算系统理论 4 计算机基础理论 4 泛逻辑 4 程序设计中的逻辑和代数方法杂志 三 计算机与数学及其应用 三 合成 三 计算的形式方面 三 机器学习 三 国际不确定性、模糊性和基于知识的系统杂志 2 信息处理信件 2 哲学逻辑杂志 2 计算机程序设计科学 2 符号计算杂志 2 国际智能系统杂志 2 MSCS公司。计算机科学中的数学结构 2 美国医学会杂志 2 机器学习研究杂志（JMLR） 2 计算智能 2 伊尔库茨科戈大学。马特马提卡丝里亚 1 离散应用数学 1 物理A 1 圣母院形式逻辑杂志 1 编程与计算机软件 1 SIAM计算机杂志 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 数学和计算机建模 1 人工智能通信 1 国际计算机科学基础杂志 1 数学逻辑档案 1 系统设计中的形式化方法 1 Izvestiya：数学 1 计算与数学组织理论 1 软计算 1 数据挖掘与知识发现 1 国际应用数学与计算机科学杂志 1 逻辑与代数程序设计杂志 1 逻辑与逻辑哲学 1 应用数学杂志 1 EURASIP应用信号处理杂志 1 智能与模糊系统杂志 1 数学生物科学与工程 1 中国科学。F系列 1 国际语义计算杂志 1 国际信息技术与决策杂志 1 科学中国。信息科学 1 中国计算机科学前沿 1 计算机科学前沿 1 维斯特尼克·乌德穆茨科戈大学。马特马提卡。梅哈尼卡。Komp'yuternye Nauki公司 1 计算机科学评论 1 Modelirovanie i Analiz信息系统 1 Logicheskie Issledovaniya逻辑 1 希腊数学学会公报 全部的 前5名在12个字段中引用 562 计算机科学（68至XX） 158 数理逻辑与基础（03-XX） 8 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 5 阶、格、有序代数结构（06-XX） 5 运筹学、数学规划（90-XX） 4 统计学（62-XX） 三 组合数学（05-XX） 三 生物学和其他自然科学（92-XX） 2 总体主题；集合（00-XX） 2 历史和传记（01-XX） 2 信息与通信理论、电路（94-XX） 1 系统论；控制（93至XX） 按年份列出的引文