亚沃·尼诺夫
人员信息
附属: 英国牛津大学
优化列表
2020年–今天
2024 [公元25年] 张欣悦 , 潘虎 , 亚沃·尼诺夫 , 伊恩·霍洛克斯 :
优化存储以进行数据日志推理。 啊啊啊 2024 : 10748-10755 2023 [公元24年] 张欣悦 , 潘虎 , 亚沃·尼诺夫 , 伊恩·霍洛克斯 :
使用超树分解增强数据日志推理。 国际JCAI 2023 : 3383-3393 [i8] 张欣悦 , 潘虎 , 亚沃·尼诺夫 , 伊恩·霍洛克斯 :
使用超树分解增强数据日志推理。 CoRR公司 abs/2305.06854 ( 2023 ) [i7] 张欣悦 , 潘虎 , 亚沃·尼诺夫 , 伊恩·霍洛克斯 :
用于数据日志推理的优化存储。 CoRR公司 abs/2312.11297 ( 2023 ) 2022 [j6] 路易吉·贝洛马里尼 , 鲁斯兰·费兹拉赫曼诺夫 , 乔治·戈特洛布 , 安德烈·克拉夫琴科 , 埃莉诺拉·劳伦萨 , 亚沃·尼诺夫 , 圣埃芬·莱斯费尔德(Stéphane Reissfelder) , 伊曼纽尔·萨林格 , 叶夫根尼·谢尔霍诺夫 , 萨哈尔·瓦赫达蒂 , 吴连龙 :
使用Vadalog的数据科学:在实践中使用机器学习和推理的知识图。 未来一代。 计算。 系统。 129 : 407-422 ( 2022 )
2010 – 2019
2019 [j5] 鲍里斯·莫提克 , 亚沃·尼诺夫 , 罗伯特·皮罗 , 伊恩·霍洛克斯 :
重新访问数据记录材料的维护。 Artif公司。 因特尔。 269 : 76-136 ( 2019 ) 【c23】 杰克·克利曼 , 鲁斯兰·费兹拉赫曼诺夫 , 乔治·戈特洛布 , 亚沃·尼诺夫 , 圣埃芬·莱斯费尔德(Stéphane Reissfelder) , 伊曼纽尔·萨林格 , 叶夫根尼·谢尔霍诺夫 :
功能工程和Vadalog的可解释性:推荐系统应用程序。 数据日志 2019 : 39-43 2018 【j4】 安东尼·波特 , 鲍里斯·莫提克 , 亚沃·尼诺夫 , 伊恩·霍洛克斯 :
分布式RDF存储中的动态数据交换。 IEEE传输。 知识。 数据工程。 30 ( 12 ) : 2312-2325 ( 2018 ) [公元22年] 路易吉·贝洛马里尼 , 鲁斯兰·费兹拉赫曼诺夫 , 乔治·戈特洛布 , 安德烈·克拉夫琴科 , 埃莉诺拉·劳伦萨 , 亚沃·尼诺夫 , 圣埃芬·莱斯费尔德(Stéphane Reissfelder) , 伊曼纽尔·萨林格 , 叶夫根尼·谢尔霍诺夫 , 吴连龙 :
数据科学与Vadalog:架起机器学习和推理的桥梁。 医学 2018 : 3-21 [i6] 路易吉·贝洛马里尼 , 鲁斯兰·费兹拉赫曼诺夫 , 乔治·戈特洛布 , 安德烈·克拉夫琴科 , 埃莉诺拉·劳伦萨 , 亚沃·尼诺夫 , 圣埃芬·莱斯费尔德(Stéphane Reissfelder) , 伊曼纽尔·萨林格 , 叶夫根尼·谢尔霍诺夫 , 吴连龙 :
数据科学与Vadalog:架起机器学习和推理的桥梁。 CoRR公司 abs/1807.08712 ( 2018 ) 2016 [j3] 马克·卡明斯基 , 亚沃·尼诺夫 , Bernardo Cuenca Grau公司 :
析取数据日志程序和非Horn本体的数据日志可重写性。 Artif公司。 因特尔。 236 : 90-118 ( 2016 ) 【c21】 叶夫根尼·哈拉莫夫 , Bernardo Cuenca Grau公司 , 埃内斯托·吉梅内斯·鲁伊斯 , 斯特芬·兰帕特 , 古尔纳尔·迈赫迪 , 马丁·林斯夸德尔 , 亚沃·尼诺夫 , 斯蒂芬·格林 , 米哈伊尔·罗斯钦 , 伊恩·霍洛克斯 :
SOMM:面向行业的本体管理工具。 ISWC(海报和演示) 2016 [公元20年] 叶夫根尼·哈拉莫夫 , Bernardo Cuenca Grau公司 , 埃内斯托·吉梅内斯·鲁伊斯 , 斯特芬·兰帕特 , 古尔纳·梅迪 , 马丁·林斯夸德尔 , 亚沃·尼诺夫 , 斯蒂芬·格林 , 米哈伊尔·罗斯钦 , 伊恩·霍洛克斯 :
利用本体论和约束捕获工业信息模型。 ISWC(2) 2016 : 325-343 [第19条] 罗伯特·皮罗 , 亚沃尔·涅诺夫 , 鲍里斯·莫提克 , 伊恩·霍洛克斯 , 彼得·亨德勒 , 斯科特·金伯利 , 迈克尔·罗斯曼 :
卫生保健数据分析的语义技术。 ISWC(2) 2016 : 400至417 [第18条] 安东尼·波特 , 鲍里斯·莫提克 , 亚沃·尼诺夫 , 伊恩·霍洛克斯 :
基于动态数据交换的分布式RDF查询应答。 ISWC(1) 2016 : 480-497 2015 [注2] 周玉娇 , Bernardo Cuenca Grau公司 , 亚沃·尼诺夫 , 马克·卡明斯基 , 伊恩·霍洛克斯 :
PAGOdA:使用数据日志推理器回答Pay-As-You-Go本体查询。 J.阿蒂夫。 智力。 物件。 54 : 309-367 ( 2015 ) [第17条] 鲍里斯·莫提克 , 亚沃·尼诺夫 , 罗伯特·埃德加·菲利克斯·皮罗 , 伊恩·霍洛克斯 :
处理猫头鹰:同样通过重写。 啊啊啊 2015 : 231-237 [第16条] 鲍里斯·莫提克 , 亚沃·尼诺夫 , 罗伯特·埃德加·菲利克斯·皮罗 , 伊恩·霍洛克斯 :
数据日志物化的增量更新:向后/向前算法。 啊啊啊 2015 : 1560-1568 [第15条] 周玉娇 , Bernardo Cuenca Grau公司 , 亚沃·尼诺夫 , 伊恩·霍洛克斯 :
PAGOdA:“按量付费”(Pay-as-you-go-ABox Reasoning)。 描述逻辑 2015 [第14条] 鲍里斯·莫提克 , 亚沃尔·涅诺夫 , 罗伯特·皮罗 , 伊恩·霍洛克斯 :
将数据日志程序的重写和增量物质化维护与平等相结合。 国际JCAI 2015 : 3127-3133 [第13条] 周玉娇 , 亚沃·尼诺夫 , Bernardo Cuenca Grau公司 , 伊恩·霍洛克斯 :
使用PAGOdA进行基于本体的查询应答。 矿石 2015 : 1-7 [第12条] 亚沃·尼诺夫 , 罗伯特·皮罗 , 鲍里斯·莫提克 , 伊恩·霍洛克斯 , 吴哲 , 杰·班纳吉 :
RDFox:一家规模很高的RDF商店。 ISWC(2) 2015 : 3-20 [i5] 鲍里斯·莫提克 , 亚沃·尼诺夫 , 罗伯特·皮罗 , 伊恩·霍洛克斯 :
将数据日志程序的重写和增量物化维护与Equality相结合。 CoRR公司 abs/1505.00212 ( 2015 ) 2014 [第11条] 鲍里斯·莫提克 , 亚沃·尼诺夫 , 罗伯特·皮罗 , 伊恩·霍洛克斯 , 丹·奥尔特阿努 :
集中式主存RDF系统中数据日志程序的并行物化。 啊啊啊 2014 : 129-137 [第10条] 马克·卡明斯基 , 亚沃·尼诺夫 , Bernardo Cuenca Grau公司 :
析取数据日志程序的数据日志可重写性及其在本体推理中的应用。 啊啊啊 2014 : 1077-1083年 【c9】 周玉娇 , 亚沃·尼诺夫 , Bernardo Cuenca Grau公司 , 伊恩·霍洛克斯 :
使用三重存储进行Pay-As-You-Go OWL查询应答。 啊啊啊 2014 : 1142年-1148年 【c8】 马克·卡明斯基 , 亚沃·尼诺夫 , Bernardo Cuenca Grau公司 :
非触角本体论的数据日志重写技术。 描述逻辑 2014 : 209-220 【c7】 鲍里斯·莫提克 , 亚沃·尼诺夫 , 罗伯特·皮罗 , 伊恩·霍洛克斯 , 丹·奥尔特阿努 :
集中式主存RDF系统中的并行OWL 2 RL物化。 描述逻辑 2014 : 311-323 【c6】 周玉娇 , 亚沃·尼诺夫 , Bernardo Cuenca Grau公司 , 伊恩·霍洛克斯 :
使用数据日志推理器进行的Pay-as-you-go本体查询回答。 描述逻辑 2014 : 352-364 【c5】 马克·卡明斯基 , 亚沃·尼诺夫 , Bernardo Cuenca Grau公司 :
为析取数据日志程序和描述逻辑本体计算数据日志重写。 右后 2014 : 76至91 [i4] 马克·卡明斯基 , 亚沃·尼诺夫 , Bernardo Cuenca Grau公司 :
析取数据日志程序的数据日志可重写性及其在本体推理中的应用。 CoRR公司 abs/1404.3141 ( 2014 ) [i3] 鲍里斯·莫提克 , 亚沃·尼诺夫 , 罗伯特·皮罗 , 伊恩·霍洛克斯 :
通过重写处理owl:sameAs。 CoRR公司 abs/1411.3622 ( 2014 ) 2013 [j1] 罗曼·孔察科夫 , 亚沃·尼诺夫 , 伊恩·普拉特·哈特曼 , 迈克尔·扎克哈里亚舍夫 :
欧氏空间上连通的拓扑逻辑。 ACM事务处理。 计算。 日志。 14 ( 2 ) : 13:1-13:48 ( 2013 ) 【c4】 周玉娇 , 亚沃·尼诺夫 , Bernardo Cuenca Grau公司 , 伊恩·霍洛克斯 :
使用三重存储完成Horn本体的查询回答。 ISWC(1) 2013 : 720-736 2011 【b1】 亚沃·尼诺夫 :
欧几里德空间逻辑的可计算性。 英国曼彻斯特大学, 2011 【c3】 罗曼·孔察科夫 , 亚沃·尼诺夫 , 伊恩·普拉特·哈特曼 , 迈克尔·扎克哈里亚舍夫 :
二维和三维欧氏空间中连通约束的可判定性。 国际JCAI 2011 : 957-962年 [i2] 罗曼·孔查科夫 , 亚沃·尼诺夫 , 伊恩·普拉特·哈特曼 , 迈克尔·扎克哈里亚舍夫 :
二维和三维欧氏空间中连通约束的可判定性。 CoRR公司 abs/1104.0219 ( 2011 ) [i1] 罗曼·孔查科夫 , 亚沃·尼诺夫 , 伊恩·普拉特·哈特曼 , 迈克尔·扎克哈里亚舍夫 :
欧氏空间上连通的拓扑逻辑。 CoRR公司 abs/1110.4034 ( 2011 ) 2010 【c2】 亚沃·尼诺夫 , 伊恩·普拉特·哈特曼 :
基于区域的欧几里德逻辑的可计算性。 CSL公司 2010 : 439-453
2000 – 2009
2008 【c1】 亚沃·尼诺夫 , 迪米特·瓦卡列洛夫 :
单拓扑关系的模态逻辑。 模态逻辑的进展 2008 : 249-272年