数据和知识组

―知识表示与推理

知识表示与推理

知识表示和推理小组在知识表示形式、本体语言、设计、,推理系统的实现和优化,以及在中的应用电子科学和语义网等领域。

小组成员集中参与万维网联盟(W3C)的发展OWL本体语言、和是领导其继任者的发展OWL2(OWL2)。他们有还设计了支持OWL(2)的逻辑和算法在高度优化的推理系统中实现这些算法,例如HermiT公司.

学生奖学金

博士生的工作是这项研究的重要组成部分由知识表示和推理小组和新生制作定期加入该团体。访问ISG学生奖学金第页获取有关资金机会和申请流程的信息。

最新出版物

  陈娇妍(Jiaoyan Chen)、埃内斯托·希门内斯·鲁伊斯(Ernesto Jimenez-Ruiz)、伊恩·霍洛克斯(Ian Horrocks)和查尔斯·萨顿(Charles Sutton)。
学习表格数据的语义注释.国际人工智能联合会议, 2019.
  埃戈尔五世(Egor V.Charalampos Nikolaou)。科斯特列夫、乔治·康斯坦蒂尼迪斯、马克·卡明斯基、,Bernardo Cuenca Grau和Ian Horrocks。
Bag语义下基于本体的数据访问基础.人工智能, 2019.内政部 ]
  Przemyslaw Andrzej Walega、Mark Kaminski和Bernardo Cuenca Grau。
度量时态数据日志中流数据的推理.第三十三届AAAI会议记录人工智能(AAAI-19), 2019.
  陈娇妍(Jiaoyan Chen)、埃内斯托·希门内斯·鲁伊斯(Ernesto Jimenez-Ruiz)、伊恩·霍洛克斯(Ian Horrocks)和查尔斯·萨顿(Charles Sutton)。
ColNet:为列类型嵌入Web表的语义预测.第三十三届AAAI会议记录人工智能(AAAI-19), 2019.
  Evgeny Kharlamov、Yannis Kotidis、Theofilos Mailis、Christian Neuenstadt、,查拉兰波斯·尼古拉、厄兹古勒·泽普、克里斯托弗罗斯·斯文戈斯、德米特里Zheleznyakov、Yannis Ioanidis、Steffen Lamparter、Ralf Möller和Arild瓦勒。
支持本体论介导的分析感知方法静态和流数据的监控和诊断.Web语义杂志, 2019.内政部 ]
  Andrew Bate、Boris Motik、Bernardo Cuenca Grau、David Tena Cucala、FrantisekSimancik和Ian Horrocks。
基于结果的描述逻辑推理析取和数字限制.人工智能研究杂志, 63:625–690, 2018.内政部 ]
  Michael Benedikt、Bernardo Cuenca Grau和Egor V。科斯特列夫。
本体论信息披露的逻辑基础数据集成.人工智能, 262:52–95, 2018.内政部 ]
  亚历山德罗·隆卡(Alessandro Ronca)、马克·卡明斯基(Mark Kaminski)、伯纳多·坎卡·格劳(Bernardo Cuenca Grau)和伊恩·霍洛克斯(Ian Horrocks)。
基于规则的流推理中的窗口有效性问题.知识表示与推理原理:第十六届国际会议记录,KR 2018,Tempe,亚利桑那州,2018年10月30日至11月2日。,第571–581页,2018。
  陈娇艳、弗雷迪·莱库埃、杰夫·Z。Pan、Ian Horrocks和Huajun陈。
基于知识的转移学习解释.知识表示与推理原理:第十六届国际会议记录,KR 2018,Tempe,亚利桑那州,2018年10月30日至11月2日。,第349-358页,2018年。
  Alessandro Ronca、Mark Kaminski、Bernardo Cuenca Grau和Ian Horrocks。
基于规则的流推理中的窗口有效性问题.知识表示与推理原理:第十六届国际会议记录,KR 2018,Tempe,亚利桑那州,2018年10月30日至11月2日。,第571-581页,2018年。
  马克·卡明斯基和埃戈尔五世。科斯特列夫。
弱良好设计的复杂性和表达能力SPARQL公司.理论计算。系统。, 62(4):772–809, 2018.内政部 |http协议 ]

组摘要

新闻

新职位!

KRR团队有新的博士后职位!研究主题包括本体论、知识图、语义网、逻辑学以及它们与机器学习的交叉学科。把你的简历发给伊恩或伯纳多。[于2019年11月26日添加]

ISWC'19>中的在用跟踪最佳学生论文

《生态毒理效应预测的知识图嵌入》一文获得ISWC’19年度最佳学生论文。这项工作是在第一位学生作者Erik B.Myklebact与Jiaoyan Chen一起访问KRR小组时完成的。

3 AAAI’18接受的论文

KRR小组合著的三篇论文已于AAAI’18:
- "时态数据日志中的流推理"作者:A.Ronca、M.Kaminski、B.Cuenca Grau、B.Motik和I.Horrocks;
- "数据日志实体化的优化维护"作者:P.Hu、B.Motik和I.Horrocks;
- "具有等式的存在性规则的目标驱动查询应答"作者:M.Benedikt、B.Motik和E.Tsamoura。

伊恩·霍洛克斯教授是奥斯陆大学数学与自然科学学院的新荣誉博士

伊恩·霍洛克斯教授获得荣誉博士学位来自奥斯陆大学。

2017年IJCAI最佳论文奖

题为“使用极限数据日志程序进行声明性数据分析的基础”和作者作者:M.Kaminski、B.Cuenca Grau、B.Motik、E.V.Kostylev和I.Horrocks第26届国际人工智能联合会议(IJCAI’17).

2017年IJCAI收录3篇论文

KRR小组合著的三篇论文已于IJCAI’17年:
- "查询改革:理论与实践"作者:M.Benedikt、E.V.Kostylev、F.Mogavero和E.Tsamoura;
- "使用极限数据日志程序进行声明性数据分析的基础"通过M.Kaminski、B.Cuenca Grau、B.Motik、E.V.Kostylev和I.Horrocks;
- "基于本体的数据访问的包语义"作者:C.Nikolaou、E.V.Kostylev、G.Konstantinidis、M.Kaminski、B.Cuenca Grau和I.Horrocks。

PODS'17中接受的纸张

迈克尔·贝内迪克特(Michael Benedikt)撰写的题为《追踪基准》(Benchmarking The chase)的论文,乔治·康斯坦蒂尼迪斯(George Konstantinidis)、吉安萨瓦托尔·麦加(Giansalvatore Mecca)、鲍里斯·莫蒂克(Boris Motik)、保罗·帕波蒂(Paolo Papotti)、,多纳泰罗·桑托罗和伊夫蒂米娅·萨穆拉认可的在里面PODS’17.

安德鲁·贝特为他的博士论文辩护

安德鲁·贝特成功地为其关于基于结果推理的博士论文辩护。祝贺安德鲁·贝特博士!

2016年ISWC最佳应用论文奖

我们的论文题为“卫生保健数据分析的语义技术”收到了最佳应用论文奖国际语义网络会议(ISWC 2016).

2016年ISWC接受4篇论文

KRR小组撰写的四篇论文认可的在中国际语义网络会议(ISWC 2016).

2016年ICDT最佳论文奖

马克·卡明斯基埃戈尔·科斯泰列夫获得最佳论文奖2016年ICDT他们的论文“Beyond Well-Designed SPARQL”。