数据和知识小组是牛津大学计算和相关学科活动的核心,汇集了数据库、知识表示形式和自动推理的研究。

数据库

Georg Gottlob教授,Michael Benedikt教授、和Dan Olteanu博士领导D&KG的开创性数据库研究。

知识表示与推理

Boris Motik博士Ian Horrocks教授对知识表示形式和自动推理进行研究,重点是描述逻辑和构造性推理算法。

D&KG研讨会

每周D&KG研讨会在学期期间每周二11:30举行。如果你想展示你的作品,联系具有本尼迪克特.