Description Logics 2020:在线活动[希腊罗德斯]
Stefan Borgwardt公司 , 托马斯·迈耶尔 :
第33届描述逻辑国际研讨会(DL 2020)会议记录,与第17届知识表示和推理原则国际会议(KR 2020)合办,在线活动,2020年9月12日至14日,希腊罗兹。 CEUR研讨会记录 2663, CEUR-WS.org公司 2020
受邀会谈
纪尧姆·费利拉德 , 安德烈亚斯·赫齐格 , 克里斯托斯·兰苏迪斯 :
知识库修复:从主动完整性约束到主动TBoxes。 马格达莱娜·奥尔蒂斯 :
具有闭合谓词的OMQ的可重写性结果。 打捆机十类 :
同态格、独特特征和概念学习。
全文
克里斯蒂安·阿拉巴阿 , 弗兰兹·巴德 , Stefan Borgwardt公司 , 帕特里克·科普曼 , 艾莉莎·科夫图诺娃 :
关于为描述逻辑蕴涵寻找好证据的复杂性。 克里斯蒂安·阿拉巴阿 , 弗兰兹·巴德 , 雷蒙·达赫瑟特 , 塔玛拉·弗莱米什 , 帕特里克·科普曼 :
可视化证明和本体模块化结构以支持本体修复。 麦迪娜·安德烈塞尔 , Yazmín Ibáñez-Garcia , 马格达莱娜·奥尔蒂斯 :
一个用本体论进行探索性问答的框架。 亚历山德罗·阿塔尔 , 安德烈亚·马祖洛 , 安娜·奥扎基 , 弗兰克·沃尔特 :
关于具有确定性描述的自由描述逻辑。 弗兰兹·巴德 , 帕特里克·科普曼 , 塞萨尔·蒂内利 :
关于如何证明EL-Reasoner ELK使用附带条件的逻辑框架计算的订阅的第一个结果。 斯特凡·博格沃德 , 安克·赫什 , 艾莉莎·科夫图诺娃 , 弗雷德里克·魏尔 :
在旁观者眼中:哪种证据是最好的? 迭戈·卡尔瓦尼斯 , 朱利安·科尔曼 , 戴维德·兰蒂 , 西蒙·拉兹涅夫斯基 :
使用数字限制重写DL-Lite TBox上的计数查询。 罗伯托·孔瓦洛尼埃里 , 彼得罗·加利亚尼 , 奥利弗·库茨 , 丹尼尔·波雷洛 , 根达利娜·里盖蒂 , 尼古拉斯·特罗夸德 :
走向更难以抗拒的公理弱化。 克莱门斯·杜斯拉夫 , 帕特里克·科普曼 , 安妮·亚斯明·图尔汉 :
给不一致一个机会:本体论中介验证的语义。 法贾尔·海法尼 , 帕特里克·科普曼 , 索菲·图雷特 , 克里斯托夫·魏登巴赫 :
关于关联概念。 马丁·霍莫拉 , 朱利亚·普坎科娃 , 朱利亚·加布利科娃 , 卡塔琳娜·法比亚诺娃 :
合并、解释、迭代。 伊恩·海兰德 , 雷娜特·施密特 :
Protege-TS:OWL本体术语选择工具。 雅库布·库克利斯 :
具有传递角色的描述逻辑中有限查询蕴涵的数据复杂性。 弗朗西丝卡·亚历山德拉·利西 :
在复杂领域中使用高阶描述逻辑进行学习和挖掘。 芭芭拉·莫劳斯卡 :
平面TBox中FL0模的统一。 曼努埃尔·纳米奇 , 朱塞佩·德贾科莫 , 毛里齐奥·伦泽里尼 :
使用视图定义扩展DL LiteR TBoxes。 彼得·帕特尔·施耐德 , 大卫·L·马丁 :
MARS上的Wikidata(初步报告)。 丹尼斯·佩特 , Viorica Sofronie-Stokkerman公司 :
寻找EL和EL+中CBoxes组合的替代w.r.t.的高级解释。 弗拉迪斯拉夫·里日科夫 , 尤里·萨瓦泰耶夫 , 迈克尔·扎哈里亚舍夫 :
线性时序逻辑中本体中介查询的FO可写性识别。 霍拉西奥·特利兹·佩雷斯 , 杰夫·威森 :
不一致ABoxes中基于逻辑的断言排序。 萨蒂亚达玛·蒂塔拉萨 :
上下文化描述逻辑的时间属性。 大卫·托曼 , 格兰特·韦德尔 :
Horn-DLFD中本体中介查询的一阶可重写性。 吴宣 , 昌路 , 赵仪征 , 雷纳特·A·施密特 , 郝峰 :
UI-FAME:一个用于创建ALC TBoxes视图的演绎遗忘工具。
扩展摘要
亚历山德罗·阿塔尔 , 让·克里斯托夫·荣格 , 安德烈亚·马祖洛 , 安娜·奥扎基 , 弗兰克·沃尔特 :
《没有贝丝和克雷格的生活:用名词描述逻辑中的明确定义和插值法》(扩展摘要)。 弗兰兹·巴德 , 菲利波·德博托利 :
描述计数的逻辑,以及它们能计数和不能计数的内容(扩展抽象)。 弗兰兹·巴德 , 雅库布·里德瓦尔 :
带具体领域和一般概念包含的描述逻辑(扩展抽象)。 梅亨·宾文努 , 昆廷·马尼埃 , 米夏·托马佐 :
通过DL-Lite本体回答计数查询(扩展摘要)。 斯特凡·博格沃德 , 沃尔特·福克尔 , 艾莉莎·科夫图诺娃 :
寻找新钻石:稀疏ABox上的时间最小世界查询答案(扩展摘要)。 卡米尔·鲍戈斯(Camille Bourgaux) , 安娜·奥扎基 , 拉斐尔·佩尼亚洛萨 , 利维亚·普雷多尤 :
描述逻辑ELHr(扩展抽象)的起源。 洛里斯·波扎托 , 卡米洛·佛罗伦萨 :
构造EL_bot(扩展摘要)中回答集语义和信息术语语义之间的联系。 迭戈·卡尔瓦内斯 , 阿维格多·加尔 , 戴维德·兰蒂 , 马可·蒙塔利 , 亚历山德罗·莫斯卡 , 罗伊·什拉加 :
虚拟知识图的映射模式(正在进行的研究报告)。 大卫·卡拉尔 , 马库斯·克罗奇 :
将ALCHIQ重写为析取存在规则(扩展摘要)。 伊斯梅尔·伊尔坎·塞兰 , 托马斯·卢卡西维茨 , 恩里科·马利齐亚 , 安德烈乌斯·维塞纳维希乌斯 :
描述逻辑中本体中介查询答案的解释(扩展摘要)。 吉安卢卡·西马 , 多梅尼科·伦博 , 里卡多·罗萨蒂 , 多梅尼科·法比奥·萨沃 :
通过实例不可区分性的描述逻辑中的受控查询求值(扩展抽象)。 克里斯蒂娜·费尔 , 卡斯滕·卢茨 , 马尔金·普日比尔科 :
基于保护TGD(扩展抽象)的本体中介查询的答案计数复杂性。 奥利弗·费尔南德斯·吉尔 , 安妮·亚斯敏·图尔汗 :
轻量级DL中的松弛正则路径查询(扩展抽象)。 安内克·哈加 , 卡斯滕·卢茨 , 约翰内斯·马蒂 , 弗兰克·沃尔特 :
本体逼近之旅:从非霍恩到霍恩(摘要)。 让·克里斯托夫·荣格 , 卡斯滕·卢茨 , 哈德里安·普尔奇尼 , 弗兰克·沃尔特 :
通过概念和公式区分正负数据示例:受限签名案例(摘要)。 卡斯滕·卢茨 , 莱夫·萨贝勒克 :
EL中本体中介查询的复杂性分类:从原子查询到联合查询(扩展摘要)。 帕特里克·科普曼 , 陈洁英 :
表达式描述逻辑的演绎模块提取(扩展抽象)。 陆一伟 , 俞喆 :
不一致本体推理的论证理论(扩展抽象)。 安娜·奥扎基 , 科西莫波斯 , 安德烈亚·马祖洛 :
学习查询不可分割的ELH本体论(扩展摘要)。 加布里埃拉·帕西 , 拉斐尔·佩尼亚洛萨 :
具有分级公理的模糊DL-Lite查询答案(扩展抽象)。 安德烈亚斯·斯特格米勒 , 伯特·格利姆 :
具有表达描述逻辑的并行ABox推理和查询回答(扩展摘要)。 萨比哈·塔哈拉特 , Germanán Alejandro Braun先生 , 亚历山德罗·阿塔尔 , 马可·加里奥 , 安娜·奥扎基 :
时态DL-Lite中的自动推理(扩展抽象)。 肖国辉 , 戴维德·兰蒂 , 罗曼·孔查科夫 , 莎拉·科姆拉·埃布里 , Elem Güzel Kalayci女士 , 丁林芳 , 朱利安·科尔曼 , 本杰明·科格雷 , 迭戈·卡尔瓦内斯 , 埃琳娜·博托埃娃 :
虚拟知识图系统Ontop(扩展摘要)。
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)